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
strcmp() doesn't accept NULL arguments.
2008-10-17
Da
n
C
arpenter
strcmp() d
o
esn
'
t accept NU
L
L arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
rename t
w
o fu
n
ctions:
get
_
variab
l
e
_
from_expr_si
m
ple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
get_variable_fr
o
m_ex
p
r() uses a st
a
tic b
u
ff
e
r and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
Creat
e
a
c
h
eck_templ
a
te
.
c exa
m
p
le script th
a
t looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
M
a
ke ge
t
_all_s
t
a
t
es() n
o
t
s
egfa
u
lt e
v
er
y
t
ime
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
Fix
get_val
u
e(
)
to
return
n
egative value
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
W
e o
n
l
y
ever pass one
p
arameter
into
get_value(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
pent
e
r
F
i
x get_
a
ll_states()
t
o mat
c
h t
h
e function definit
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
p
ent
e
r
Re
m
ove add_state() and
s
tate_defined() defin
i
tions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
Carp
e
nt
e
r
Clean u
p
.
Fix le
a
k
.
My prob
l
em is that I don'
t
understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpen
t
er
Initial commit of
t
h
e "implied st
a
te
p
ools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
p
enter
Doh
.
We haven't be
e
n usin
g
sm
a
tch_extra for a wh
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n
Carpenter
Get rid of path_history
.
It's neve
r
g
oi
n
g
t
o be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpenter
Make goto_stack stati
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
er
Speed up merge_s
l
i
s
t now that the slists are ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Da
n
C
arpenter
I
n
sert stuff onto lists
i
n a sort
e
d or
d
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
an Carpenter
Delete
a
n unused function
m
erge_state_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix: if
(*foo
)
{
(*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmalloc()
a
nd
f
riends do
n
'
t
always return a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpent
e
r
The check
s
from here
g
o
t
merged
i
nto chec
k
_null
_
deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
arpe
n
ter
Move
t
he stuff from check_derefed
_
p
arams
.
c int
o
check_nu
l
l_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carp
e
nter
Fix bug in or_
s
list_stack()
.
i
f
(
a &&
b) wasn't bein
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add
a
hoo
k
a
t
t
h
e end of
a
f
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpe
n
ter
F
orgot another strip
_
e
xp
r
() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Handl
e
assignmeents
i
n
side cond
i
tions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
Carpenter
Only
print something for a->foo
and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Da
n
Ca
r
pe
n
ter
I
g
nore arra
y
declarat
i
o
ns
.
Those ca
n
't
be
NULL obv
i
ously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Da
n
Carpenter
Mak
e
cu
r
_slist static
.
It
'
s only used in smatc
h
_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
White spa
c
e
changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n
C
arpenter
Use mer
g
e_sli
s
t() instead of tryi
n
g to handle it
yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
rpe
n
ter
__pr
o
cess_conti
n
ues() is supposed to be bas
i
cal
l
y the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Ca
r
penter
New
smatch_igno
r
e
.
c
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpenter
(foo) = 1 is t
h
e same as fo
o
= 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
C
arpenter
G
e
neralize stip_casts()
.
It's
no
w
called strip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
I
gnore casts
.
foo((
i
nt *)&bar) is
t
he sam
e
as
f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpent
e
r
Creat
e
d show_state(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpe
n
ter
I
g
nore stuff like
foo
.
bar
.
We only care about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpent
e
r
What ha
p
pens before is that
p
arameters would get
as
s
igned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Missed
a
crashing bu
g
in the int
=> s
t
ruct conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpenter
I c
a
n't
believe I was doing
stacks
w
rong this whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
C
h
anged smatch state fro
m
b
eing an int to being poin
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
penter
I want to reuse the name sm
a
tch_
s
t
a
te
.
Th
e
current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
p
enter
Redo the nul
l
p
ath thing
.
So lo
n
g as
t
h
ere
is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Ca
r
penter
C
lean up
.
Complicated is just a boolean
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Arrays are c
o
m
p
licated
s
o
t
h
ey shouldn't be returned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpenter
If we
call se
t
_state from
inside a condition the
n
it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
If the pointer is initialized to
non-nul
l
then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpe
n
ter
ignor
e
t
h
e
smatch
b
inary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan
Ca
r
pente
r
When we merg
e
2 s
l
ists we ne
e
d to deal
w
ith the case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpenter
C
l
ean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
a
n Carpen
t
e
r
A
d
d nullify the
p
a
t
h
whe
n
yo
u
h
a
ve for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Car
p
enter
Mer
g
e branch 'ls' into ultratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carp
e
n
te
r
Merge b
r
an
c
h
'unnullify' into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Lots of
do while(0) loops don'
t
call bre
a
k so it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpent
e
r
Remo
v
e unne
e
ded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpente
r
Fix or
_
slist_stack()
.
Before it
j
u
s
t
sa
v
e
d
one
stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
c
r
ap
c
rap cr
a
p
.
do not u
s
e
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Clean ups
a
nd add some __unnullify
_
path stuff
.
Hopefully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Small
c
leanup
.
goto_sta
c
k
should only be use
d
in sm
a
tch
_
sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpent
e
r
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
Ca
r
p
e
nter
Fix bug
s
aving the false_only
s
tack
.
B
efore co
d
e like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
C
arpenter
This is the s
t
art of the sma
t
ch_extra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpen
t
e
r
F
i
x
overwri
t
e_slist
(
) so it ta
k
es a point
e
r
to
a
pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
Car
p
ent
e
r
Make smatch_
e
xtra depend o
n
smatc
h
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Carpent
e
r
Move is_zero() t
o
smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
enter
Fix a bi
g
bug
.
get_state
_
slist(
)
was
alway
s
g
e
t
t
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
M
erg
e
.
.
/
.
.
/smatch/deve
l
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carpenter
Merg
e
b
ranch
'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
nt
e
r
S
ave the pre conditions insid
e
the
c
onditi
o
n
s
so t
h
at
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
D
an Carp
e
nter
The main change her
e
wa
s
to
completely rewrit
e
how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Break things out in
t
o functions a bit
.
Cl
e
an ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Car
p
e
nter
H
a
nd
l
e
while and for loop
s
slightly bett
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan C
a
rpenter
I
r
emoved
nu
l
lif
y
_path
(
) ea
r
lier but th
a
t wa
s
a mis
t
ake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
I
d
on't think the special_kernel_ma
c
r
o
s()
func
t
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpe
n
ter
Add a function to do a strc
m
p() with
a
symbol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Ca
r
penter
Remove
e
verythi
n
g
t
o do with path_i
d
'
s
.
I
could
n
'
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
R
e
place
t
he varia
b
le
__
n
egate with the function __negate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rp
e
nter
S
m
all c
l
e
an
up
.
Mo
v
e the pass
i
n
g
the
who
l
e cond
i
tion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpe
n
ter
Cra
p
.
I mea
n
t to merge this earlier
w
h
e
n I divi
d
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
Add a comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
Move
d
all the logi
c
f
o
r
h
andling conditions into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Oops
.
I guess I deleted the wrong
l
i
st
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
Don't pass
t
he contents of siz
e
of()
to the client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
I
m
pro
v
e
how the deb
u
g info for mergin
g
st
a
tes get
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan C
a
rpenter
The main thing is
t
o handle z
e
ro comparisons bet
t
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
Carpen
t
e
r
R
emove unneeded code
.
Thi
s
st
u
ff is handled in
smatch_f
l
ow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
C
a
r
p
e
nte
r
We need to b
e
ab
l
e to b
r
eak
down
(
f
o
o != 0) for BUG_O
N
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
I
d
e
ntify
fo
r
(;;) typ
e
l
o
o
p
s as
f
o
r
ever loops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add
suppo
r
t fo
r
BUG_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpenter
What I've s
e
en is
stuff like this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
en
t
er
A
n
yth
i
ng that w
e
don't handle is obviousl
y
c
o
mplicated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Merge
branch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
C
a
r
penter
Add a comm
e
n
t
to ge
t
_va
r
iabl
e
_f
r
om_expr_
s
imple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Ca
r
p
ente
r
Add
a
comment to get_variable_from_expr_simpl
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
The nullify_path() here is
a
bu
g
.
It over
-
write
s
all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
Ca
r
p
ent
e
r
__print_cur_slist() is a
u
seful f
u
nction for de
b
uggi
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
I
f
you h
a
ve som
e
thing l
i
ke
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan C
a
rpenter
Update the lin
e
numbers f
o
r eac
h
statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Da
n
Carpenter
Cha
n
g
e
the merge rules for custom merge scr
i
pts
so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpen
t
er
Move SM_DE
B
UG to
a
header
so ev
e
ry
o
ne
can
use it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next