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
Assignment always sets &isfreed to something else like &unfreed.
2009-02-19
Da
n
Carpenter
As
s
ignment al
w
ays sets &isfreed to s
o
mething else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
D
o
n't print cross_func errors if the called f
u
nction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Remove ca
l
l to allo
c
_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpent
e
r
Call
t
he merge_
h
o
ok()
inste
a
d of setting t
h
e
sta
t
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
p
en
t
er
Oops
.
Mea
n
t to c
o
m
m
it
t
h
i
s
e
arlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add
the merge
_
h
ook() back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Clear the retur
n
s li
s
ts at the end of eac
h
function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Mo
v
e the impl
i
cations ch
e
cking to after
t
he
scri
p
ts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Car
p
enter
Rew
r
ite co
m
ple
t
el
y
with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpe
n
ter
Add s
o
me func
t
i
o
ns
to handle tracker list
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't segfault a
l
l the time whe
n
checking forever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Test to see if we are
catch
i
ng cro
s
s
f
un
c
tion derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use
t
h
e -
>
possibl
e
states
an
d
r
e
m
ove the merge_ho
o
k()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
"wh
i
le ((1))
{
"
is a f
o
r
ever loop
.
Cal
l
strip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
fixes t
o
the -> pos
s
ibl
e
setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
D
an Carpenter
Merge branch
'
m
aster' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add validation script for check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Da
n
Carpen
t
er
Cl
e
an up
.
new
-
>p
o
ssible is always null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpe
n
ter
Oops
.
->
p
ossibles wasn't getting
s
e
t
correc
t
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
e
nter
Use strip_expr() in split_
c
ond
i
ti
o
ns() inst
e
ad
reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rpenter
Add some more
operati
o
n
s
to get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return &merg
e
d instead of
&undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpenter
make get_va
l
ue() retu
r
n a
value f
o
r bitwis
e
o
r
e
xpre
s
sions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try ag
a
i
n
removing state
s
from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Re
v
e
r
t
"Re
m
ove a st
a
te f
r
om
it's ->po
o
ls when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Eliminate a war
n
ing
.
Probably the wrong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpen
t
er
Cl
e
an ups
.
Comme
n
ts
.
Re
n
ame sli
s
t
_stack
to named_stac
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
arpenter
Ha h
a
.
I
s
till
s
uck
at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
n
ter
Cleanu
p
s
.
Com
m
ents
.
Remov
e
debuggi
n
g
c
o
de from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Clean up
.
Also pr
e
se
r
ve 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
e
n
ter
Clean up
get_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carp
e
n
t
er
R
emo
v
e _
_
overwrite
_
cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpent
e
r
There was debugging
output that
a
ccidental
l
y got
c
ommitted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
rpenter
Remove a state from it's ->p
o
o
l
s wh
e
n set_s
t
ate() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpe
n
ter
Don't del
e
te the ->pools
on
m
e
r
ging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try un
d
erstand the implicati
o
ns fro
m
c
ompound c
o
nditi
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpent
e
r
Create a state &merged
.
When we merge s
t
uff it i
s
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Carpe
n
ter
Ok
.
T
his
t
ime smatc
h
_im
p
lied _rea
l
ly
_
does some
t
hing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpen
t
e
r
Igno
r
e
c
scop
e
files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Sm
a
l
l cleanups
.
(White sp
a
ce)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
White
s
pa
c
e
change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpente
r
A
dd
some mo
r
e locking fu
n
cti
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix im
p
lie
d
pools so tha
t
at least it
d
oes something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seemed
l
ike t
r
acker_list w
o
uld be use
f
u
l
in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Add a README
describing sma
t
ch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an
C
arpenter
Add script t
o
find NULL derefe
r
e
nces betw
e
en
f
u
n
c
t
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpenter
Fix
u
s
age message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an
Carpen
t
er
C
heck for malloc() as
well as kmallo
c
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix
s
e
g
fault when handling
i
mplicitly
de
c
l
a
red functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Car
p
enter
Warn when we don
'
t acquire lo
c
ks when calling
c
ertain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
an Carpent
e
r
Try (a
n
d fail)
t
o fin
d
memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n
Car
p
enter
A
l
m
ost pri
n
t
a message when
y
ou
come to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpen
t
er
Add check to look
f
o
r d
o
ub
l
e frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpe
n
ter
Add c
h
eck
i
n
g for lock
_
kernel()/unlock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
Make check_lock
i
ng check both spinloc
k
s and semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add
a new function sli
s
t_has_st
a
te()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
If the
r
e
i
s an i++ then the value of 'i' is
undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpe
n
te
r
Add a new check_lockin
g
script th
a
t chec
k
s
spinloc
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
Save the
p
ossible sta
t
e
s
instead of just mergin
g
them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpen
t
er
Ignore emacs
g
arbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carpenter
Merge branch 'master
'
into pools5
commit
|
commitdiff
|
tree
2009-01-16
D
a
n Carp
e
n
t
er
We
could save so
m
e
memory
by not allocating new
memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpenter
Add a comm
e
nt showing where the tes
t
s are s
u
pposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
C
a
rpenter
Thi
s
is
left over from Octob
e
r as par
t
of the
implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add
g
e
t
_possible_states
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
St
u
ff left
o
ver from October
.
Impli
e
d
pools wo
r
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We co
u
ld sa
v
e some me
m
ory
b
y
not
allocating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpent
e
r
F
ix memory le
a
k
.
Add
mo
r
e
com
m
ents
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpen
t
er
Add a merge h
o
ok
.
Handle the situations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
s
trcmp() doesn't a
c
cept NULL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
en
t
e
r
rename two func
t
ions:
get_v
a
riable_
f
rom_expr_s
i
m
p
le
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpen
t
e
r
get_variable_from_ex
p
r() uses a static
buffer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
Create a check_
t
emplate
.
c
exa
m
ple sc
r
ip
t
t
h
a
t
l
oo
k
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpenter
Make get_al
l
_sta
t
es()
n
o
t segfault e
v
er
y
ti
m
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fi
x
get_val
u
e() t
o
return
negative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpen
t
er
We only
ever
p
ass one parameter i
n
t
o
get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
Fix
g
e
t_al
l
_states() t
o
matc
h
the functio
n
definitio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
pent
e
r
R
emove a
d
d_state()
a
nd st
a
te_defined() defini
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpent
e
r
Clean
u
p
.
Fix leak
.
M
y pro
b
lem is that I do
n
't underst
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carpenter
Initial co
m
m
it of th
e
"implied s
t
ate pools"
stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
a
rpe
n
ter
D
o
h
.
W
e
h
a
v
e
n't b
e
e
n using smatch_extra for
a
while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
er
G
e
t rid of path_
h
istory
.
It's
n
ev
e
r go
i
ng t
o
be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpen
t
er
Make goto
_
stack
s
t
a
tic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Spe
e
d up merge
_
s
l
i
st now
t
hat
t
he slists are order
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arp
e
nter
I
nsert
st
u
ff ont
o
l
i
sts in a sorte
d
o
r
der
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
an C
a
rpenter
Del
e
te an unus
e
d function merge_state_sta
c
k
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan C
a
rpenter
fi
x
: if
(
*foo) {
(
*foo)->bar;
}
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan C
a
rpen
t
er
kmalloc() and
f
riends don't always return a
n
on-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpe
n
ter
The ch
e
cks from her
e
got merged into check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan C
a
rpenter
Move the
stuff f
r
om check_derefed_par
a
ms
.
c int
o
check_null_
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
C
a
rpen
t
er
Fix bug in or_slist_stac
k
()
.
if (
a
&& b) wa
s
n't
being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add
a hook at the end of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Ca
r
penter
Forgo
t
another s
t
rip_expr()
c
all
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
r
p
enter
Hand
l
e as
s
ignmeents in
s
ide conditio
n
s
better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Only pr
i
n
t
s
omething f
o
r a->foo and no
t
a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
I
g
nore arra
y
declarations
.
T
h
ose
can't
b
e NULL obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Car
p
e
nt
e
r
Mak
e
cur_s
l
ist stati
c
.
It's
o
nly used i
n
smatc
h
_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carp
e
n
ter
Whi
t
e space changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
an C
a
rpenter
Use m
e
rge_slist
(
) inst
e
ad
o
f tr
y
ing to handle it
yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
an
C
arpenter
__
p
rocess_c
o
ntinues() is
s
upp
o
s
ed to b
e
basically th
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next