repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
function_hash: make it easier to handle a file with a list of strings
2012-06-11
D
an
C
arpenter
function_hash: make it easier to handle a file with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
D
an
C
arpenter
signed: unbreak
the c
h
eck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Ca
r
penter
over
f
low:
upd
a
te
v
alidation
t
est
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
flow: handle
s
tru
c
t
initializat
i
on
b
e
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n
Carpenter
flow: han
d
l
e
E
X
P
R_OFFSETOF
and EXP
R
_ALIGNOF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
D
an Carpenter
overflow: ignore "x = &foo[ARRAY_SIZE(foo
)
];"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
o
v
erflow: whit
e
space cl
e
anups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan
C
arp
e
nter
implied: t
h
e
b
a
se
slist is not special
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
s
l
is
t
: change f
o
r
mat
for debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpent
e
r
expressions: int
r
oduce
some more expr
e
ssion allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
D
a
n Carpenter
valid
a
tion:
upd
a
te d
e
reference check
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
D
a
n Carpente
r
implied: cert
a
in states
should be
left as is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
s
list: put the sm_state itself into ->possible
n
o
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
D
an
Car
p
ente
r
slist: cleanup m
e
rge_hooks AP
I
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Da
n
Carpenter
extra: don't create a new merge
d
estate if ->r
i
gh
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpen
t
er
estates: reuse same est
a
t
e f
o
r extra_undefined
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: get rid of a
d
d_equiv(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
an Carpenter
c
o
nstrai
n
ts: remove some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constrai
n
ts:
fix set_eq
u
iv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
arpenter
constraints
:
a
d
d
_related() shou
l
d
t
ake a related_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carp
e
nter
constraints: sort the ->relat
e
d
list
p
r
operly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Carpenter
c
o
nstra
i
nts: rep
l
ace get_common_re
l
ati
o
nship() with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
slist
:
move add_pool
(
) to sma
t
ch_implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
Dan Carpenter
bit
_
shift: a
d
d test_bit()
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
D
a
n
Carpent
e
r
flow: si
l
e
nc
e
false positives caused by h
a
i
ry funct
i
on
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpe
n
ter
implied: rena
m
e
->my_po
o
l to
-
>pool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpe
n
ter
slis
t
:
rename
add_p
o
ss
i
ble() => copy_possib
l
es()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n
Ca
r
penter
or_vs_and: ignore *p
+
+ |
|
*p++
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
tra
c
ker: fix a small memory
l
e
ak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
nte
r
modific
a
t
ion: rem
o
ve calls to delete
_
state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
C
ar
p
enter
check_
d
ereference: enable this
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
rpenter
d
b
: store whether fun
c
t
i
o
n
s
are
global or stati
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carpente
r
tracker: re
m
ove
unused clone_tracke
r
_list(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Carpenter
slist: buffer
o
verflow in debu
g
ging code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
n
ter
use
r
_data: fi
x
N
U
LL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan C
a
rpe
n
ter
db: wh
i
t
e spa
c
e
c
l
eanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db: m
o
v
e
p
arameter_impl
i
catio
n
s into t
h
e database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
r
a
nges: add possibly_
t
rue/false_range_list
s
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
overflow: automatically list functions tha
t
take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
modification_
h
ooks: complete rewrite
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
Dan Carpente
r
db: print th
e
SQL queries when -
-
debug is on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Car
p
enter
clea
n
up: use valid_ptr_min/
m
ax
.
get rid o
f
POINTER_MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan
Carpenter
e
xtra
:
der
e
ferencin
g
a po
i
nter means it is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
D
an Carpent
e
r
implied:
cleanup de
b
ug o
u
tp
u
t a
lit
t
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Da
n
Carpente
r
slist: pull show_sm() i
n
to
a
sep
a
rate functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
check_kernel: ERR_PTR() ret
u
rns non-N
U
LL
(
mo
s
tly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpe
n
ter
dereference checks: use the cross f
u
nction
i
nfo
f
rom
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
an C
a
rpenter
*new*
check_dere
f
erences_param: l
i
st func
t
io
n
s tha
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
an Carpente
r
*new*
r
eturns: merg
e
all slis
t
s
from all returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Ca
r
p
e
nter
d
b: add call
_
implies t
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n C
a
rpenter
flow: print a different filename whe
n
--in
f
o option
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
Carpente
r
deref: fix a
ty
p
o in the er
r
or message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan
C
arpent
e
r
u
ser_data: track
u
s
e
r data that is returned t
o
other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
D
a
n Carpenter
bool_im
p
licatio
n
s:
remov
e
d
ebugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Dan Car
p
enter
fix compile on Ubuntu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Da
n
Carpenter
generisize
.
pl: strip all str
i
ngs not ju
s
t the first
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Ca
r
penter
buf_size: Add a
NUL
L
che
c
k to ge
t
_array_siz
e
_
byt
e
s
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Car
p
enter
*new* sizeo
f
_pointer: u
s
ing sizeof(p)
w
here sizeo
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
overflow: check memcpy() to s
e
e if w
e
're comp
a
ring
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
e
x
tra
:
don't reset &arguments un
t
il the othe
r
chec
k
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan C
a
r
penter
flow: cha
n
ge
h
ow "for (i = 0; ; i++)
{
.
.
.
" is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Car
p
enter
*new* or_vs
_
an
d
:
c
omplain about if
(x != 3
|| x !
=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Da
n
C
arpenter
sparse:
i
n
t
rod
u
ce get_
e
xpre
s
si
o
n_value_no
m
od()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpenter
type: introduce i
s
_pointer() fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
ext
r
a: frob(foo
)
resets the
val
u
e
o
f
*
f
oo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpente
r
extra: foo((void *)
&
x) writes to x proba
b
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carp
e
n
t
er
ranges: introduce i
n
vert_range_
l
ist
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
math: handle __s
m
a
t
ch_impli
e
d
(
&
x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Car
p
e
nter
ranges: commi
t
range_lists
_
equiv() so tha
t
b
ool_implications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
a
rpenter
smdb_param_buf_s
i
ze
.
sh
:
ask db
w
hat size buffers ar
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan C
a
rpen
t
er
extra: get_implied_ra
n
ge_lis
t
() should handle conditio
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
Carpen
t
e
r
buf_size: st
o
re buffer
sizes
i
n db (tur
n
e
d off
by defau
l
t)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
db: don't die
o
n
SQL errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Da
n
Car
p
ent
e
r
bool_im
p
licati
o
n
s
: make a list o
f
impl
i
cations for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carpenter
math: handle
logical e
x
pressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan
C
a
r
penter
cor
e
:
p
rint sm_msg()s before p
a
rsing s
t
arts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpe
n
ter
parameter_i
m
plicatio
n
s: generate list of functi
o
ns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
D
a
n
C
a
rpent
e
r
db
:
matc
h
_ret
u
rn() shouldn't re-imp
l
emen
t
get_im
p
lied_ran
g
e_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan
Carpenter
math: sort of h
a
nd
l
e condit
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan
C
arp
e
nter
m
at
h
: simplify implied_co
n
dition_true/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: simplify kn
o
wn_condition_true/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Carpenter
math: han
d
le
__s
m
at
c
h_implied((
{
frob()
;
2
;}));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: ha
n
dle f
o
o = !2;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan
C
arpenter
extr
a
, m
a
th: move k
n
own_
c
onditon_true/fal
s
e
(
)
etc
from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
D
an Carpenter
p
rojec
t
: fix
para
m
eter implic
a
t
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Da
n
Carpenter
helper: introduce get
_
member_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan
C
a
r
p
enter
db: print al
l
re
t
u
r
n v
a
lu
e
s at e
n
d
o
f fu
n
ctio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
D
an
Carpen
t
er
db: a
d
d
so
m
e smdb_ scripts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Car
p
e
n
t
er
fill_db
_
return_info
:
f
ix
out date
d
pa
r
sing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an Carpen
t
e
r
extra:
a
lways i
n
it
i
al
i
ze
the range i
n
get_implied_range_
l
ist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an
C
a
r
pente
r
extra: fix get_im
p
l
ied_range() for fun
c
tion calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Carpent
e
r
check_mac
r
os: cle
a
nup: use positions_eq()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Ca
r
pent
e
r
macro:
take a struct pos
i
tion, n
o
t
a poin
t
er to a struct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Ca
r
p
e
n
t
er
im
p
lied: cle
a
nup: move dubug pr
i
n
t
fs to
their own
fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Carpe
n
t
er
ranges: get ri
d
of poss
i
bly_(true/false)_range_l
i
st_ls
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpente
r
ran
g
es: cle
a
nup: move t
r
ue_co
m
parison_range_
l
r() into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carp
e
nter
extra:
a
d
d parameter implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n Carpenter
r
ang
e
s:
in
t
ro
d
u
ce clone
_
perma
n
ent
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan
C
ar
p
ent
e
r
r
a
nges
:
initialize the
pointer in get_value_ranges
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
Carpenter
db: ignore f
u
nctions
which are
c
a
lled a lot
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next