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
Oops. Meant to commit this earlier. :/
2009-02-18
D
an Ca
r
p
enter
O
o
p
s
.
M
e
a
nt to c
o
mmit t
h
is earl
i
er
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Add the merge_h
o
ok()
b
a
ck in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpenter
C
l
ear the retur
n
s lists a
t
th
e
end of
ea
c
h funct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Move the impli
c
ati
o
ns checking to
a
fter
t
h
e script
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrite
completely w
i
th n
e
w goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add some functions to handle tr
a
c
ker lis
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Don't segfault
a
ll t
h
e t
i
me wh
e
n check
i
ng forever
loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
arpen
t
e
r
Test
t
o see if we
a
re catching cross functio
n
derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Car
p
e
nter
Use the -
>
pos
s
ib
l
e states and remove the merge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
"
while ((1)
)
{
"
is a forever loop
.
Call
s
trip_exp
r
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes to the -> pos
s
ible settin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
D
a
n Carpen
t
er
Merge branch
'mas
t
er' into nu
l
l_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
ar
p
enter
Add validation scrip
t
for check_n
u
l
l_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan
Carpenter
Cl
e
a
n
up
.
new->
p
ossible
i
s
alwa
y
s null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n
Carp
e
nter
Oops
.
-
>p
o
ssibles wasn't
getting set correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpe
n
t
er
Use strip_exp
r
(
) in split_conditions()
inste
a
d rep
r
odu
c
ing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpent
e
r
Add some more oper
a
t
ions t
o
get_
v
alue(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Ret
u
rn &
m
er
g
ed instead of &
u
ndefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
penter
m
a
ke get_value()
return a value for bit
w
is
e
or e
x
pres
s
ions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
e
n
ter
T
ry again removing stat
e
s from
pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Rever
t
"
Re
m
o
v
e a
state from it's ->p
o
ols when
s
e
t_
s
tate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Eliminat
e
a warni
n
g
.
Probably the w
r
ong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an
Carpen
t
er
Clean
u
ps
.
Comments
.
Re
n
ame slist_
s
tac
k
to named
_
stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Ha
h
a
.
I sti
l
l suck at pointe
r
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Cleanups
.
Co
m
ments
.
Remove debugging c
o
de
f
rom
filte
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
arpenter
Clean
up
.
A
lso p
r
eserve the
-
>pools
i
n
o
ne
path
of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Clean
up get_sta
t
e
_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Remove
_
_o
v
erwrite
_
cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
The
r
e was debug
g
ing output that accidentally got committe
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove
a state f
r
om it's -
>
po
o
ls when se
t
_
st
a
te() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
ent
e
r
Don
'
t de
l
ete the ->pools
o
n
merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try understand the implications from compoun
d
con
d
it
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Create a state &
m
erged
.
When we merge stuff
it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
O
k
.
This time
s
mat
c
h
_
i
mplied _really_ does so
m
ething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Car
p
ent
e
r
Ignore cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Small cleanups
.
(White
s
pace)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
p
e
nte
r
Whitespace chan
g
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some more
l
ocking
fu
n
ctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Fix implied pools so that at le
a
st it does
s
ome
t
hing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seemed li
k
e
tracker_list
would
b
e
us
e
f
ul in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpen
t
er
Add a
R
E
A
DME de
s
c
ribing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rp
e
n
t
e
r
Add sc
r
i
pt to find
N
ULL dereferences be
t
ween fun
c
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
te
r
Fix
u
sage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an
C
arp
e
nter
Check for mallo
c
()
a
s
we
l
l
as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carpenter
Fix segfault
when h
a
ndling implicitly declared
f
unctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpent
e
r
W
arn wh
e
n
we
d
on
'
t acqu
i
r
e lock
s
when
cal
l
ing certai
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Carpenter
Try (and fai
l
)
t
o find memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
ar
p
e
n
ter
A
l
most print a message when you
come to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carp
e
nter
Add che
c
k to look for
double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
penter
A
d
d
checking for
l
o
ck_kernel()
/
unlock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpe
n
t
er
Make chec
k
_lock
i
ng c
h
eck
b
ot
h
spi
n
locks and s
e
maphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
A
dd
a
new functi
o
n slist_h
a
s_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
I
f
the
r
e is an i++ then
t
he
v
alue
o
f 'i' is undefi
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpe
n
ter
Add a new ch
e
c
k
_locking scri
p
t
that chec
k
s spinlock
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save the
p
os
s
i
ble states
i
n
stead of j
u
st me
r
ging t
h
em
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Carpent
e
r
Ignore em
a
c
s
g
a
rbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merg
e
branch 'master' into
pools5
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carp
e
nter
Add a comm
e
nt showi
n
g where t
h
e tests a
r
e supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is le
f
t over from
O
ctober as pa
r
t of
t
he implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
Add get_pos
s
ible_
s
ta
t
es()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpente
r
Stuff l
e
ft over
f
rom Octobe
r
.
Implied pools
w
ork
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carp
e
nter
We
could sav
e
some memory by n
o
t a
l
locat
i
ng n
e
w
memor
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
F
ix memo
r
y le
a
k
.
Add
m
o
re
c
omments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a merge hook
.
Handle th
e
situ
a
tions like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpent
e
r
strcmp() doesn't accept NULL argume
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
re
n
ame
two functi
o
ns: get_
v
ariabl
e
_f
r
o
m_e
x
pr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_variable_from_expr() uses a s
t
a
tic buffer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a chec
k
_
template
.
c example script that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nte
r
Make get
_
all_sta
t
es
(
)
not s
e
gfault every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
i
x
ge
t
_val
u
e() t
o
r
e
turn negative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only ever pass
one param
e
t
er i
n
t
o get_v
a
lue()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
t
e
r
Fix get_all_states() to
m
a
tch the functio
n
d
e
fin
i
t
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n C
a
r
p
enter
R
emove add_stat
e
() and state_de
f
ine
d
()
def
i
nitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
pent
e
r
Clean
up
.
Fix
l
e
a
k
.
My
p
robl
e
m is th
a
t I don't und
e
rstand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpent
e
r
Initia
l
c
o
mmit of
t
he "implied state
p
ools
"
stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
p
e
nter
Doh
.
W
e h
a
ven't been usi
n
g sm
a
tch_ex
t
ra for
a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpenter
G
et rid of path_hist
o
ry
.
It
'
s nev
e
r going to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpenter
Make g
o
to_sta
c
k
s
tatic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carp
e
nter
S
p
eed up merg
e
_s
l
is
t
now
that the slists
a
re ordere
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
an
C
arpenter
In
s
er
t
st
u
ff
onto list
s
in a s
o
rted
o
rder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpen
t
er
Delete an u
n
use
d
f
un
c
tion merge_state_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
D
a
n Carpe
n
t
e
r
f
i
x
: if (*
f
oo) { (*foo)->
b
ar;
}
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kma
l
loc() and fri
e
nds d
o
n't always r
e
tu
r
n a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carp
e
nter
The
c
heck
s
from her
e
got
m
erged into
c
heck
_
null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpent
e
r
Move the stuff from check_
d
erefe
d
_para
m
s
.
c i
n
to check_null
_
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix bug in or
_
slist_stack()
.
if
(
a
&
& b) was
n
't
being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpente
r
Add a hoo
k
at the end of a fi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
pe
n
ter
F
o
r
got anot
h
er strip_expr(
)
call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
an Carpe
n
t
e
r
Handle
a
ssignmeents inside conditions
b
etter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
an Carpente
r
Only print something for a->foo and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpente
r
Ignore array declarations
.
Those can
'
t
b
e NULL
o
bviou
s
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Ca
r
pent
e
r
M
ake cur
_
slist static
.
I
t's
o
nly used in s
m
at
c
h_sta
t
es
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
ar
p
enter
White spac
e
ch
a
n
ges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carp
e
nte
r
Use merge_sli
s
t()
instead
of trying t
o
han
d
le it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Ca
r
penter
__pr
o
cess_conti
n
ues
(
) is supposed to be basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New
s
mat
c
h_
i
gnore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(f
o
o) = 1 is the s
a
me as
foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpe
n
ter
G
ener
a
lize stip_ca
s
ts(
)
.
It's now ca
l
led s
t
rip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore casts
.
foo((int *)&ba
r
) is the same a
s
f
o
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
nt
e
r
Created show_state
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next