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 validation script for check_null_deref.c
2009-02-17
Da
n
Carpenter
Add val
i
dati
o
n
scr
i
pt
f
or
c
heck_null
_
deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
->possibles was
n
't getting set corre
c
tl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carp
e
nter
Use strip_expr() in
s
plit_conditio
n
s() i
n
stead reproducin
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
p
e
nter
Add s
o
m
e more operations to get
_
value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Retu
r
n &mer
g
ed instead of
&
undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
mak
e
get_value() return a v
a
lue
f
or bitwise or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
Try a
g
a
i
n removing states from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
R
e
vert "Remove a s
t
ate from it's ->pools whe
n
se
t
_st
a
te
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Elimin
a
te a warni
n
g
.
Pr
o
bably
t
he wrong way
t
o
do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clea
n
ups
.
Comments
.
Rename
slist
_
stack to named_st
a
ck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpen
t
er
Ha ha
.
I
still
suck a
t
pointer
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
en
t
er
C
lean
u
ps
.
Comme
n
ts
.
Remove debugg
i
ng code from filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Clean up
.
Als
o
pr
e
se
r
v
e the ->poo
l
s
i
n
o
ne
path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Clean up
get_
s
tat
e
_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
R
emove __overwrite_c
u
r_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
T
here
w
a
s
debugging output that accident
a
lly g
o
t committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
R
e
m
ove a state from it'
s
-
>pools w
h
en set_state(
)
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Don't d
e
lete the ->poo
l
s o
n
merg
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an
Carpen
t
er
Try unde
r
stand the impl
i
c
a
t
ions from compound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Create a s
t
ate &merged
.
Whe
n
we merge stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
T
h
is t
i
me smatch_implied _r
e
al
l
y_ do
e
s somet
h
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Ig
n
or
e
cscop
e
files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Car
p
enter
Smal
l
cleanups
.
(Wh
i
te s
p
a
ce)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whi
t
espace cha
n
ge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ad
d
some more lock
i
ng func
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix impl
i
ed pools so that at least it d
o
es
s
omethi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seemed like tra
c
ker_list would be
u
s
e
f
ul in a lo
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Add a README descri
b
ing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
Add script
to f
i
nd NU
L
L derefer
e
n
ces between fu
n
c
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix usage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpenter
Check for malloc() as
well as kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Fix segfau
l
t when ha
n
dling impli
c
itl
y
decla
r
e
d
functi
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carpent
e
r
Warn when we don'
t
acqu
i
re
l
ocks when ca
l
ling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Ca
r
pent
e
r
Try (a
n
d fai
l
) to find
m
emory
leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
C
a
rpenter
Almost print a message w
h
en y
o
u come to un
r
eachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
a
r
penter
A
d
d check to look for double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add checki
n
g fo
r
lock_kerne
l
()/unlock_ker
n
el()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Ca
r
pent
e
r
Make check_
l
ocking check both spinlocks a
n
d semap
h
o
r
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpente
r
Ad
d
a
ne
w
functio
n
sl
i
st_has_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If there is an i++ the
n
the value of 'i
'
is undef
i
ned
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carpent
e
r
Add a new check_locking
s
cript
t
hat checks spi
n
locks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nter
Sa
v
e the possible s
t
at
e
s instead of just
merging
them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Ca
r
penter
Ign
o
re em
a
cs ga
r
bage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Me
r
ge bra
n
ch 'master' into
p
ools5
commit
|
commitdiff
|
tree
2009-01-20
Dan
C
a
rpenter
Fix likely() and
u
n
li
k
ely() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan
C
arpenter
Add single quotes
a
ro
u
n
d
the va
r
iable for consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan
C
a
r
pen
t
er
We c
o
uld save some
m
emory by not
a
l
locating new me
m
o
ry
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
er
Add a comment showing where the tests are s
u
pposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
te
r
This is left
over from October
a
s
p
art of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add
get_possible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuf
f
le
f
t ove
r
from Oct
o
ber
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
Carpenter
We c
o
uld save some me
m
ory by not allocatin
g
new memor
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Ca
r
penter
Fix memory leak
.
Add mo
r
e comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Car
p
e
nter
Add a merge hook
.
H
an
d
l
e the
situations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpen
t
er
strcm
p
() doesn't
a
c
c
e
pt NULL arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
rename t
w
o functions: get_variable
_
from
_
expr_si
m
ple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
C
arpenter
get_variable_
f
rom_expr() uses a sta
t
ic buffer and y
o
u
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
Cr
e
ate a
c
he
c
k_temp
l
a
te
.
c example scri
p
t
that l
o
oks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get_
a
ll_sta
t
es()
n
ot segfault every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
Fix
get_v
a
lue
(
)
to
return neg
a
t
ive values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpenter
We only ever
p
ass o
n
e par
a
m
eter into get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
Fix
g
e
t
_al
l
_states() to ma
t
ch the functio
n
definiti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
Remove add_
s
tat
e
() and state_defined
(
)
d
ef
i
niti
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
an Carpenter
C
l
ean up
.
F
i
x lea
k
.
My problem is
that I don't understan
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carpenter
I
niti
a
l comm
i
t
of the "
i
m
p
l
ied sta
t
e po
o
l
s
"
s
tuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
an C
a
rpenter
Do
h
.
We haven't been
u
s
ing smat
c
h_extra for a whil
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpe
n
t
e
r
Get rid of path_history
.
It
'
s never goin
g
to
b
e used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpen
t
e
r
Make g
o
t
o
_
s
tack st
a
t
ic
.
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpenter
Spe
e
d up
m
erge_slis
t
now t
h
at the slists are order
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Da
n
Carpenter
Insert stuff onto list
s
in a
s
o
rted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Car
p
ente
r
Delete
an unused f
u
nction mer
g
e_state
_
stac
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix: if (*foo
)
{
(*foo)->
b
ar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpen
t
er
kmalloc() and friends do
n
'
t
always return a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpe
n
ter
The checks f
r
om
h
e
re got m
e
rge
d
into check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpent
e
r
Move the stuf
f
from c
h
eck_derefed
_
params
.
c
int
o
check_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
arp
e
nter
Fix bug
in or
_
s
l
ist_stack()
.
if (a
&
&
b) wasn'
t
being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpent
e
r
A
dd
a h
o
ok
a
t the end of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forg
o
t another strip
_
exp
r
() call
.
.
.
:
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpent
e
r
Handle assignmeents inside conditions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpenter
Only pr
i
n
t
s
omething for a
-
>foo
a
nd not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Ign
o
re a
r
r
a
y declarat
i
o
ns
.
Those c
a
n't
b
e
N
ULL obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan
Carpenter
Make cur_slist static
.
It'
s
only used
i
n
s
m
a
tch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
rpent
e
r
Wh
i
te space ch
a
n
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
enter
Use me
r
ge_slist() instead of trying to handle it y
o
u
r
self
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__pr
o
cess_contin
u
e
s()
i
s suppo
s
ed to b
e
basical
l
y the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
N
ew smatch_ignore
.
c fil
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Ca
r
penter
(foo) = 1 is th
e
s
a
m
e
as foo =
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Car
p
enter
Gene
r
alize stip
_
casts()
.
It's n
o
w ca
l
led strip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ign
o
r
e
casts
.
foo((int *)
&
bar)
is the same as fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n
Ca
r
p
e
nter
Created show_s
t
ate
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Car
p
enter
Ignore stuff
l
ike foo
.
b
a
r
.
W
e
o
n
l
y care about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
W
hat happ
e
ns before is that pa
r
ameters would get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
an Ca
r
penter
Missed a crashin
g
b
ug in t
h
e
i
n
t => struc
t
c
onversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I can't be
l
ieve I was d
o
ing
s
tacks wr
o
ng this
wh
o
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
nter
Changed smatch
s
tate from bei
n
g an int t
o
being pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carpenter
I want to reuse t
h
e name smatch_state
.
Th
e
current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carp
e
nter
R
e
do t
h
e null path th
i
n
g
.
So long as t
h
ere is
o
ne
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
enter
Clean up
.
Comp
l
icated is just a boolean
.
Se
t
it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpent
e
r
Array
s
are complicated so they shou
l
dn'
t
be returned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
penter
I
f
w
e call set_state from inside a cond
i
tion
t
hen it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
next