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
The checks from here got merged into check_null_deref.c
2008-10-06
Dan Carpen
t
er
The chec
k
s from here go
t
m
e
r
g
ed into che
c
k_null
_
deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Mo
v
e the stuff from che
c
k_derefed
_
params
.
c
int
o
ch
e
ck_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carpent
e
r
Fix bug
in o
r
_s
l
ist_
s
ta
c
k(
)
.
i
f
(a && b) wasn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
A
d
d
a h
o
ok a
t
the en
d
of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
F
orgo
t
another st
r
ip_expr(
)
call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carp
e
n
t
er
Handle
a
ssignmeents i
n
si
d
e condi
t
ion
s
bette
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpenter
Onl
y
print somet
h
ing fo
r
a->foo and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Car
p
enter
Ignore ar
r
ay declarati
o
n
s
.
Tho
s
e can't be N
U
LL
obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carp
e
nt
e
r
Make cur_sl
i
st static
.
It
'
s only used i
n
smatch_state
s
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
C
arpenter
White
s
pace changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Ca
r
penter
Use merge_
s
list
(
)
instead of trying to handl
e
it yo
u
rself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpente
r
__process_co
n
tinues()
i
s sup
p
osed to be basic
a
lly the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
Carpe
n
ter
New smatch_ignore
.
c fil
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carpen
t
e
r
(
foo) =
1
is the same as
f
oo
= 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carpenter
Generaliz
e
sti
p
_casts()
.
I
t's now called strip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Car
p
enter
Ignore cast
s
.
foo((int *)&
b
ar) is
th
e
same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n
C
arpenter
C
r
eate
d
show_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Car
p
e
n
ter
Ignore stuff like foo
.
bar
.
W
e only car
e
about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpenter
What happen
s
b
efo
r
e is th
a
t parameters would g
e
t
assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Ca
r
pen
t
er
Missed a crashing bug in the int => struct
conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Carpen
t
er
I can't
b
e
lieve I was doing stacks wrong
this whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Car
p
e
n
ter
Cha
n
ged smatch
state
from being
an i
n
t t
o
being
p
ointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
p
enter
I want to reuse t
h
e name smatch_sta
t
e
.
The curre
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an C
a
rpe
n
te
r
Re
d
o the
n
ull
p
ath thing
.
So long as
t
here is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an
Carpenter
Clean up
.
Compl
i
cated is jus
t
a boolea
n
.
Set
i
t
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpe
n
ter
Arrays are com
p
licated
so they
shouldn't be ret
u
rned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carpenter
I
f
we call
s
et
_
state from insid
e
a condition th
e
n it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carp
e
n
ter
If
t
he
p
o
i
nter is
i
nitialized t
o
non-nul
l
then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan
Carpenter
ignore the smatch bina
r
y
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
D
an Car
p
en
t
e
r
Whe
n
we merge
2
slist
s
we nee
d
to deal with the case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpente
r
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Carpenter
Add nulli
f
y the path when
y
o
u
ha
v
e for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Carp
e
nter
Merge branch 'ls' into ultrat
m
p
commit
|
commitdiff
|
tree
2008-09-13
D
a
n Carpenter
Merge
b
ranch 'unnullify'
i
nto ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Lots
o
f
d
o whi
l
e
(
0) loops don't
c
a
l
l break so it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Remove unne
e
ded c
h
ec
k
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan C
a
rpenter
Fix or
_
slist_stack(
)
.
B
e
f
ore it j
u
st saved one stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan
Carpenter
c
ra
p
crap crap
.
do not us
e
.
commit
|
commitdiff
|
tree
2008-09-07
D
a
n Carpenter
Clea
n
up
s
and
a
dd some __unnullify_pa
t
h stu
f
f
.
Hopeful
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carp
e
nt
e
r
Small cleanup
.
goto
_
stack shou
l
d only b
e
used i
n
smatc
h
_sta
.
.
.
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 Carpenter
Fix bug s
a
ving the false_o
n
ly s
t
a
c
k
.
Be
f
o
re code li
k
e
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n Car
p
enter
This is
t
he start of the smatch_ex
t
ra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n Ca
r
pen
t
er
Fix overwrite_slist() so i
t
takes a pointer t
o
a
poin
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Make smatch
_
e
x
tra depen
d
on s
m
atch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
D
a
n C
a
rpe
n
ter
Mo
v
e is
_
z
er
o
() to smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
ent
e
r
Fi
x
a
big bu
g
.
get_state_slist() was alw
a
ys getting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n
C
arpenter
Merge
.
.
/
.
.
/sma
t
ch
/
devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
M
erge branch
'
devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Save the pre
c
o
nditions insi
d
e the conditions so tha
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpe
n
t
e
r
The main
cha
n
g
e
he
r
e
was to completely re
w
r
ite how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan
Carpe
n
t
er
Break things out into fun
c
tions a bi
t
.
C
l
ea
n
ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Da
n
Ca
r
penter
H
andle while
and for loo
p
s sligh
t
l
y
better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan
C
a
r
p
ente
r
I removed nullify_path() earli
e
r but that was
a
mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
I don't thin
k
the special_kernel
_
ma
c
ros() func
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Add a function
t
o
do
a strcm
p
() wit
h
a symbol nam
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Remove everything to do with
path_id's
.
I couldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Rep
l
ace the variable __negate wit
h
the funct
i
on
__negate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpen
t
er
Small clean up
.
M
o
ve the passing the whole condition
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
enter
C
r
ap
.
I mea
n
t to
mer
g
e this earlier when I d
i
vided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Add a comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
Moved a
l
l
t
h
e logic for h
a
ndlin
g
c
o
n
dition
s
into a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Oops
.
I guess I deleted
t
he w
r
ong list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Don'
t
pass t
h
e cont
e
nts
of sizeof(
)
to t
h
e cl
i
ent
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpent
e
r
Im
p
rove how th
e
d
e
b
ug inf
o
for mer
g
i
ng states
g
et
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
The main thing
is to handle
z
ero c
o
m
p
ar
i
sons bett
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
an Carpe
n
ter
Remov
e
u
n
n
e
e
ded code
.
T
his stuff is hand
l
ed
in
s
match_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Carpenter
We need to be able to bre
a
k down
(
f
oo
!=
0)
f
o
r
B
UG_ON
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Identif
y
for(
;
;) type loo
p
s as
forev
e
r loops
.
T
his
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpent
e
r
Ad
d
supp
o
rt
for BUG_ON(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
W
ha
t
I've seen is stuff like
t
his:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
A
n
ything
t
hat we don't
h
an
d
le
i
s obvio
u
sly co
m
pl
i
cat
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Mer
g
e branch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a commen
t
to
ge
t
_variable_from_expr_sim
p
le()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
Add a comment to
g
et
_
v
a
riable
_
from_expr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
The null
i
fy_pa
t
h() here is
a bug
.
It o
v
er-writes
a
ll
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
penter
__print_cur
_
slist()
i
s
a us
e
ful func
t
ion for debuggin
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
C
arpenter
If you hav
e
som
e
thing like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
arpenter
U
p
date the l
i
n
e nu
m
bers f
o
r e
a
ch stat
e
ment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Da
n
Carpenter
Change the
m
er
g
e
rules for cus
t
om merge scripts so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
M
ove SM_D
E
B
UG to a he
a
der so everyone c
a
n
us
e
it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpen
t
er
Add a
c
ustom mer
g
e function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan Ca
r
pente
r
Upd
a
te the line number at
t
he v
e
ry st
a
r
t
of
the functi
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpen
t
er
Chan
g
e the debug out
p
ut a bit
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan
Carpenter
A
d
d
a
--debug opt
i
on
.
It has
t
o
b
e the
f
i
rst
o
ption
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan C
a
rpenter
Make sure
the variabl
e
name is NULL term
i
na
t
ed otherwise
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpen
t
er
S
mall cle
a
n
u
p
s
.
No change in behav
i
or
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan Carpenter
This is
an off by one
e
rro
r
really
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Car
p
e
n
ter
The
s
pa
r
se_initialize() f
u
n
ction now
t
a
kes
a filel
i
st
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Ca
r
penter
Remove an of
f
by on
e
error
detecting
t
he
en
d
o
f
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
D
an Carpenter
Pa
t
ch it with the stuff fr
o
m the
w
e
b
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
This
is an unmod
i
fi
e
d
tar ball
.
commit
|
commitdiff
|
tree