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
Move the stuff from check_derefed_params.c into check_null_deref.
2008-10-04
Dan Car
p
ente
r
M
ove th
e
st
u
ff
f
rom
c
hec
k
_
d
erefe
d
_params
.
c
i
n
to check_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Car
p
e
nt
e
r
Fix
b
u
g in o
r
_sl
i
s
t
_stack()
.
i
f
(a
&& b) wasn't be
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
D
an Carpenter
Add a h
o
ok at the
e
nd o
f
a f
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
p
e
nter
Forgot another strip_exp
r
(
)
cal
l
.
.
.
:
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Hand
l
e a
s
sig
n
meents i
n
sid
e
c
o
nditions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Car
p
ente
r
O
n
ly pr
i
nt som
e
t
hing fo
r
a-
>
foo and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
D
a
n
C
arpente
r
Ignore arra
y
declarati
o
ns
.
T
h
ose can't be
N
ULL obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Ca
r
pent
e
r
Mak
e
cur_s
l
ist static
.
It's only used in smatch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carpenter
Whi
t
e
s
pace chan
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use merge_slist() in
s
tead o
f
try
i
ng to h
a
ndle it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
rpenter
_
_p
r
oce
s
s_continues() is supp
o
sed to
b
e basically
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Ca
r
p
ent
e
r
New s
m
atch_i
g
nore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
Carpenter
(f
o
o) = 1 is the same as foo
=
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpen
t
er
Genera
l
i
z
e
stip_casts()
.
It's no
w
calle
d
stri
p
_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
Ignore
c
ast
s
.
foo((int *)&bar) is the same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
an Carpenter
C
reated sh
o
w_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpente
r
Igno
r
e st
u
ff like
foo
.
bar
.
We only care about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
nter
What
h
a
p
p
e
n
s
bef
o
r
e i
s
tha
t
param
e
ters w
o
uld get
assign
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
nter
Mis
s
ed a cra
s
hing bug in the
int => struct conv
e
rsion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I can't believe I was doi
n
g stacks wro
n
g this wh
o
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan C
a
rpenter
C
hanged smatch state from being
an
in
t
to be
i
ng
p
oin
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
rpenter
I want to reuse the name smatch_sta
t
e
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Red
o
t
h
e
n
ull path thing
.
So long
a
s
t
here is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
Cle
a
n up
.
Complicate
d
i
s just a boolean
.
Set it t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
A
r
ra
y
s are complicated
s
o they s
h
oul
d
n't be
r
e
t
urned
b
y
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
If we call s
e
t_state
f
rom inside a conditio
n
then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
If
t
he
pointer
i
s initialize
d
to non-null the
n
set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Car
p
enter
ignore
t
h
e smatch b
i
nary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
D
an Carpenter
Whe
n
w
e merge 2 slists w
e
ne
e
d to deal with the ca
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpe
n
ter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Car
p
en
t
er
Add nullif
y
the pat
h
when you h
a
v
e
f
o
r(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
a
n Carpen
t
er
M
er
g
e branch 'ls'
into
u
l
tratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merge
branch '
u
nnu
l
lify'
into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan
Carpe
n
ter
Lots of do while(0
)
l
oops don't call break s
o
i
t
doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Carpent
e
r
Rem
o
ve un
n
eeded ch
e
ck
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
an Carpen
t
er
Fix
o
r_slist_stack()
.
Before it jus
t
saved one
stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
cra
p
crap crap
.
do not u
s
e
.
commit
|
commitdiff
|
tree
2008-09-07
D
a
n Carpenter
Clean ups and add some
_
_unnullify_path
s
tuff
.
Hope
f
ully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Small c
l
ea
n
up
.
goto_stack should only be used in smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Clean u
p
s
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
F
i
x
b
ug saving
t
he
f
alse_only stack
.
Before code l
i
ke
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
an Ca
r
pente
r
Thi
s
i
s
the
s
ta
r
t
o
f
t
h
e smatch_extra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Fix overwrite_slist()
so it takes a poin
t
er to a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
C
arpenter
Make s
m
atch_ex
t
ra dep
e
nd on s
m
atch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
D
an
C
arp
e
nter
Move is_zero()
t
o sma
t
ch
_
he
l
p
e
r
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carpenter
Fix a big bug
.
get_state_slist() was
a
lways g
e
tting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n
Carpen
t
er
Merge
.
.
/
.
.
/
smatch/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
n
ter
Merg
e
branch '
d
e
vel'
commit
|
commitdiff
|
tree
2008-09-01
Dan C
a
r
penter
Save the pre conditions i
n
side
t
he condi
t
i
o
ns so
that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
The ma
i
n
chan
g
e
h
e
r
e
was to com
p
letely rewrite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan C
a
rpen
t
er
B
r
eak things out into functions a bit
.
Clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan C
a
rpenter
Handle while and for loops slightly be
t
ter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan C
a
r
penter
I removed n
u
llif
y
_pat
h
(
)
earlier but
t
h
at w
a
s a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carp
e
nter
I don't think
the
s
pecial_kernel
_
m
a
c
r
os() funct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Add a function
t
o
do a strcmp() wi
t
h a symbol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Re
m
ove everyth
i
ng t
o
d
o
with path_id's
.
I couldn'
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Replace the v
a
ria
b
le __neg
a
te with the function
__negat
e
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Small clean up
.
Move
t
he passing the
w
hol
e
condi
t
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Crap
.
I mea
n
t to me
r
ge t
h
is
e
arlier whe
n
I d
i
v
i
d
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nte
r
Add a co
m
ment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Moved all the
l
ogic
f
o
r handling conditions in
t
o a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Oops
.
I guess I deleted the wrong list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
D
o
n't pass the con
t
ents of sizeof(
)
t
o
the client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Ca
r
pen
t
er
Impro
v
e ho
w
t
h
e debug
i
n
f
o
for merging states gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpen
t
er
The main thing is to handle zero compariso
n
s
better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Remove
u
nneed
e
d c
o
de
.
This stuff i
s
handled in s
m
atch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
W
e
need to
b
e
able to brea
k
down (
f
oo !=
0
) for BUG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpen
t
er
Identify for(;;) type loops as fo
r
e
v
e
r
lo
o
p
s
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add su
p
port for
B
UG_
O
N()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
n
ter
Wh
a
t I
'
ve
seen is stuff like this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carp
e
nter
A
n
ythin
g
that we don't handle is
o
bviousl
y
complicated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
r
penter
M
erge
br
a
nch 'd
e
vel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
t
e
r
Add a comment
t
o get_va
r
iable_from_expr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpenter
A
d
d
a c
o
m
ment to g
e
t_variable_from_expr_simple(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpen
t
er
The nullify_path
(
) here
i
s a bug
.
It o
v
er-writes al
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpenter
__print_c
u
r_slist() i
s
a us
e
ful function for de
b
ugging
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carp
e
nt
e
r
I
f
you hav
e
something l
i
ke
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Ca
r
penter
U
pdate t
h
e
line
n
umbers
f
or
each s
t
atement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Ca
r
pe
n
ter
Change
t
he merge
r
ules
for
c
u
stom merge sc
r
ip
t
s so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
an Ca
r
penter
M
ove
S
M_DEBUG to a header so ev
e
ryon
e
can
u
se it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Car
p
enter
Add a custom mer
g
e
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan Ca
r
p
e
nt
e
r
Up
d
ate the line number at th
e
ver
y
s
t
ar
t
of the fu
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan
Carp
e
nter
Chan
g
e the debug output a bit
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan Carpenter
A
dd a --de
b
ug option
.
It
has to be the first option
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Ca
r
p
enter
Make sure the variabl
e
name is NULL te
r
m
i
na
t
e
d
otherwise
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan
C
a
rpent
e
r
Sm
a
ll clean
ups
.
No ch
a
nge in
b
ehavior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan Car
p
ente
r
This is an o
f
f by
o
ne
error really
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpe
n
ter
T
h
e
sparse
_
i
n
itializ
e
(
)
funct
i
o
n
n
o
w
takes a f
i
l
elist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
Remove
a
n o
f
f by one error
d
e
tecting the end o
f
t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
P
a
tc
h
it wi
t
h
th
e
stu
f
f from
the
w
eb
commit
|
commitdiff
|
tree
2008-08-05
Dan C
a
rpenter
T
h
is is an unmodified tar ball
.
commit
|
commitdiff
|
tree