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
Add known_condition_false()
2009-02-22
Dan
Carpenter
A
d
d known
_
condition_fal
s
e(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
C
a
rpenter
F
i
x
ha
n
dling of con
t
inue insid
e
do while statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Don't
set let p
e
ople
s
et st
a
tes
f
or
u
nr
e
acha
b
le code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Small cleanu
p
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpenter
H
andle th
e
iterators
c
orrectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpen
t
er
A
d
d
support for "
i
f
(a?b:c) {
.
.
.
" ter
n
ary conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Ca
r
pe
n
t
e
r
A
d
d some suppor
t
for
_
sp
i
n_trylock() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpente
r
if
(a
|
| b) {
a->foo
;
shou
l
d print an error
.
A
l
so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
an
Carpenter
This print
s
out error messages all the time tha
t
a
r
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan C
a
rpenter
Assignment always sets &is
f
re
e
d
to something els
e
like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpente
r
Don't print cross_f
u
nc errors if
the c
a
l
led fun
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Remove call
to
a
lloc_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pent
e
r
Call the
m
erg
e
_
h
ook() instead of setting the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpent
e
r
Oops
.
Meant
t
o comm
i
t this e
a
rlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nte
r
Add the
merge_hook()
back
i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Cle
a
r the returns
l
ist
s
at the end o
f
eac
h
fu
n
ction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carp
e
nter
Move
t
he impl
i
cati
o
ns checking to aft
e
r the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Rewrite
c
o
mpletely w
i
th new
g
oal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
p
enter
Add so
m
e
fun
c
t
ion
s
t
o
ha
n
dle tracke
r
l
ist
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Don't s
e
g
fault all th
e
t
i
me
w
hen
c
hecking forever lo
o
p
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Car
p
enter
T
e
st to see
i
f we are ca
t
ching cros
s
f
u
nction derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Use the ->possi
b
le stat
e
s and re
m
ove the
merge_hoo
k
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
"while ((1
)
)
{
" is a fo
r
ever loop
.
C
all strip_expr
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
fixes to the
-
>
p
ossible setti
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
D
an C
a
r
penter
Merge br
a
nch 'master
'
into
n
ull_d
e
ref
commit
|
commitdiff
|
tree
2009-02-17
Dan
Carpenter
Add vali
d
at
i
on
script for check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Ca
r
p
e
nter
Clean up
.
new->poss
i
b
l
e is always nu
l
l here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rpent
e
r
Oop
s
.
-
>
p
ossi
b
l
e
s wasn't
g
e
tting
s
et correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
C
ar
p
enter
Use st
r
i
p
_
expr() in spli
t
_condi
t
ions() instead reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpente
r
Add some
more operations to get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
Return
&
merged instea
d
o
f
&un
d
efined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpenter
make get_value() return a value for bitw
i
se or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
Try again removing
s
t
ates f
r
om pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
R
eve
r
t "Remove a state
from it
'
s ->poo
l
s when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
en
t
er
El
i
minate
a warning
.
P
robably
t
he
w
r
ong way to
do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nt
e
r
Clean ups
.
Comm
e
nts
.
Rename slist
_
stack to named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpe
n
ter
Ha
h
a
.
I still suc
k
at p
o
i
n
ters
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Clea
n
u
p
s
.
C
omments
.
Remov
e
debuggi
n
g code
from filter
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up
.
Also preserve the ->pools in one pat
h
o
f
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clea
n
u
p get_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Remove __overwrite_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
a
rpente
r
T
h
ere was debuggi
n
g o
u
tput that acc
i
dental
l
y
g
ot com
m
itted
.
.
.
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
Dan Ca
r
penter
Don
'
t delete th
e
->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 unders
t
and
th
e
implications
f
rom
compou
n
d con
d
itions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
r
eate a state &merged
.
When we me
r
ge
s
tu
f
f it
isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Ok
.
This time smatch_
i
m
pl
i
ed _rea
l
ly
_
does somet
h
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
I
gnore
cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small
cleanups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
Whites
p
ace chan
g
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some mo
r
e locking fu
n
ctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Fix implied po
o
ls so that at least
it does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
It seemed like tracker_list
w
ould be
usefu
l
in
a lo
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
A
d
d
a
R
EADME describ
i
n
g
smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpenter
Add scrip
t
to find NULL dereferences between
functi
o
n
s
.
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
C
arp
e
nter
Check
f
or malloc() as well as kmall
o
c
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Fi
x
s
e
gfault
w
h
en
han
d
ling im
p
l
icitly declar
e
d functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpent
e
r
Warn when we d
o
n
'
t
acquire
locks
w
hen
c
al
l
ing
c
ertain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
an Car
p
enter
Try (an
d
fail)
t
o
find memory
l
e
aks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpe
n
ter
Almo
s
t print a message when you come
t
o unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
a
rp
e
nter
Add check to look for
double
fr
e
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpen
t
er
Ad
d
che
c
ki
n
g
f
or lock_kernel()/u
n
l
ock
_
kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carp
e
n
ter
Make
check_locking check both spinlocks and semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
A
dd a new functi
o
n slist_has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
Carpe
n
t
er
If the
r
e is
a
n i
+
+ then the va
l
ue of 'i'
i
s u
n
defined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Ad
d
a
n
ew check_locki
n
g scrip
t
th
a
t checks spinlock
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
e
n
ter
Save the
possib
l
e st
a
tes instead of just merging t
h
em
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpent
e
r
Ignore emacs
garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge branch 'mast
e
r' into pools5
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpenter
Add a c
o
mment showing wh
e
r
e
the tes
t
s
a
r
e supp
o
sed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
T
h
is is lef
t
over
f
ro
m
October as part of the
impli
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
a
rpenter
Add get_possible_s
t
a
tes()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stu
f
f left over from Octo
b
e
r
.
I
m
p
lied pools wor
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpente
r
We
could save some memory
by not allocatin
g
new
memor
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Ca
r
pe
n
ter
Fix
memory leak
.
Add
more com
m
e
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a merge
h
oo
k
.
Han
d
le t
h
e
s
itua
t
io
n
s like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
strcmp() doesn't
a
ccept NULL
a
rguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carp
e
nt
e
r
rename
t
wo functions: get_variable_from_
e
x
p
r_s
i
m
p
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
C
a
rpenter
get_v
a
riable_from_expr() uses a static buf
f
er and
you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Ca
r
penter
Create a check_templ
a
te
.
c
e
x
a
mple script that
l
ooks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpenter
Make get_all_states(
)
n
o
t
s
egfault every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpenter
Fix get_v
a
lue() to return negati
v
e value
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only ever pa
s
s one para
m
e
ter
into get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
Fix get_a
l
l_states() to
ma
t
c
h the fu
n
ction
d
efinition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
t
e
r
R
emove ad
d
_state() an
d
state
_
defined()
d
e
f
ini
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carp
e
nter
C
lean up
.
F
i
x leak
.
My problem i
s
that I do
n
't under
s
tand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Initi
a
l commi
t
of the "impli
e
d sta
t
e pools" stuf
f
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpe
n
ter
D
o
h
.
W
e
h
aven't
be
e
n u
s
ing
s
m
atch_extr
a
for a
w
hile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
an Carpent
e
r
Get rid
of pa
t
h_history
.
It
'
s never
g
oing to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpenter
Mak
e
goto_stack
s
tatic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpenter
Sp
e
ed up merge_slist now that
t
he slist
s
are o
r
dered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpe
n
t
er
Inser
t
st
u
ff onto lis
t
s in a sorted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
an Ca
r
pente
r
Delete an unused functio
n
merge_state_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpen
t
er
fix:
i
f (
*
foo) { (*foo)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan
Carpenter
kma
l
loc(
)
and
f
r
iends don't always retur
n
a n
o
n-nu
l
l
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
Th
e
ch
e
cks from her
e
go
t
mer
g
ed into
check_n
u
ll_d
e
ref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Car
p
ente
r
M
ove
the stuff from ch
e
c
k
_der
e
fed_p
a
rams
.
c in
t
o check_nu
l
l_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carpent
e
r
F
i
x b
u
g in or_slist_sta
c
k
()
.
if (
a
&& b) wasn't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpen
t
e
r
Add a hook at t
h
e end of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next