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
Handle the iterators correctly.
2009-02-22
Dan Carpenter
H
a
ndle the
iter
a
tors correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
an Carpent
e
r
Add support for "if (a?b:c
)
{
.
.
.
"
t
e
rnary conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add some supp
o
rt for _spin_tr
y
l
o
ck() and fri
e
nds
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
Car
p
en
t
er
if (a || b) { a->foo; should print an error
.
A
lso
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
This prints out erro
r
m
e
s
sages
all
the
time that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Da
n
Carpenter
Assignm
e
nt al
w
ays sets &i
s
fre
e
d to so
m
ething else like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Don't p
r
int cr
o
ss_func
error
s
i
f
the called function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
R
em
o
ve ca
l
l to alloc_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Cal
l
t
he merge_
h
ook() inst
e
ad of
setting the stat
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
O
ops
.
Meant to commit this
e
arlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
e
r
Add
t
h
e merge_hook() b
a
ck in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
rpenter
C
l
ear the returns lists at the end of
e
a
ch func
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
rpenter
Mov
e
th
e
i
mplications checki
n
g to
a
fter the sc
r
ipts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Car
p
enter
Rewrite
c
ompletely wi
t
h new g
o
al
.
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Add some funct
i
ons to
h
andle
tracker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpente
r
Don't segfault a
l
l the time when checking forever
l
oops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
ar
p
enter
Tes
t
to see if
w
e are catchi
n
g cross function derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use th
e
-
>
possible
s
tates and remove the me
r
ge_
h
ook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
"while ((1)) {"
i
s a
f
oreve
r
loop
.
Call strip_expr
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
fixes to the -
>
possible
s
etting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Ca
r
pente
r
Merge bra
n
ch 'm
a
ster' into
nu
l
l_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add validation script
for check
_
nul
l
_d
e
ref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clea
n
up
.
new->possib
l
e
is alway
s
n
ull here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
->possibles wasn
'
t getting se
t
c
o
rrectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
pente
r
Use
s
t
rip_e
x
pr() in split_condi
t
i
ons() i
n
s
tead r
e
produci
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpenter
A
d
d some mo
r
e operations t
o
get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpen
t
er
Return
&
merged instead of &und
e
fined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
an Ca
r
penter
make
get_value
(
) return
a
v
a
lue for b
i
twi
s
e or
e
xpressions
.
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpenter
Try again r
e
moving state
s
from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Revert "Remove a st
a
te fr
o
m it's ->p
o
ols whe
n
set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Eliminate a war
n
ing
.
Probably the
wron
g
way to
do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
r
pente
r
Clean ups
.
C
o
mments
.
Rename s
l
ist_stack to
n
a
med_s
t
ack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Ha
h
a
.
I still suc
k
at
p
ointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Clea
n
ups
.
Co
m
ments
.
Remo
v
e
debugg
i
ng c
o
de from
f
ilt
e
r()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Clean up
.
Also preserve the ->
p
ools in one path
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Clean
u
p get_stat
e
_sl
i
st()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpente
r
Re
m
ove __overwrite_
c
ur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
nter
There was de
b
ugging outp
u
t that ac
c
i
d
entall
y
got commi
t
t
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Rem
o
ve a s
t
ate from it's ->poo
l
s wh
e
n set_
s
tate(
)
is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't de
l
ete the
->pool
s
o
n merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Car
p
en
t
er
T
ry u
n
derstand the implications from compound condit
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cr
e
a
t
e a state &
m
erged
.
When we mer
g
e
s
tuff i
t
i
s
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This time
s
matc
h
_implied _rea
l
ly_ does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
I
gnore cscop
e
f
iles
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Sm
a
ll
c
le
a
nup
s
.
(White space
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Wh
i
tespace ch
a
nge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Add som
e
m
o
re locking
functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix implie
d
pools
s
o
t
ha
t
at least it
d
oe
s
somethi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
It seeme
d
like tracker_list w
o
uld
b
e
u
s
efu
l
in a
l
ot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
A
d
d
a
R
EADME d
e
scr
i
bin
g
smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Add scrip
t
t
o
find NULL
d
e
r
e
ferences between functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpenter
Fix usage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
C
h
eck for mall
o
c() as well a
s
kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
en
t
er
Fix segf
a
ult wh
e
n handling implicitly
declar
e
d
f
unctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Warn whe
n
we
don't acquir
e
lock
s
when calling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpente
r
Try (and fa
i
l) to find memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
an C
a
rpenter
A
lmost print
a
messa
g
e when you come to unreach
a
ble
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Carpente
r
Ad
d
check to look for double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
C
arpenter
A
d
d
c
hec
k
ing f
o
r lock_ke
r
nel()/unl
o
ck_ker
n
el()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Mak
e
che
c
k_locking ch
e
ck
b
ot
h
spinlocks and
s
e
mapho
r
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a
new function slis
t
_has
_
state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If there is an i++ then the v
a
l
u
e
o
f
'i' is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
Carpe
n
te
r
Add
a
new
c
heck_loc
k
ing scrip
t
that checks spi
n
l
o
cks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
S
a
ve the possible states instead of just merging t
h
em
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan C
a
r
penter
I
gn
o
re em
a
cs garbag
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carp
e
nte
r
Merge branc
h
'm
a
ster' in
t
o pools5
commit
|
commitdiff
|
tree
2009-01-20
D
a
n
Carp
e
n
ter
Fix likel
y
() a
n
d un
l
ikely() h
a
ndl
i
ng
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan
Carp
e
nter
Add singl
e
quotes around t
h
e varia
b
l
e for
c
ons
i
stency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpent
e
r
We
c
oul
d
save some mem
o
r
y by not a
l
l
oc
a
ting new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a co
m
men
t
s
h
o
wing where t
h
e tes
t
s are
s
upposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is left ov
e
r from October as part
of the impli
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add ge
t
_possibl
e
_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carpent
e
r
Stuff
l
eft over from
October
.
Impli
e
d po
o
ls
w
ork
.
commit
|
commitdiff
|
tree
2008-10-19
D
a
n
C
arpenter
W
e
cou
l
d
sav
e
some memory by not
a
llocating new me
m
ory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpen
t
er
F
i
x memo
r
y le
a
k
.
Ad
d
more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
Add
a
merge
h
o
ok
.
Handle the situa
t
ions
l
ike:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
st
r
cmp() doesn't a
c
ce
p
t NULL argumen
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
rpenter
ren
a
m
e two functions: ge
t
_variable_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
e
r
get_variable_from
_
expr() us
e
s
a static buffer and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpent
e
r
Crea
t
e a check_template
.
c exa
m
ple script that l
o
o
ks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get
_
all_states()
not segfault every
t
i
me
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpente
r
Fix get_
v
alue
(
) to return n
e
g
a
tive values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpenter
We only ever pass one
par
a
meter into get_v
a
lue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Ca
r
penter
Fix
g
et_all_state
s
() to match the function definiti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpenter
R
e
move
add_state() and state_defined() definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
Ca
r
penter
Cl
e
an up
.
Fix l
e
ak
.
My problem is
that I don't underst
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Init
i
al commit
of
the "implied stat
e
pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpenter
Doh
.
We
hav
e
n'
t
been using s
m
atch_extra f
o
r a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n
Carpenter
Get
r
id o
f
p
a
th
_
history
.
I
t
's never go
i
ng t
o
b
e us
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
M
a
k
e
go
t
o_st
a
ck
s
t
atic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
e
r
Speed
u
p m
e
rge_slist n
o
w that
the slists
a
r
e ordere
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carp
e
nter
In
s
ert stuff onto li
s
ts in a sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Delete an unused f
u
nction merge_state_st
a
ck()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Car
p
enter
fix:
if
(
*foo) { (*fo
o
)->bar
;
}
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n Car
p
enter
kmalloc() and fr
i
e
nds don
'
t al
w
ays
r
eturn a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpe
n
ter
The che
c
k
s
from
here got merged
i
nto
check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n Carpenter
Move the stuff from check_derefed
_
param
s
.
c
into chec
k
_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix bug
i
n or_s
l
i
st_stack(
)
.
if
(a && b
)
was
n
't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpe
n
t
e
r
Ad
d
a hook at the end of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
penter
F
orgot another strip_expr()
c
all
.
.
.
:
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next