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
Fix NULL deref.
2009-02-04
Dan C
a
rpent
e
r
Warn when we d
o
n't
a
cquire lock
s
w
h
e
n calling c
e
rtain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carpenter
Try (and fail) to find memo
r
y
l
eak
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpent
e
r
Almost p
r
int a message when you come t
o
unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add chec
k
to look for double
f
rees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
an
C
arpenter
Add checking for lock_kernel()/unlock_ke
r
nel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make
c
heck_
l
ocking ch
e
ck
b
oth sp
i
nl
o
c
ks and
sem
a
phores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a
new functi
o
n slist_
h
as_state(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
I
f
ther
e
is an i++ th
e
n the value of
'
i
' is undefine
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
C
a
rpent
e
r
Add a
n
e
w
check_locking script that che
c
ks sp
i
nlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
Sa
v
e
t
h
e possible state
s
instead of just mer
g
ing th
e
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an
C
arpenter
Ignore emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpente
r
M
er
g
e branch 'mast
e
r'
i
nto pool
s
5
commit
|
commitdiff
|
tree
2009-01-16
Dan
Carpenter
We could save some
memo
r
y by not
alloca
t
ing new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a co
m
ment showin
g
where the te
s
ts are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpent
e
r
This is left ove
r
from
Oct
o
ber as par
t
of
t
he impli
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Ad
d
get
_
possib
l
e
_state
s
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
Stuff
l
eft over
from
Oct
o
ber
.
Im
p
lied pools wo
r
k
.
commit
|
commitdiff
|
tree
2008-10-19
Da
n
Carpenter
We could save some memor
y
by not
allo
c
ating n
e
w memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix mem
o
ry leak
.
Add more
comme
n
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
ente
r
A
d
d
a merge hoo
k
.
Handle the situations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpenter
strcmp()
d
o
esn't
a
cce
p
t NULL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpent
e
r
rename
t
wo functions: get_variable_from_expr_s
i
mple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
get_variable_f
r
om_expr() uses a st
a
tic buff
e
r and
you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
Create a c
h
eck_template
.
c example scr
i
pt that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Ca
r
penter
Make get_all
_
s
tates(
)
not segfault
e
v
er
y
t
i
me
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
Fi
x
get_value() to return
n
egative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpenter
We o
n
ly
ever pass one parameter into ge
t
_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
Fix get_all_st
a
tes() to m
a
tch
the func
t
ion defin
i
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nter
Remove
add_sta
t
e() and s
t
at
e
_defined()
defin
i
tions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carpenter
Clean up
.
Fix leak
.
My prob
l
e
m i
s
th
a
t I don't unders
t
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpenter
Initial c
o
m
m
it of the "implied state p
o
ols"
s
t
uff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We haven't bee
n
us
i
ng smatch_
e
x
t
r
a for a
w
hile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
penter
G
et rid
of pa
t
h_history
.
It's n
e
ver going
to be used
.
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 Carpent
e
r
Sp
e
ed up me
r
g
e
_slist now
that the slist
s
are
ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan C
a
r
pent
e
r
Inse
r
t stuff onto lis
t
s in a
s
orted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
D
elete an unused f
u
nction merge_state_sta
c
k()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan C
a
rpenter
fix: if (*foo) { (
*
foo)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Ca
r
penter
kmallo
c
() and frien
d
s don'
t
always ret
u
rn a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The checks from here
g
ot m
e
r
g
e
d i
n
to
c
hec
k
_
null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carp
e
nter
Move the stuf
f
f
r
om ch
e
ck_derefed
_
params
.
c into
check_null_
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
a
rpenter
Fix
bug in or_sli
s
t_stack()
.
if (a && b) wasn't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add
a
hook at t
h
e
e
n
d of a
f
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
pent
e
r
Forgot anothe
r
strip_ex
p
r() call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n
Carpenter
Ha
n
d
l
e as
s
ignmeent
s
i
nside conditions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
On
l
y
print so
m
ething
f
or a
-
>foo and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan
Ca
r
p
e
n
te
r
Ignore array decla
r
ation
s
.
T
hose can't
b
e N
U
LL
obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Car
p
e
nter
Make cur_
s
l
i
st st
a
ti
c
.
It's
o
n
ly
u
s
e
d
i
n smat
c
h
_
states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
e
n
ter
White space chan
g
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
arpenter
Use merge_sli
s
t() instead
of tryin
g
to handle
it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__process
_
con
t
inues() is supposed to
be
b
as
i
ca
l
ly th
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
a
rpent
e
r
New s
m
atch_ignore
.
c fi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Car
p
enter
(foo) =
1
is
the same as foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan C
a
rpe
n
ter
G
e
neralize stip
_
casts()
.
I
t'
s
now called
s
trip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
nt
e
r
Ignore casts
.
foo((int *)&bar) i
s
the sa
m
e a
s
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpenter
Created
s
h
ow_sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n
Carpenter
Ignore s
t
uff like f
o
o
.
ba
r
.
We
only care abou
t
fo
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpen
t
er
What hap
p
ens
before is that p
a
ra
m
eters would get
assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Carpenter
Missed a crashing bug
i
n t
h
e i
n
t => struct conv
e
r
s
i
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Carpenter
I
c
a
n't beli
e
ve I w
a
s doing stac
k
s
w
rong
t
his
who
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
nter
Chang
e
d
smatch state
f
rom being
an int to
b
ei
n
g
p
ointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
I want to
reuse the na
m
e s
m
atc
h
_state
.
Th
e
current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carp
e
n
t
e
r
R
edo the null path
thing
.
So lo
n
g
a
s there i
s
one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
penter
Cl
e
an up
.
Complic
a
ted is
just a boolean
.
Set it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
arpenter
Merge branch 'dev
e
l'
commit
|
commitdiff
|
tree
2008-09-01
Da
n
C
a
r
penter
Sav
e
the pre conditions inside
t
h
e conditions so
t
h
a
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpent
e
r
The main
c
hange her
e
wa
s
to completely rewrite how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
B
r
eak things out into functions a bit
.
Cl
e
an
u
ps
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
D
a
n Carpenter
H
a
ndle whi
l
e
an
d
for loops slightly b
e
t
t
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I removed nullify_path() earlier but that was a mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
I d
o
n
't t
h
i
n
k th
e
special_kernel_ma
c
r
o
s()
f
unction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
A
d
d
a function to
d
o a
s
trc
m
p() with a
s
ymbol name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Remove
e
ve
r
ything to do with path_id
'
s
.
I couldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
Replace t
h
e variable __negate with
the function __negate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpe
n
ter
Small clean up
.
Move the
p
assing the
w
h
ole
condit
i
on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpe
n
te
r
Crap
.
I meant to m
e
rge this earlier when I
d
ivided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
a
rpenter
Add a
c
o
m
ment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
M
oved all the logic for h
a
ndling c
o
nditions i
n
to a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
O
ops
.
I
guess I
deleted the wrong l
i
st
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nte
r
Don
'
t pass t
h
e contents
of sizeof()
to the client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n Carpenter
I
mprove ho
w
t
h
e debug
i
nf
o
for mer
g
i
ng states
gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
an Ca
r
penter
The main
thi
n
g is to handle z
e
r
o comp
a
riso
n
s bet
t
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpente
r
Remove unneede
d
code
.
This stuf
f
is h
a
n
dle
d
in smatch_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 break down (fo
o
!
=
0) for BUG
_
ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Ca
r
pe
n
te
r
Identi
f
y for(;;)
type loops as forever l
o
o
p
s
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
Add
s
u
pport for BUG_ON()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carpenter
What I've seen is stuff like t
h
i
s
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Ca
r
p
e
nter
Anything that we don't handle is obviou
s
ly complicated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
nter
Merge br
a
nch 'd
e
vel
'
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
A
dd a comment to
get
_
variable_from_expr_simp
l
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Ca
r
penter
Add a c
o
mment to g
e
t_variable_fr
o
m_expr
_
s
i
mple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
a
r
pente
r
The nullify
_
p
a
th() here is a bug
.
It over
-
write
s
all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
__print_cur_slist() is a useful
f
unctio
n
for d
e
bug
g
ing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
n
t
er
If you
h
ave somet
h
ing l
i
ke
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Update the
line
n
umbe
r
s for each statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n
Ca
r
pente
r
C
h
ange the
merge
rules
for custom merge scri
p
t
s
so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
D
an
C
a
rpenter
M
o
ve SM_DEB
U
G to a header
s
o everyone can use it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan
Carpenter
Add
a
cust
o
m merge
f
u
n
c
t
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Da
n
C
a
rpenter
U
p
d
ate t
h
e line number at
the very
s
tart of the function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan
C
arpenter
Change the debug output
a b
i
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next