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
check_memory: Fix segfault
2009-02-10
Da
n
Car
p
e
n
ter
Fix implied
pools so that at least it d
o
es some
t
hing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
It seemed like t
r
acker_
l
is
t
woul
d
be
use
f
ul
in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
A
dd a R
E
ADME describing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
Add
s
c
ript to f
i
nd NULL de
r
eferences b
e
tween
fun
c
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rp
e
nt
e
r
Fi
x
usag
e
message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
C
h
eck for m
a
lloc() as well as
k
malloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
ar
p
e
n
ter
F
i
x segfault
w
hen handl
i
ng
i
mp
l
icitly declared
functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Carpenter
Warn when we don
'
t acquire
l
ocks when
calli
n
g certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Ca
r
p
e
nter
Try (an
d
fail) to find memory lea
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
penter
A
l
most pri
n
t a messa
g
e when you come
to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Carpenter
Add
check to loo
k
f
o
r
d
oub
l
e frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n
Carp
e
nte
r
Add checking for
l
ock_kernel()/u
n
l
o
ck_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an
C
arpenter
Make check
_
l
oc
k
ing chec
k
both spinl
o
cks a
n
d semaph
o
res
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add
a
n
ew
f
unction slist_
h
as_s
t
ate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
If there
i
s an i++ then the valu
e
of
'
i' is undef
i
ned
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
C
arpenter
Add a
new check
_
loc
k
ing script that checks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carpe
n
t
er
Save the
p
ossible stat
e
s
i
ns
t
ea
d
of jus
t
m
e
rg
i
ng
t
hem
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
arpenter
Ignore
emac
s
gar
b
ag
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n
C
ar
p
enter
Me
r
ge br
a
nch 'm
a
s
ter'
i
nto pools5
commit
|
commitdiff
|
tree
2009-01-20
D
an Carpe
n
ter
Fix l
i
kely() and unlikely() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
D
a
n Ca
r
penter
Add
single quotes around the variable for
c
o
ns
i
ste
n
cy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpente
r
We cou
l
d
s
a
ve some me
m
o
r
y
by
n
ot alloca
t
ing new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpente
r
A
d
d a comment
sho
w
ing
where
t
h
e
tests are supp
o
sed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
T
his is left over from October
a
s par
t
o
f the i
m
pl
i
ed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpenter
A
d
d
g
e
t_possible
_
s
tates(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nt
e
r
Stuff
l
eft over fr
o
m
Octobe
r
.
Imp
l
ied pool
s
w
o
rk
.
commit
|
commitdiff
|
tree
2008-10-19
D
a
n
C
ar
p
ente
r
We could save some memo
r
y by no
t
allo
c
ating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Car
p
enter
Fix memory leak
.
Add mo
r
e comm
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
A
dd a merge hook
.
Handle the situations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
strcmp() d
o
esn
'
t accept NU
L
L a
r
guments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
rename tw
o
functio
n
s: get_var
i
able_from_e
x
p
r_si
m
pl
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
get_variable
_
from_expr() uses a st
a
tic
b
uf
f
er an
d
you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpent
e
r
Crea
t
e a
check_template
.
c examp
l
e
script that lo
o
ks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpenter
Make get_all_st
a
tes(
)
not
seg
f
ault ev
e
ry
t
ime
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix ge
t
_value() to return negative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpe
n
ter
W
e
only ever
p
ass o
n
e par
a
meter
into get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
r
p
e
nter
Fix
g
et_all_states() to matc
h
the function de
f
initi
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
R
e
move add
_
state() and state_de
f
in
e
d(
)
d
e
fin
i
ti
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
Fix leak
.
M
y
pr
o
blem is tha
t
I don't under
s
tand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Ca
r
penter
Init
i
al
c
o
m
mit of t
h
e
"implied s
t
ate
p
ools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carpenter
Doh
.
We haven't been u
s
in
g
s
m
atch_e
x
tra fo
r
a wh
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
p
enter
Get rid
of path_his
t
ory
.
It's never going to
be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
penter
Make g
o
to_stack s
t
atic
.
commit
|
commitdiff
|
tree
2008-10-13
Da
n
C
arpenter
Speed up merge
_
sli
s
t now th
a
t
the
slists are ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Carpen
t
er
Insert
stu
f
f ont
o
l
i
s
ts in a sorted o
r
d
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
penter
Del
e
t
e an unused function merge_
s
ta
t
e
_s
t
ack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan
C
arpenter
fix: i
f
(*f
o
o) { (*fo
o
)-
>
bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmalloc(
)
a
nd friends d
o
n't always retu
r
n a
non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan
C
arp
e
nte
r
T
h
e
checks from here got merged into check_null_
d
ere
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Ca
r
pent
e
r
Move the stuff from
c
h
eck_deref
e
d_params
.
c into ch
e
ck_null
_
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n Carpe
n
ter
F
i
x bug in o
r
_slist_sta
c
k()
.
i
f
(a &
&
b) wasn't bein
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpe
n
te
r
Add
a
h
ook
at the
e
nd of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpen
t
er
Forgot another str
i
p
_expr(
)
c
a
ll
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Car
p
enter
Handle assignmeents inside co
n
ditions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rp
e
nter
Only pr
i
nt
something fo
r
a->foo a
n
d not
a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
D
an Carpenter
Ignore array decla
r
ations
.
T
hose can
'
t
b
e NULL obviou
s
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carp
e
nter
Make cur_sli
s
t static
.
It's only used in
sm
a
tch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
White space changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use merge_slist() inste
a
d of trying t
o
hand
l
e it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
arpenter
__process_continues() is su
p
p
o
sed
to be basi
c
a
l
ly
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpent
e
r
N
e
w
sma
t
ch_ignore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arpente
r
(foo)
=
1 is
t
h
e same as
f
oo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generaliz
e
st
i
p_casts()
.
It's
n
ow
c
alled
strip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore
casts
.
f
oo
(
(in
t
*)&bar) is the same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpenter
Created show_st
a
te()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n
C
arpenter
I
g
nor
e
st
u
ff like foo
.
b
ar
.
We only ca
r
e
a
bo
u
t foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
an Carpe
n
ter
What happens
b
e
f
or
e
is that parameters would get
a
ssi
g
ned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
an Carpe
n
ter
Mi
s
sed a crashing bu
g
in the int =>
s
t
ruct conver
s
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I
can't believe I was doing sta
c
k
s
w
r
on
g
this
w
hole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Changed smatch st
a
te from be
i
ng an
int
to being po
i
nter
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n
Carpen
t
er
I want to reu
s
e the
name
s
match_state
.
The
curre
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Re
d
o the null p
a
t
h
t
hing
.
S
o
lo
n
g as there is on
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
C
lea
n
u
p
.
Compl
i
cated is just a
b
oolean
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpent
e
r
Ar
r
a
y
s are complicated so they
s
houldn't be returned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carp
e
n
t
er
If we
cal
l
set_state
f
rom inside a con
d
ition
t
hen it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
penter
If the pointer is initiali
z
ed to non-null then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Da
n
Car
p
enter
ign
o
re the smatch binary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan
Carpen
t
er
When w
e
merge 2 sli
s
ts we need to deal with
t
he
c
a
se
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carp
e
nter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carp
e
nter
Add nullif
y
the path when you
h
av
e
fo
r
(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
Carpen
t
er
Merge bra
n
c
h
'ls' i
n
to ultratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpent
e
r
Merge branch
'
unnullif
y
' into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpent
e
r
Lots of do while(0
)
loops don't call
b
rea
k
so it
d
oesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Ca
r
penter
Remo
v
e u
n
ne
e
ded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Ca
r
penter
Fi
x
or_slis
t
_s
t
ack()
.
Before it just sav
e
d one stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpente
r
c
ra
p
crap
c
ra
p
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Car
p
enter
Clean ups and add some __unnul
l
ify_path
s
t
uf
f
.
Hopefully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpent
e
r
S
m
al
l
cleanup
.
g
oto_stack should only be u
s
ed
i
n smatch_
s
ta
.
.
.
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
aving the fals
e
_only
s
t
a
c
k
.
Before code like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
This
is
the start
of the smatch_extra stu
f
f
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
F
i
x
o
verwrite_slist() so it
ta
k
e
s
a point
e
r to a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpente
r
Make
s
match_extra depend
on
s
match
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Car
p
en
t
er
Move is_zero
(
) to
smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
enter
Fix a big
bug
.
get_state_slist() was
a
l
ways getting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
pente
r
Merge
.
.
/
.
.
/
s
match/de
v
el
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
D
a
n
Carpenter
Save the pre co
n
ditions insi
d
e the con
d
itions so t
h
at
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpe
n
ter
The m
a
in change
here
w
as to completely rewrite
how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
D
an C
a
rpenter
Break things
o
ut in
t
o f
u
n
ctions a bit
.
Clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next