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 Ca
r
penter
M
o
ve the
i
mplications checking to afte
r
the scrip
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
e
nt
e
r
Rewrite
completely with new goa
l
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
e
r
A
dd some
f
unctions to han
d
le
t
racker li
s
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpen
t
er
Don't segf
a
ult all the
t
ime when checkin
g
f
o
rever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
a
rpe
n
ter
T
est to see if we are c
a
tching cr
o
ss function derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Use the ->possible stat
e
s
a
n
d
remove the merge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpente
r
"
w
hile ((1)) {" is a forever loo
p
.
Call strip_expr(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
fixe
s
t
o
the -> possible setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Merge branch
'mast
e
r' into
n
u
ll_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpen
t
er
Add validation scri
p
t
for
check_
n
ull
_
deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Ca
r
pen
t
er
Clean up
.
new->possib
l
e i
s
always
n
u
l
l
h
e
re
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
->possi
b
l
e
s w
a
sn't getting set
correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
pente
r
Use strip_expr() in split_
c
o
ndit
i
o
n
s() inst
e
ad repr
o
ducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
a
r
p
e
nter
A
d
d so
m
e
m
ore oper
a
tions to get_
v
alue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n
Car
p
enter
R
e
turn &merged ins
t
ead
o
f
&undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
mak
e
get_
v
alue() return a value for bitwise or expr
e
ssio
n
s
.
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpen
t
er
T
ry ag
a
in removing states from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpent
e
r
Revert "Remove a state from it's ->pools
whe
n
se
t
_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Elimin
a
te
a
warning
.
P
robably the wrong way
to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean ups
.
Comments
.
Rename sli
s
t
_stack to name
d
_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Ha
h
a
.
I still suc
k
at
p
o
inters
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
C
l
eanups
.
Comments
.
Remove debugging code from filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Clean up
.
Also preserve th
e
->pools in one pa
t
h of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
C
l
e
a
n
up ge
t
_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Remove __overwrite_cur_slist
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Ca
r
penter
T
here
w
as debu
g
gi
n
g outpu
t
that accidentally got committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Remove
a
state fro
m
i
t's ->pool
s
whe
n
s
e
t_state() i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
r
pen
t
e
r
D
o
n
't
d
elete
the ->po
o
ls on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Tr
y
un
d
erstand the implica
t
ions
from compound cond
i
t
ion
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Create a
state
&
merged
.
When we m
e
rge stuf
f
it is
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpent
e
r
Ok
.
This time smatc
h
_implied _
r
eally_ d
o
e
s someth
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nte
r
Ignore csco
p
e
files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpe
n
ter
Small cleanups
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Ca
r
p
e
nter
Whitespace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some m
o
re loc
k
ing
f
u
n
ctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
F
i
x implied poo
l
s so that at least it d
o
es something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seemed like
t
racker_lis
t
would be u
s
eful i
n
a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
Add
a
R
EADME des
c
ribing sma
t
c
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add script
to find NU
L
L derefe
r
ences
b
etw
e
en f
u
nctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpe
n
ter
F
i
x
u
sage m
e
ssage
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Car
p
e
nter
Check for mall
o
c
(
)
a
s well as k
m
al
l
oc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
a
r
pent
e
r
Fix s
e
gfault when handl
i
ng implic
i
t
ly declared functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Warn when
we don't acquire locks when
c
alling ce
r
tain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carp
e
nter
Try (and
f
ail) to
f
ind memory le
a
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Carp
e
nter
Almost print
a
m
e
ssage when yo
u
c
ome to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
r
p
enter
Add check to
lo
o
k f
o
r
double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Carpenter
Add checking for
lo
c
k
_kernel()/unlo
c
k_
k
ernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carp
e
nter
M
a
ke check_locking c
h
eck bot
h
spi
n
l
o
cks and
semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a ne
w
function slist_has_st
a
te()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
ter
I
f there is an i++ then the
v
alue
of 'i' is
un
d
e
f
in
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new check_locking script that checks spinl
o
c
ks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
Save the possi
b
le states inste
a
d
o
f jus
t
merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ignore
e
m
a
cs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n
Ca
r
pente
r
Merge branch 'master' int
o
pools
5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpe
n
ter
Fix likely() and u
n
likely
(
) handl
i
ng
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan
Ca
r
penter
Add s
i
ng
l
e quotes aroun
d
the variable
for cons
i
s
ten
c
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We co
u
ld save some mem
o
ry by not allo
c
ating
n
ew memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
p
ente
r
Ad
d
a c
o
mmen
t
sho
w
ing whe
r
e the tests
a
re supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
enter
Th
i
s
is left over from October as
p
art of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
Add get_possible_
s
tat
e
s()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpente
r
Stuff left over from
October
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carp
e
nte
r
We could
save some memory by not allo
c
ating new
m
emory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Car
p
enter
Fix m
e
m
o
r
y
leak
.
Add
m
ore c
o
mments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
A
dd
a
me
r
ge hook
.
Handle the si
t
uations
l
ike:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
str
c
mp() does
n
'
t
accept NULL ar
g
um
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
r
ename two functio
n
s: get
_
vari
a
ble_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
get_
v
ariable_
f
ro
m
_expr() uses a static buffer and
you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpenter
C
reat
e
a
che
c
k
_template
.
c example script that l
o
oks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get_all_sta
t
es() n
o
t segfault every t
i
me
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
Fix
g
et_value() to return 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
e
r
into get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpent
e
r
Fix ge
t
_
all_states()
to ma
t
ch the
f
unction defi
n
iti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
R
e
move a
d
d_state() and sta
t
e_defined() defi
n
itions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
F
ix leak
.
My
pr
o
blem
i
s
tha
t
I don't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpe
n
ter
Initial
c
om
m
it o
f
the "
i
mplied state pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carpenter
Do
h
.
W
e hav
e
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
Da
n
Carpenter
Ge
t
ri
d
of path_his
t
o
r
y
.
It's never
going to b
e
used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n
Carp
e
n
ter
Make goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed up
m
erge_slist
now that t
h
e slists are orde
r
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
an Ca
r
penter
Insert st
u
ff onto l
i
st
s
in a sorted
o
r
der
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpe
n
ter
D
e
lete an unused function merge_state_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carp
e
nte
r
fix: if (*foo)
{ (*foo)-
>
bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Ca
r
p
e
nte
r
kmalloc() and
f
riend
s
don
'
t al
w
ays
return a no
n
-n
u
ll
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan
Car
p
enter
The
checks from here got merged i
n
to
c
heck_n
u
ll_de
r
e
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Car
p
enter
Move the stuff f
r
om c
h
eck
_
derefed_params
.
c into check_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
C
a
rpente
r
F
i
x
bug in or
_
sli
s
t_stack()
.
if (a && b)
w
asn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Car
p
enter
Add
a hoo
k
at the
e
nd o
f
a
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpen
t
er
Fo
r
g
ot another
s
t
r
ip_expr()
c
a
l
l
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpenter
H
a
ndle as
s
i
gnmeent
s
inside
c
onditio
n
s better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Only
pri
n
t som
e
th
i
ng for a->foo and not
a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
I
gnore arr
a
y d
e
claration
s
.
Those can't be NULL obvio
u
s
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
D
an C
a
rpenter
Ma
k
e cur_slist s
t
atic
.
I
t
'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 chang
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carpent
e
r
Use merge_slist() instead of tryi
n
g
to
hand
l
e
it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carpente
r
__
p
rocess_continues()
i
s supposed
to
b
e
basically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New sm
a
tch_
i
gnore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(
f
oo) =
1
is the
s
ame as
foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arpent
e
r
Genera
l
iz
e
s
tip_c
a
sts()
.
It's
now called strip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
nter
Ignore casts
.
foo((int *)&
b
ar) is the
s
ame
as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
rpent
e
r
C
r
eated
s
how_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next