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
Move the implications checking to after the scripts have set their states.
2009-02-18
Dan Carp
e
nter
Move the implications checking t
o
af
t
e
r
the
scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Rewrite
c
ompletel
y
with
n
ew goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
arpenter
Add some functio
n
s to han
d
l
e
t
r
acker list
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Don't segf
a
ult
all the time whe
n
c
h
ec
k
ing forever lo
o
ps
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Test t
o
see if we
a
r
e
catching
c
ross fu
n
ct
i
o
n d
e
r
ef
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use the ->possible states a
n
d
re
m
ove the merge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"
w
hile
(
(1)) {" is a forever
l
o
o
p
.
Call strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
fi
x
es to the -> poss
i
ble setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
rpen
t
er
Merge bra
n
ch '
m
aste
r
'
into
n
u
ll_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Car
p
enter
A
dd validat
i
on sc
r
ipt fo
r
check_null_dere
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clean up
.
new-
>
p
ossible is alwa
y
s n
u
ll here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n
C
a
rpenter
Oops
.
-
>possibles wasn't get
t
ing set correctl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
C
arp
e
nte
r
Use strip
_
expr() in split_conditions
(
) instea
d
reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
A
d
d some more operations to
g
et_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
Return &merged in
s
t
e
ad o
f
&u
n
defi
n
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n C
a
rpenter
make get_valu
e
() ret
u
rn a value
f
or bi
t
wise or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try again
removing states from
p
o
o
l
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
n
t
e
r
Rever
t
"Remove a
s
tate from it's
-
>pools when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
El
i
minate a warning
.
Probably
t
he
w
rong way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cl
e
an ups
.
Comments
.
Re
n
ame s
l
is
t
_stack
t
o name
d
_s
t
ack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpent
e
r
Ha ha
.
I still su
c
k at poi
n
ters
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanups
.
Comments
.
Remove debu
g
ging code fr
o
m filte
r
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an C
a
rpent
e
r
Clean up
.
Also pr
e
s
e
rve the ->poo
l
s i
n
one path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
n
ter
C
l
ean
u
p
g
et_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Remove __overwrite_cur_sl
i
st()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
T
here was debugging
ou
t
put that
a
ccide
n
tall
y
got committe
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpente
r
Re
m
o
v
e a state fro
m
i
t's ->poo
l
s when set_state()
is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carp
e
n
t
e
r
D
on't delet
e
the ->pools on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Try
understand the implications from compou
n
d conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Create a
state &merged
.
When we merge
s
tuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
n
ter
O
k
.
Thi
s
time smatch_implied _
r
eally_ does s
o
mething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
rpenter
Ignore cs
c
ope fil
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small cleanups
.
(
White spa
c
e)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Whitespace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
e
n
te
r
A
dd some
more
locking functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Fix
i
mplied pools
so t
h
at a
t
least
i
t does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It
s
e
e
me
d
like tr
a
cker_list
w
ould
b
e
use
f
ul in a
l
ot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Ca
r
penter
Add a READM
E
d
escribing
smat
c
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
A
d
d script to find NULL dereferences be
t
ween fun
c
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
Fix usage mes
s
age
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpent
e
r
Check for malloc() as
w
e
l
l as kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n C
a
rpenter
Fix s
e
gfault w
h
en handling implicitly declared funct
i
o
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n
Car
p
enter
W
a
rn
w
he
n
we don't acquire lo
c
ks when calling cert
a
in
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Ca
r
pen
t
er
Try
(
an
d
fail) to find memory l
e
aks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost
p
ri
n
t a
m
essage when you
c
om
e
to un
r
eachab
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Car
p
enter
A
d
d
check to look for double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpen
t
er
Add c
h
eck
i
ng
for
l
ock_ker
n
e
l()/unl
o
ck_kerne
l
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
e
nte
r
Make check
_
locking ch
e
ck
b
oth spin
l
ocks and
s
emaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
Add a new function slist_
h
as_state(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
r
p
e
n
ter
If there is an i++ the
n
th
e
val
u
e of '
i
'
is und
e
fined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
A
d
d a new che
c
k_
l
ocking scri
p
t that checks spinl
o
cks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save
t
he possible
s
tates
i
nstead of just
merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan C
a
r
p
ent
e
r
Ign
o
re
emacs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
arpent
e
r
M
e
r
ge branc
h
'm
a
ster' in
t
o po
o
l
s5
commit
|
commitdiff
|
tree
2009-01-20
Dan C
a
rpe
n
ter
F
ix likely
(
) and un
l
ikel
y
() hand
l
i
ng
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
A
dd single quotes around the v
a
ria
b
le
for consi
s
tency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Da
n
C
arpenter
We
c
o
uld sa
v
e some memory b
y
n
ot
a
lloc
a
t
i
ng new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
Add
a comment s
h
o
wing where th
e
test
s
a
re
supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpent
e
r
This
i
s
left over
from Oct
o
ber
as pa
r
t of th
e
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
Stuff left ove
r
f
rom October
.
Implie
d
pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
C
ar
p
ente
r
W
e
c
o
uld save some memory by not alloca
t
ing new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory
leak
.
A
dd more
c
o
mments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a merg
e
hook
.
Handle the si
t
uati
o
ns like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
rpenter
strc
m
p() doesn
'
t accep
t
NUL
L
arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpente
r
rename two functions: get_var
i
able_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
ge
t
_va
r
i
a
b
le_from_expr()
u
s
e
s
a st
a
tic buffer and yo
u
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a check
_
template
.
c example sc
r
ipt that lo
o
k
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
Mak
e
g
e
t_all_states() not segfault
e
very time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
pent
e
r
Fi
x
get_value
(
)
to return
negative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
We only eve
r
pass
o
n
e parameter
i
nto get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
pent
e
r
Fix get_a
l
l_s
t
a
t
e
s() to match
t
he
function de
f
inition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
Remove add_state()
and state_defined() def
i
nitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean
u
p
.
F
i
x
leak
.
My
p
r
o
blem
is that I don't under
s
tand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
In
i
tial commit of the "implie
d
sta
t
e poo
l
s" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carpenter
Doh
.
We have
n
't been using s
m
atch_extra for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpent
e
r
Get rid of path_history
.
It's
never going to
be use
d
.
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
Da
n
Carpenter
S
p
e
ed u
p
merge_slist
now that
t
he
sli
s
t
s are or
d
ered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
a
r
pen
t
er
Insert st
u
ff o
n
to lists in a
s
orted ord
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpe
n
t
e
r
Delete an unus
e
d
f
unction merge_state_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Ca
r
pent
e
r
fix: if
(*
f
oo)
{
(*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmalloc() a
n
d f
r
ien
d
s don
'
t alwa
y
s re
t
urn a non-nul
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan
Carpe
n
ter
The checks from he
r
e
got m
e
rge
d
into check_null_dere
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan C
a
rpenter
Move the stuff from
check_d
e
refed_params
.
c into check_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
C
a
rpenter
Fi
x
bug in or_slist_
s
tack()
.
i
f
(
a && b) wa
s
n't be
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
D
an Carpenter
Add a
hook at the end of a fil
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Car
p
enter
Forgot
a
nother strip_e
x
pr() call
.
.
.
:
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpent
e
r
Han
d
le assignmeents inside conditions bett
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rp
e
n
t
er
Only pr
i
nt somethi
n
g
f
or
a
->foo
an
d
not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Igno
r
e array
declarations
.
Those can't be NULL obvi
o
usl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Da
n
Car
p
e
n
ter
Make cur_slist static
.
It's on
l
y use
d
in smatc
h
_state
s
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
rpenter
White spac
e
changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Carpen
t
er
U
se merge_slist() instead of t
r
ying to handle it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__proces
s
_continues
(
) is supposed to be basical
l
y
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New smatc
h
_ignore
.
c fi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpent
e
r
(foo)
= 1 is
t
h
e
same as foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
G
eneralize stip_casts
(
)
.
It's now
c
alled str
i
p_
e
x
p
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Car
p
enter
I
g
n
ore casts
.
foo((int *)&bar) is the
same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpent
e
r
Created show_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next