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
Clear the returns lists at the end of each function.
2009-02-18
Dan Carpenter
Clear the
r
e
t
urns lists
a
t the end of each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
n
ter
Move the i
m
plications
che
c
king to
a
fter the scr
i
pts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Rewrite co
m
ple
t
ely with new
g
oal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Add some
f
u
n
c
tions to handl
e
trac
k
er l
i
sts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Don'
t
se
g
fault al
l
the
t
ime when c
h
ecking forever
l
oop
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test
to see i
f
we are catc
h
in
g
cross function derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Us
e
th
e
->possible states an
d
remove the merge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arp
e
n
t
er
"while
((1)) {" is a
for
e
ver
l
oop
.
C
al
l
strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes to
t
h
e -> possible setti
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
D
an Carpe
n
ter
Merge branch 'master' int
o
n
u
ll_deref
commit
|
commitdiff
|
tree
2009-02-17
D
a
n Car
p
enter
Add validation s
c
ript for check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpente
r
C
l
ean
up
.
new->possible is
a
lw
a
ys n
u
ll here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
ar
p
ente
r
O
o
ps
.
-
>
possibles wasn't gett
i
ng set corre
c
t
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpente
r
Use strip_expr() in split
_
c
o
nditions() inste
a
d
repro
d
u
cing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
an Carpenter
Add
s
ome more operations to ge
t
_v
a
lue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
Ret
u
rn
&merge
d
inste
a
d
of &undefine
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carp
e
nter
make get_value() return a val
u
e
fo
r
b
itwi
s
e
or
e
xp
r
essions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
Try again rem
o
v
i
ng st
a
tes fr
o
m pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
R
e
vert "Remove a
s
ta
t
e fro
m
it's ->pools when set_sta
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
arpent
e
r
E
liminat
e
a
warn
i
ng
.
Pro
b
ably the w
r
on
g
way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
lean
u
p
s
.
C
o
mments
.
Rename slist_stack to n
a
med
_
stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I still
suck at
p
ointer
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Cl
e
anups
.
Com
m
ents
.
R
em
o
ve debugging code from
filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cle
a
n
u
p
.
A
lso preserve
the ->pools in one path
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Clean up get_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpen
t
e
r
Remove __o
v
erwrite_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
There w
a
s de
b
ugging ou
t
pu
t
t
hat accidental
l
y go
t
committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
R
e
m
ove a
state f
r
om it's ->
p
ools when set
_
state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
D
o
n
't
d
e
l
ete the ->p
o
ols on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try understand the impl
i
c
atio
n
s from compo
u
nd
c
onditio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Create a stat
e
&
m
e
rge
d
.
When we m
e
r
g
e stuff
i
t
i
s
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Ok
.
This time sm
a
tc
h
_i
m
plied
_
reall
y
_
does
s
omething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
I
gnore c
s
cope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Small cleanups
.
(White s
p
ac
e
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
r
pen
t
er
Whites
p
ace chang
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add so
m
e
m
ore l
o
cking funct
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Carpenter
Fix im
p
lied pools so
that
a
t least it doe
s
some
t
hing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
t
e
r
It seemed like t
r
acker_list would
b
e
useful in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
n
t
er
Add
a
README descr
i
bing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an
C
arpenter
Add scr
i
pt to fin
d
NUL
L
de
r
eferences betw
e
en
func
t
i
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an
C
arpenter
Fix
u
sag
e
m
e
ssage
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Ch
e
c
k
for m
a
l
l
o
c
() a
s
well as km
a
llo
c
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
F
i
x segfault when hand
l
ing implicitl
y
declared func
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carpenter
Warn when we d
o
n't acquire locks
whe
n
calling ce
r
t
a
in
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
a
r
penter
T
r
y
(
a
nd
f
ail) to
f
ind memory lea
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost print a message w
h
en you
c
ome
t
o
unrea
c
habl
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpente
r
Add check
to look for double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
A
d
d checking
for lock
_
ker
n
el()/unl
o
ck_kern
e
l()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
M
a
ke check_lo
c
king check
both
sp
i
nlocks and sema
p
hores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an C
a
rpenter
Add a new function s
l
ist
_
h
a
s_state(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
If there is an i++ then
the valu
e
of 'i' is undefi
n
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Ad
d
a ne
w
che
c
k_locking
script that checks spinlo
c
ks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save the
possible s
t
at
e
s instead o
f
j
u
s
t
mergi
n
g them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ignore emacs garb
a
ge
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merg
e
branch 'master' into pools
5
commit
|
commitdiff
|
tree
2009-01-20
D
an Carpenter
F
i
x likely
(
) and unlikely
(
) ha
n
dli
n
g
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
D
a
n Carpe
n
ter
Add
single quot
e
s
arou
n
d the va
r
i
ab
l
e for con
s
is
t
ency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan C
a
rpen
t
er
W
e
co
u
ld save some memory by not allocating
new
memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
an
Ca
r
penter
Add
a
comment sho
w
ing whe
r
e the
t
ests are supp
o
sed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpente
r
This is left
o
ver from October
a
s part
o
f the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
Add get_possible_
s
ta
t
es()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
S
t
u
f
f left over from
October
.
Im
p
lied po
o
ls work
.
commit
|
commitdiff
|
tree
2008-10-19
D
an Carpenter
We could s
a
ve some memory by
n
o
t
allocat
i
ng new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
D
an Carpenter
Fix memor
y
leak
.
A
d
d
mo
r
e
c
omm
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
Add a merge hook
.
Han
d
l
e
the situations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
str
c
mp() does
n
't acc
e
pt NULL arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
ren
a
me t
w
o function
s
: get_va
r
iab
l
e
_from_expr_
s
imple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
get
_
variable_from_expr() uses a static buffer and y
o
u
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
Create a chec
k
_t
e
mp
l
ate
.
c ex
a
mple
scri
p
t
that
looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpen
t
e
r
Make g
e
t
_
al
l
_states() no
t
s
e
gfault every
t
ime
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix
get_value() to r
e
t
urn n
e
gative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Ca
r
pen
t
er
We only ever pas
s
o
ne p
a
r
a
meter into get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
Fi
x
get_all_stat
e
s() to match the functio
n
definit
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
C
arpenter
Remove
a
dd_state(
)
and state_defined() definiti
o
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
e
nter
C
l
ean up
.
Fix l
e
ak
.
My
p
roblem is that I don
'
t
unders
t
and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n C
a
rpente
r
Init
i
a
l co
m
mit of the
"
implied state poo
l
s
" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpente
r
Doh
.
We hav
e
n
'
t been using s
m
atch_extra for a
w
hile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpenter
Get rid
o
f path_histor
y
.
It's neve
r
go
i
ng to b
e
u
s
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Ca
r
penter
Ma
k
e goto_stack
st
a
tic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
er
Spe
e
d up m
e
r
ge_slist now
t
hat t
h
e
slist
s
are ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Car
p
enter
In
s
er
t
s
tuff o
n
to
l
ists in a sorted or
d
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Delete an unused
function
m
erge_stat
e
_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix: if (*foo) { (*foo
)
->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
D
an
Carpenter
kmalloc()
a
nd frien
d
s don't a
l
w
a
ys retu
r
n a no
n
-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Car
p
ent
e
r
T
he chec
k
s from here
g
o
t merged into
check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Carpenter
M
o
ve the s
t
uff
from
c
heck_derefe
d
_params
.
c into che
c
k
_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
an Carpenter
Fix bug
in or_slis
t
_stack()
.
if (a && b) wa
s
n't be
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpente
r
Add a hook at the
end of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpent
e
r
Forgot anot
h
er strip_e
x
pr() ca
l
l
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
penter
Handle assignm
e
ents
i
nside conditions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpe
n
te
r
O
nly pri
n
t something for a-
>
foo and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Ca
r
penter
Ignore array decl
a
rations
.
Those can't be NULL obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
D
a
n Carpenter
Ma
k
e
cur_
s
list static
.
It
'
s
only used in smatch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpen
t
er
Whit
e
s
pace cha
n
ges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
rpente
r
Use merge_
s
list() instead of trying to handle
it
y
ourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carp
e
nter
__process_cont
i
nues()
i
s suppos
e
d to be basically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
C
a
rpenter
New s
m
atch_i
g
nore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Car
p
enter
(fo
o
)
= 1 is the same as foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpent
e
r
Generalize
s
tip_casts
(
)
.
It's
now
c
alled s
t
ri
p
_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpe
n
t
e
r
Igno
r
e cast
s
.
foo((int *)&bar) is the same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next