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 some support for _spin_trylock() and friends.
2009-02-20
D
a
n
Carpent
e
r
Add some s
u
p
p
o
r
t for _spin_t
r
ylock() an
d
friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpenter
if (a ||
b) { a->foo; should
print
an err
o
r
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpente
r
T
h
is p
r
ints out e
r
ror me
s
sag
e
s
all the
time tha
t
are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Ca
r
penter
Assignmen
t
always sets &i
s
free
d
to somethin
g
else like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't print
c
ross_func erro
r
s if the called
f
unc
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpenter
Remove
c
all to alloc_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Ca
l
l
t
he merge
_
hoo
k
() instead
of
se
t
ting th
e
state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oops
.
Mea
n
t to
c
om
m
it this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
A
d
d th
e
mer
g
e_hook() b
a
c
k
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carp
e
nt
e
r
Clear the re
t
urns lis
t
s at
t
he
e
n
d
of ea
c
h function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Move the
i
mpl
i
c
a
tions che
c
king to after th
e
scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Rewrite completely w
i
t
h new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
ente
r
Add some functi
o
n
s
t
o
handle trac
k
e
r
l
is
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carp
e
n
ter
Don't segfaul
t
all t
h
e time w
h
en checkin
g
f
orever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Test to see if we are catching
c
ross function derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Use the
->possible
s
ta
t
es and remove
the merge_ho
o
k
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an
C
arpenter
"while ((1
)
) {" is
a
f
o
rever loop
.
C
all strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
f
ixes to the
-
>
p
os
s
ib
l
e
s
e
t
ting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpen
t
er
Merge bran
c
h
'
master' into n
u
ll_
d
eref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add validation script for che
c
k_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clean u
p
.
n
e
w
-
>possible is al
w
ays null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpenter
O
ops
.
->possibl
e
s wasn't getting set
c
or
r
ec
t
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use s
t
rip_
e
xp
r
() in split_conditions()
i
nstead repr
o
ducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add som
e
more o
p
eratio
n
s to
g
et_va
l
ue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
R
e
turn &merged
instead of &undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make get_value() return
a
v
a
lue for bitwise or ex
p
ressions
.
commit
|
commitdiff
|
tree
2009-02-13
D
an Ca
r
p
enter
Try again re
m
oving states from
p
ools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Rever
t
"Remove a state from it's ->po
o
ls
when s
e
t_
s
tate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Eliminate a w
a
r
ning
.
Probably t
h
e wrong
w
ay t
o
do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean ups
.
Com
m
ents
.
R
enam
e
slist_sta
c
k
to name
d
_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpente
r
Ha ha
.
I still
suck at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
C
leanup
s
.
C
o
mm
e
nts
.
Remo
v
e de
b
ug
g
ing code
f
rom f
i
lte
r
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpen
t
er
Clean
u
p
.
Als
o
p
r
es
e
rve th
e
->p
o
o
l
s in one
p
ath of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Clean up get
_
sta
t
e_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
arpent
e
r
Remo
v
e
__overwrit
e
_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
There was debugging outpu
t
tha
t
acci
d
e
n
t
al
l
y got
c
o
mmitted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
e
r
Remove a
state
f
rom
it's ->pools whe
n
set_s
t
at
e
() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Ca
r
penter
Don't d
e
lete the ->pools
on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Try un
d
er
s
tand the impl
i
cations from compound co
n
d
i
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
reat
e
a state &mer
g
ed
.
W
hen we m
e
r
ge stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Ok
.
This time smatch_i
m
pli
e
d _really_ d
o
es som
e
t
hin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Ignore cs
c
ope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
Small cleanup
s
.
(Wh
i
t
e s
p
ace)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
Whites
p
a
c
e change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
r
penter
Add some mo
r
e loc
k
ing functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
te
r
Fix implied po
o
ls so that
a
t least it does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seeme
d
like trac
k
er_list would be useful in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Add a
R
E
ADME de
s
cribing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
pe
n
ter
A
dd script to find NULL
d
ereferences
between functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpen
t
e
r
Fi
x
u
s
age message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Check
f
or ma
l
loc() as well as kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an
C
arpenter
Fix segfault when ha
n
dling imp
l
ici
t
ly decl
a
red functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
rpenter
Warn wh
e
n we
don'
t
acquire
locks when calli
n
g
certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpen
t
e
r
Try
(a
n
d
fai
l
) to find memor
y
leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpen
t
er
Almo
s
t print
a
m
ess
a
ge when y
o
u come to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
e
n
t
er
Add c
h
ec
k
t
o look
f
or doub
l
e frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpent
e
r
Add ch
e
cking for
l
ock_k
e
rne
l
()/unlock_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
Make
c
heck_loc
k
ing check both spinloc
k
s and
semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
Add a
n
ew funct
i
on slist_has_stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpente
r
If there
i
s an i++
t
hen the
v
alue of 'i
'
is
undef
i
ned
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arp
e
nte
r
Add
a
ne
w
check_l
o
cking script
t
hat checks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
n
ter
Save
the poss
i
ble states in
s
tead of
j
ust
merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan
Carpenter
Ignore
emacs garb
a
ge
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carpen
t
er
Merge branch
'
m
aster'
into poo
l
s5
commit
|
commitdiff
|
tree
2009-01-20
Dan Car
p
enter
Fix likely()
a
nd unlikel
y
()
handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpe
n
ter
Ad
d
single quote
s
arou
n
d the v
a
riable for cons
i
sten
c
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We could save some memor
y
by not allocat
i
n
g
new me
m
ory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a comment
s
howing whe
r
e the
tests are
s
uppose
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arp
e
n
t
er
This is le
f
t over fro
m
October as p
a
rt of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
C
arpenter
Add get
_
pos
s
ible_state
s
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
Stuff left over from Oc
t
ober
.
I
mplied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Da
n
Carpente
r
We could save some memory by not allocating new
m
emory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
D
a
n Ca
r
penter
F
ix m
e
mory
leak
.
A
d
d
m
o
r
e comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a merg
e
ho
o
k
.
Handle
t
he situa
t
ions like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
en
t
er
s
trcmp() doesn't ac
c
ept NULL a
r
guments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
n
t
er
rename two functions: ge
t
_var
i
a
b
le_
f
rom_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpente
r
get_varia
b
le_from_expr() uses a static buffer
a
nd y
o
u
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rp
e
nter
Create a check_template
.
c
e
xample sc
r
ipt tha
t
looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get_
a
ll_sta
t
e
s(
)
n
o
t
s
egfault every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
Fix get
_
v
a
l
u
e()
to ret
u
rn n
e
g
a
t
i
v
e va
l
ues
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Car
p
enter
We only
ev
e
r pa
s
s one parameter into get_value(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_al
l
_states() to
m
at
c
h the function def
i
nit
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
R
e
m
o
ve add
_
state() a
n
d state_de
f
ined() defin
i
t
i
ons
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
Fix
leak
.
M
y
problem is th
a
t I don't
unde
r
stand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
a
r
pen
t
e
r
Initial
c
ommit
of the "im
p
lied state pools" stu
f
f
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carp
e
nter
Doh
.
W
e have
n
't b
e
en usin
g
smatc
h
_extr
a
for a wh
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get rid of path_history
.
It's never
g
oing to be
used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
an Ca
r
pe
n
ter
Make goto
_
st
a
ck sta
t
ic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed up
merge_slist now that
the slists are ordere
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpe
n
t
e
r
In
s
ert stuff o
n
to lists in a sorted or
d
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Delete an
u
nused function merge_stat
e
_stac
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
D
a
n Carpenter
fix: if (*foo) { (
*
foo)-
>
bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Ca
r
p
e
nter
kmalloc() and frie
n
ds
d
on't always
retur
n
a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Car
p
enter
T
h
e checks from
h
e
re got merge
d
int
o
c
hec
k
_null_
d
eref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n C
a
rp
e
nter
Move the stuff
from
c
heck_derefe
d
_params
.
c into ch
e
ck
_
null
_
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
F
ix
bug in
or_sl
i
st_sta
c
k()
.
if (a && b) wasn'
t
bein
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Ca
r
penter
Add a hook
a
t the end of a
f
il
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpen
t
e
r
Forgot
a
nother str
i
p_e
x
pr()
c
al
l
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpente
r
Handle assignmeents insid
e
conditions be
t
ter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arpenter
Only print
s
omethi
n
g fo
r
a->fo
o
a
n
d not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next