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 get_possible_states().
2008-12-21
Dan Carpent
e
r
Add g
e
t_possible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
Carpenter
Stuff
l
eft o
v
er
from October
.
Implied
p
o
o
l
s
work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We
c
o
ul
d
save some memory by not alloc
a
ting n
e
w
me
m
ory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
D
an Carpenter
F
ix mem
o
ry leak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
Add a merge hoo
k
.
Hand
l
e
the s
i
tuations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
enter
s
t
r
cmp() doesn't a
c
cept NULL arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpenter
rename two functions: get_variable
_
fro
m
_e
x
pr
_
s
imple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Ca
r
penter
g
e
t
_variable_fr
o
m_expr() u
s
e
s a
s
tatic buffer and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carp
e
nter
Create a check_template
.
c exa
m
ple script that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
Carpenter
Make
g
et_all_states() not segfa
u
l
t every
t
ime
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
i
x
get_va
l
ue(
)
to ret
u
rn
negative va
l
ues
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
Carpenter
We only
e
v
er pass
one
p
arameter into get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
ente
r
Fix get_a
l
l_states()
to match
t
he fun
c
tion definit
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
pen
t
er
Remov
e
add_state()
and state_defined() defi
n
itions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
Fix leak
.
My p
r
oblem i
s
that I don'
t
under
s
tand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rpenter
I
n
i
t
ial commit
o
f
t
he "implied st
a
te p
o
o
ls" stuff
.
.
.
.
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 usin
g
smatch_extr
a
for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carp
e
nter
G
e
t
rid of path_his
t
o
r
y
.
It's n
e
ver
go
i
ng to be
u
sed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
enter
S
peed up merg
e
_
sl
i
st
n
ow that the sl
i
sts are ord
e
red
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpente
r
Insert stuff onto li
s
ts i
n
a sorte
d
orde
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Da
n
Carpenter
D
e
lete an unused function merge_state_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Da
n
Carpenter
fi
x
: if (*foo) { (*
f
o
o
)-
>
ba
r
;
}
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan
C
arp
e
nter
kmalloc() and frie
n
ds don't always ret
u
rn a
non
-
n
u
ll
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
T
he checks from her
e
g
o
t
mer
g
ed into
c
heck_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan C
a
r
p
e
n
t
er
Move the st
u
ff from ch
e
ck_dere
f
ed_param
s
.
c into chec
k
_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n Carpenter
Fix bug in or_slist_s
t
ack()
.
if (a && b) wasn't
b
eing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carp
e
nter
A
dd
a hook a
t
the en
d
of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
an
Carpen
t
er
Forgot ano
t
he
r
st
r
ip_expr() call
.
.
.
:
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Ha
n
dle a
s
s
ignmee
n
ts inside c
o
nditions b
e
tte
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpenter
On
l
y
p
r
i
nt so
m
ething
f
or a->foo and not a
.
f
o
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpe
n
t
e
r
Ignore array
declarations
.
T
h
ose can't be NULL obvio
u
sly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
D
an Ca
r
penter
Make
cur_slist stati
c
.
I
t's only used in smatch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carpente
r
White space c
h
anges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use
m
erg
e
_slist() inste
a
d of t
r
y
i
ng to hand
l
e i
t
y
o
urself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
an
C
a
rpen
t
er
__proces
s
_continues() i
s
supposed
to be basic
a
lly t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpenter
New smatch
_
ign
o
re
.
c
f
ile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(foo) = 1
i
s
t
he sa
m
e as
foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Ca
r
p
enter
General
i
ze stip_
c
asts()
.
I
t
's now c
a
lled strip_
e
xpr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpen
t
er
Ignore casts
.
foo((int *
)
&
b
ar) is the same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
Created show_state
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n C
a
r
penter
Ignore stuff like foo
.
ba
r
.
We
only care about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Wh
a
t
h
appens be
f
ore is th
a
t parameters would get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n
C
a
r
p
enter
M
i
s
se
d
a cra
s
hing bug in the int => struct conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I can't b
e
l
ieve
I
was
d
o
i
ng st
a
cks wrong this w
h
ole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Carpenter
Cha
n
ged s
m
atch stat
e
from being an int
to be
i
ng
p
ointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I want to reuse th
e
name smatch_
s
tate
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
Redo the nu
l
l p
a
th thing
.
So long
as there is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpenter
Clean up
.
Complicate
d
is just a boolean
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpenter
A
r
rays
a
re
complicated
so
t
hey s
h
ouldn'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
c
all se
t
_
state from inside a
c
ondi
t
ion then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpent
e
r
I
f the pointer is initialized to
non-null then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
D
an Car
p
enter
i
gnore t
h
e sma
t
ch binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
When we
m
er
g
e 2 slist
s
we need to deal w
i
th the case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpenter
Cl
e
an ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Ca
r
p
e
nt
e
r
Add nu
l
lify the path when you have for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merge
br
a
nch 'l
s
' into ultratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan C
a
rpe
n
te
r
Me
r
ge branch
'
unnull
i
fy' i
n
to ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
L
ot
s
of
do while(0) loops don't call br
e
a
k so it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan C
a
rpenter
Remove
u
nneeded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan
C
arpenter
Fix or_slist_sta
c
k()
.
Be
f
ore it just saved one stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Da
n
C
arpenter
crap
crap crap
.
do not
u
se
.
commit
|
commitdiff
|
tree
2008-09-07
Da
n
Carpenter
Clea
n
ups and add some __unnullify
_
p
a
th stuff
.
H
o
pefully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Small
c
leanup
.
g
o
to_stack should only be used
in smatch_s
t
a
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Ca
r
pent
e
r
Fix bug saving
the fa
l
se_only
s
tac
k
.
Befo
r
e
c
o
d
e like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpent
e
r
This
i
s
t
h
e
start of the smatc
h
_extra
stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Car
p
enter
Fix
o
ve
r
wri
t
e_s
l
i
s
t() s
o
it t
a
ke
s
a po
i
n
ter t
o
a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
Carpenter
Make smatch_extra dep
e
nd on s
m
atch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan C
a
rpent
e
r
Move is_zero()
to
s
match_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
F
ix a b
i
g bug
.
g
e
t_
s
ta
t
e_s
l
ist() was al
w
ays gett
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge
.
.
/
.
.
/smatch/
d
e
v
e
l
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Me
r
g
e
bran
c
h
'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
pent
e
r
Save the pre conditi
o
ns insi
d
e the co
n
ditions so tha
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
e
nter
The ma
i
n change
h
ere w
a
s to completely re
w
rite
how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Break
t
hin
g
s
o
ut into
functions a bit
.
Clean
u
ps
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
D
an
Car
p
en
t
er
H
andle
while and for loops
slightly better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I remove
d
nulli
f
y_pat
h
()
e
arli
e
r but that was a m
i
stake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
I
d
on't think
the
s
pecial_ker
n
el_mac
r
os() function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
A
dd a funct
i
on to do a strcmp() w
i
th a symbol
n
ame
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Remov
e
e
v
e
r
ything to do wit
h
p
a
th_id's
.
I couldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Re
p
lace the va
r
iable __negate with the fun
c
tion __negate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Car
p
enter
Small
c
lean up
.
Move the passing the wh
o
le condit
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Cra
p
.
I meant
t
o
merge th
i
s ea
r
lier
when I divided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpe
n
ter
Add a comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Moved
a
ll t
h
e logic for handling conditions into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an C
a
rpenter
Oops
.
I g
u
ess I deleted the wrong
l
ist
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
pe
n
ter
Don't pass the contents of sizeof
(
) to the cl
i
ent
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Improve ho
w
the debu
g
i
n
fo for m
e
rging
states gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carp
e
nter
T
he main
t
hing i
s
to ha
n
d
l
e zer
o
compar
i
s
o
ns
bet
t
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan
C
ar
p
enter
R
emove unneeded cod
e
.
This s
t
uff is handle
d
in smat
c
h_flo
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
We need to be ab
l
e t
o
bre
a
k
d
o
wn
(
foo !
=
0
) for BUG
_
ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
Id
e
nti
f
y f
o
r(;;) type loops as forever loops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add
suppo
r
t for BU
G
_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
What I've se
e
n is stuff like th
i
s:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an C
a
rpenter
A
n
ything that we
d
on't handle is obviously compli
c
ated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
Merge branc
h
'devel'
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Car
p
enter
Add a comment to get_varia
b
le_f
r
om_expr_si
m
p
le(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
A
d
d a comment to get_variable_from_expr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpen
t
er
The nullify_path(
)
here is a bug
.
It over-writes a
l
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next