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
if (a || b) { a->foo; should print an error. Also better --debug output.
2009-02-20
Dan Carpenter
if
(a || b) { a->
f
oo; s
h
ou
l
d print an error
.
Al
s
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan
C
arpenter
This prints out er
r
o
r
mess
a
ges al
l
the
t
ime that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpen
t
er
Assignment always se
t
s
&isfreed to
s
omet
h
i
n
g
else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
D
o
n
't
prin
t
c
ross_func errors if the call
e
d func
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Remove call to alloc_st
a
te()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Call the
me
r
ge_hook()
i
nstead of sett
i
n
g the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Oop
s
.
Mean
t
t
o commit this ea
r
l
i
e
r
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
A
dd the merge_
h
ook() back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clear the return
s
lists at the end of each
f
unction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Move the impl
i
cat
i
on
s
che
c
king
t
o after the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carp
e
nter
Rew
r
ite c
o
mpl
e
tel
y
with ne
w
g
o
al
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pe
n
ter
Add some functions to hand
l
e tr
a
cker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't
s
egfaul
t
a
l
l
the
time w
h
en checki
n
g f
o
rever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Test
t
o see
if
we are catching cross function d
e
r
e
fs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
p
e
n
ter
U
se the ->po
s
s
ibl
e
states and remo
v
e the m
e
r
g
e_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
"whil
e
((1)) {" is a forever
loop
.
C
all
s
trip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
fixes
to the -> poss
i
ble s
e
t
t
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
M
e
rge branch '
m
aster' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add validation s
c
r
ip
t
f
o
r check_
n
ull_dere
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpent
e
r
Clean up
.
new->pos
s
ible
i
s alway
s
null
h
ere
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oop
s
.
->possibles wasn't ge
t
tin
g
set co
r
rectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
an
Carpenter
Us
e
str
i
p_expr(
)
in split_condition
s
() instead reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Carpenter
Add
some more operations to g
e
t_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return &me
r
ged
i
nste
a
d
o
f
&
und
e
fined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make get_value(
)
return a value for bitwise or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpe
n
ter
Try ag
a
in r
e
moving stat
e
s from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
penter
Reve
r
t
"
R
emove
a state fr
o
m
i
t
's -
>
poo
l
s
w
hen set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Eliminate a
warn
i
n
g
.
Probably the wrong way to d
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
l
ean u
p
s
.
Comments
.
Re
n
a
m
e
s
list_stack to named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
r
pente
r
Ha ha
.
I still
s
uc
k
a
t
p
o
inters
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanups
.
Comm
e
nts
.
Rem
o
ve debugging co
d
e from filte
r
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpente
r
Clean up
.
A
lso pres
e
r
v
e t
h
e ->p
o
ols in
o
n
e
path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Cl
e
a
n
up get_state_slis
t
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove __overwrite_cu
r
_s
l
ist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
There
w
as
debugging o
u
tput that accidentally got committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove a state from it's ->pools when set_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Don't delete the ->p
o
ols on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpent
e
r
Try
u
nd
e
r
s
t
a
n
d the
implica
t
ion
s
from c
o
m
p
o
und conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
C
reate
a st
a
t
e
&
merged
.
Wh
e
n
w
e merge stuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
O
k
.
Th
i
s
time sm
a
tch_implied _really_ does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Igno
r
e cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
e
r
Small
c
leanups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
C
arpe
n
ter
W
h
i
t
e
space change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Add s
o
me
m
ore locking functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
Fi
x
implied pools so that
a
t least it do
e
s so
m
e
thing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It
s
eemed like tracker_list wou
l
d be us
e
ful in
a
lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
pent
e
r
Add
a
README describ
i
ng smat
c
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
A
dd script to find NULL dereferences be
t
w
e
en functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpenter
Fix usage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Check for
m
alloc() as we
l
l
as kmal
l
oc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
a
rpenter
Fix s
e
gfault when handl
i
ng i
m
plicitly decl
a
r
e
d
fu
n
cti
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
arpent
e
r
Wa
r
n when we don't acquire locks
w
h
e
n
ca
l
l
in
g
ce
r
t
a
in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
T
r
y
(and fail
)
t
o
fin
d
memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Alm
o
st print a me
s
sage wh
e
n you c
o
me to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add
c
hec
k
t
o look for d
o
u
b
l
e
f
r
ees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpenter
Add checki
n
g for lock_kernel()
/
unlock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nt
e
r
Ma
k
e c
h
eck_locking che
c
k b
o
th
s
pinlocks an
d
s
e
maphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
A
d
d
a
n
e
w func
t
ion slist_has_state(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carpenter
I
f ther
e
is
an
i++ then the value of 'i' is unde
f
i
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a n
e
w check_
l
ocking
sc
r
i
pt that checks spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpe
n
ter
S
ave t
h
e po
s
s
i
ble st
a
tes instead of just mergin
g
them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpen
t
er
Ignore emacs
garb
a
ge
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n
Carpenter
M
e
rge bra
n
ch 'maste
r
' into p
o
ols5
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a
comment sho
w
ing where th
e
tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
T
his is l
e
ft over from Oct
o
be
r
a
s part of the
i
mplied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carp
e
nter
Add get_poss
i
ble
_
states
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpent
e
r
Stuff le
f
t over from Octob
e
r
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
C
arpe
n
ter
W
e could
save some memor
y
by not allocating new
memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fi
x
me
m
ory leak
.
Add more c
o
mments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Ca
r
penter
Add
a merge
h
oo
k
.
Handl
e
the s
i
tuations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp() d
o
esn't
a
c
cept NU
L
L
arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
r
e
n
ame two fun
c
tions: ge
t
_variable_from_expr_simpl
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
get_variable
_
fr
o
m
_expr() uses a
s
tatic buff
e
r
a
nd you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a check_te
m
plate
.
c example script tha
t
l
o
o
k
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpenter
Make get_all_stat
e
s
(
) not
s
egfault every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fi
x
get_value() to return ne
g
ative v
a
lues
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
We on
l
y eve
r
pas
s
one parameter int
o
get_val
u
e
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
Fix get_
a
ll_
s
t
ates() to
m
atch the
func
t
ion definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove
a
dd_st
a
te() a
n
d state_defi
n
ed() d
e
finit
i
ons
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n
Carpenter
Clean up
.
Fix
l
eak
.
My problem is that I
don't unde
r
sta
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
an Carpenter
Initi
a
l
com
m
it
of
t
he "impl
i
e
d
state pools" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We haven't been using smatch_e
x
tra for a
while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
penter
G
e
t rid
of path_history
.
It's ne
v
er
going
t
o b
e
used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
an
C
a
r
penter
Make goto_st
a
ck
s
t
atic
.
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpenter
Speed up merge_
s
l
i
st now that the slis
t
s a
r
e ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Ins
e
rt stuff onto l
i
s
ts
i
n a sorted
ord
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carp
e
nter
Delete
an
unuse
d
functio
n
me
r
ge_state_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Da
n
Carpente
r
fix: if (*foo) { (*fo
o
)
->b
a
r; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan
Carpenter
kma
l
loc() and friends don'
t
always ret
u
rn a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpent
e
r
T
h
e ch
e
cks from here got merged into
c
heck_
n
ull_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Carpe
n
ter
Move the stuff from check_derefed_par
a
ms
.
c
into
ch
e
c
k_null_
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpen
t
er
Fix bug
in or
_
slist_stack()
.
if (a &
&
b) wasn't bein
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Da
n
C
a
rpenter
A
d
d a h
o
ok at
the
e
n
d
o
f
a
f
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
penter
Forgot another strip_expr
(
)
call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
an
C
arpe
n
ter
Handle assignmeents inside con
d
it
i
ons b
e
tter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpen
t
e
r
Only pr
i
nt som
e
thi
n
g for a->foo an
d
n
o
t
a
.
f
o
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
I
g
nore
array declarati
o
n
s
.
Those can't be NULL obvio
u
s
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Car
p
enter
Make cur
_
slist
s
tatic
.
It's o
n
l
y
used in sm
a
tch_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpe
n
ter
Whi
t
e space
chang
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpen
t
er
Use
mer
g
e_slist() ins
t
ead of tryin
g
to handle
i
t yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next