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
Clear the returns lists at the end of each function.
2009-02-18
Dan Carpenter
Clear th
e
returns 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 implicatio
n
s checking
t
o after the scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Rewr
i
te co
m
plet
e
ly wi
t
h
n
ew goal
.
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
A
d
d some
f
un
c
t
i
ons to h
a
ndl
e
tracker li
s
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpent
e
r
Do
n
'
t
segfault all the time
when checking forever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Test
t
o see if we are
c
atch
i
ng cross fu
n
ction
d
erefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Ca
r
pent
e
r
Use the ->possible state
s
and
remove
t
h
e
merge
_
hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
arpenter
"while ((1)) {" is a fo
r
ever
l
oop
.
C
a
l
l strip_expr
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
e
nter
fixes to the -> poss
i
ble setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
M
e
r
g
e bran
c
h 'maste
r
' into
null_d
e
r
e
f
commit
|
commitdiff
|
tree
2009-02-17
Dan
Carpent
e
r
Add validation
scri
p
t fo
r
check_null_
d
eref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Cl
e
a
n
up
.
new-
>
possible is always nul
l
h
ere
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
p
e
nte
r
O
ops
.
->
p
ossibles
wasn't getting
set correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
U
s
e strip_expr
(
) in split
_
con
d
i
ti
o
ns() instead reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n
Carpent
e
r
Add
som
e
mor
e
o
p
erations to get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return &
m
erged inst
e
ad of &u
n
defined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n
C
a
rpenter
make get_value() return
a
value
for bit
w
is
e
o
r
expres
s
ions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nt
e
r
T
ry again removing sta
t
es fr
o
m p
o
o
ls
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n
Carpenter
Revert
"
Remove a s
t
ate from
i
t's ->pools when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
an C
a
rpenter
Eliminate a warni
n
g
.
Probably the wrong way to
do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
lean ups
.
Commen
t
s
.
Re
n
ame slist_stack to named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Ha ha
.
I still suck at po
i
n
t
e
rs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cl
e
anups
.
Comments
.
Re
m
o
ve deb
u
gging c
o
de
from filt
e
r()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpe
n
te
r
Clean up
.
A
l
so preserve
the ->po
o
ls i
n
o
ne path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Clean up get_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Re
m
ove __overwrite
_
cur_sli
s
t()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
n
t
e
r
T
he
r
e was debugging
o
utput
that acc
i
d
e
ntall
y
go
t
comm
i
tted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remov
e
a stat
e
fro
m
it's ->pools when s
e
t
_state()
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpent
e
r
D
o
n
't dele
t
e the
-
>pools o
n
merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Try understand the
i
m
p
lications fr
o
m com
p
ou
n
d
c
o
n
ditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
t
er
Create a st
a
te &merged
.
When we m
e
rge stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
Ok
.
This time smatch_
i
mplied _rea
l
l
y
_ does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
Ignor
e
c
scope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpe
n
ter
Small cleanups
.
(White sp
a
c
e)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whit
e
space
c
hang
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
e
r
Add so
m
e m
o
r
e lo
c
king functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
Fi
x
imp
l
i
e
d po
o
ls
s
o that at least it doe
s
so
m
ething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seeme
d
like
t
r
a
cker_list woul
d
be us
e
ful
in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
ter
Add a
R
E
ADME
describing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
A
dd s
c
ript t
o
find NULL dereference
s
betwe
e
n
function
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Fix usage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Check for malloc()
a
s w
e
ll as k
m
alloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carpenter
Fix segf
a
ult w
h
en handlin
g
impli
c
itly
d
e
clared
f
unctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
an Carpenter
Wa
r
n when we d
o
n't acquire locks
when calling
certa
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
C
arpenter
Tr
y
(and fail
)
to f
i
n
d
memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
Almost
p
r
int
a
message
when you come t
o
unreachab
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n C
a
rpe
n
ter
Add che
c
k to look for doub
l
e frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpen
t
er
Add ch
e
cking for
lock_kernel()/un
l
ock_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
M
a
ke che
c
k_loc
k
in
g
che
c
k both spinlocks
and semapho
r
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
r
penter
Add
a new func
t
ion slist_has_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
en
t
er
I
f there is an i++ then the
v
alu
e
of 'i' is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
rp
e
nter
Add a new
check
_
lockin
g
script that checks spin
l
ocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nt
e
r
Save the poss
i
b
le states i
n
s
t
ead of
j
u
st m
e
rging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carp
e
nt
e
r
Ignore emacs gar
b
age
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpent
e
r
Merge branch 'master' into pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpent
e
r
Fix likely()
a
n
d unlike
l
y(
)
ha
n
dling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Add si
n
g
le q
u
otes ar
o
und the
variable for cons
i
stency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We c
o
uld save some memory by not alloca
t
ing new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
enter
Add a comment
showing where the tes
t
s ar
e
supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpenter
This is
left over
f
ro
m
October
as part
o
f th
e
im
p
lied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpenter
A
d
d get_possible_states
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
n
ter
Stuff
left ove
r
from October
.
I
mplied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Ca
r
penter
We could sa
v
e
s
o
me
memory
b
y not allo
c
ating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpe
n
ter
Fix memory leak
.
Add more comm
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpenter
Ad
d
a merg
e
hook
.
H
andle the situa
t
ions li
k
e:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp()
d
oesn'
t
accept N
U
L
L arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
rename two functions: get_variabl
e
_from_expr_si
m
ple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
get_variable_
f
rom_expr()
uses a sta
t
ic buff
e
r
a
nd you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
C
reate a chec
k
_temp
l
at
e
.
c
exa
m
ple scr
i
p
t
that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
M
a
k
e get_all_states() not
s
egf
a
u
l
t eve
r
y time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpenter
Fix g
e
t
_v
a
lue() to re
t
urn
n
eg
a
tive values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
We only ever pa
s
s one
p
ara
m
eter into ge
t
_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Car
p
enter
F
i
x get_all_
s
t
a
tes() to match the function definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove add_state
(
) and st
a
te_defined()
d
efinitio
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean
up
.
Fix
l
ea
k
.
My problem is th
a
t
I
do
n
't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
Carpenter
Initial commit of the "implied state pools"
stuf
f
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We h
a
v
en't b
e
en using smatch_extra
f
or a wh
i
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Ca
r
p
en
t
er
Get rid of p
a
th_hi
s
t
o
ry
.
It'
s
neve
r
g
oi
n
g to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpent
e
r
Make goto_stack st
a
tic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
er
S
pee
d
up
merge_slist now that the slists
a
re ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Car
p
enter
Insert
s
tuff on
t
o
lists in a so
r
t
ed order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpe
n
te
r
Delete
a
n
u
nused function mer
g
e_state_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
D
an
Carpenter
fix: if (*foo
)
{
(
*
f
oo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpe
n
t
e
r
kmall
o
c()
a
nd friends d
o
n't alw
a
y
s
return a non-
n
u
l
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The ch
e
cks fr
o
m
h
ere got merged
i
nto ch
e
ck_null_d
e
ref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Car
p
enter
Mov
e
the stuff from check_deref
e
d_
p
ar
a
ms
.
c into c
h
ec
k
_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Ca
r
penter
Fix bug in or_sli
s
t_stack()
.
if
(
a && b) w
a
sn
'
t bei
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan C
a
rpenter
Add a hook at the end of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carp
e
nter
Forgot another strip_expr() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arpenter
Handle assignmeents inside co
n
ditio
n
s
b
et
t
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Only pr
i
nt something for a->foo and not a
.
fo
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carp
e
nte
r
I
gnore array declarations
.
Tho
s
e c
a
n't be NULL
obvio
u
sly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make
cur_slist
s
tatic
.
I
t
's onl
y
used
in smatch_s
t
ates
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carp
e
nte
r
W
hi
t
e spa
c
e c
h
anges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpente
r
U
se merge_slist(
)
instead
of trying to handle it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
arpen
t
er
_
_
pro
c
e
s
s
_co
n
tinues() is supposed to be
basically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Ca
r
penter
Ne
w
smat
c
h_ig
n
ore
.
c
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpe
n
t
e
r
(foo) = 1 is the same
a
s foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Car
p
enter
Gen
e
ralize stip_casts()
.
It's
n
ow
cal
l
ed
s
trip_ex
p
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignor
e
c
a
s
t
s
.
foo((int *)&bar) is t
h
e s
a
me
a
s foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next