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
Create a state &merged. When we merge stuff it isn't the same as being
2009-02-11
Dan Carp
e
nter
Create a state &merged
.
When we merge stu
f
f it is
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Ok
.
This time smatch_implied _re
a
lly_ does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ig
n
ore
cs
c
ope fi
l
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Small cleanups
.
(W
h
ite space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
r
p
ente
r
Whites
p
a
c
e ch
a
nge
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Add some
m
o
r
e
l
oc
k
i
ng functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
F
i
x implied pools so that
at
le
a
s
t
it
d
o
es something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
It seemed
l
ike trac
k
e
r_li
s
t
wo
u
l
d
b
e useful in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Add a README describing smatc
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpenter
Add scr
i
pt t
o
find NULL de
r
e
ferences between
f
unctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
Fix usage mes
s
age
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
C
h
eck
f
or malloc()
a
s
w
ell as kmalloc
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
e
n
ter
Fix segfa
u
lt
w
hen ha
n
dlin
g
impl
i
citly declared
f
unct
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Warn when we don't acquire l
o
cks when calling
c
ertain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
C
arp
e
n
t
er
Tr
y
(a
n
d fail) to fin
d
m
e
mory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
C
a
rpenter
A
l
most p
r
int
a messag
e
when you c
o
me
t
o
u
nreac
h
able
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpente
r
A
dd check to look for double
f
rees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add checking for
l
oc
k
_kerne
l
()
/
unlock_kern
e
l
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
Make
check_locking c
h
eck both spinlocks and
s
emaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
Add a new fun
c
tion slist
_
h
a
s
_
s
t
at
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
If t
h
ere is an i++
t
hen
t
he val
u
e of 'i'
i
s
u
n
defined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new check_
l
oc
k
i
ng
s
cript that
c
h
ecks spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Car
p
ent
e
r
Save
t
he
p
ossible states
ins
t
ead of
j
ust merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Car
p
enter
I
g
no
r
e emacs
gar
b
age
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
a
rpenter
M
erge branch
'
m
aster' into pools5
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a c
o
mm
e
nt show
i
ng w
h
ere t
h
e te
s
ts
a
re supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Thi
s
i
s
left ove
r
from Octobe
r
a
s
part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
Ad
d
get_possible_
s
ta
t
es()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpente
r
Stuff left o
v
e
r
f
rom Oc
t
ober
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
C
arp
e
nter
We c
o
uld save some m
e
mory b
y
not
a
l
l
o
cating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan
C
arpente
r
Fi
x
m
emory leak
.
Add mor
e
comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a merge
h
oo
k
.
Handle t
h
e
situatio
n
s like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rp
e
n
ter
s
t
rcmp(
)
doesn't ac
c
e
p
t NU
L
L argum
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
ren
a
me two f
u
n
c
tions: get_v
a
riable_from
_
e
x
pr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n C
a
rpen
t
er
get
_
variable_
f
r
o
m_
e
xpr() uses a static buffer and
y
ou
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
ent
e
r
Create
a
check_template
.
c example
scr
i
p
t
that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get
_
a
l
l_
s
tates()
n
ot segfault eve
r
y time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_value() to
r
eturn negative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpente
r
We only ever pass
o
n
e p
a
rame
t
er
into
get_value
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
F
i
x g
e
t_all_states() to
match t
h
e
fu
n
ctio
n
definiti
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rp
e
n
t
e
r
R
e
move
add_state(
)
and s
t
ate_de
f
i
ned
(
)
definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
e
nter
Clean up
.
Fi
x
leak
.
My probl
e
m i
s
that I don't und
e
rst
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rpenter
In
i
tial commit of
the "im
p
lie
d
state pools
"
stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
D
oh
.
We hav
e
n
'
t been using smat
c
h_ext
r
a for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpent
e
r
Get rid of path_
h
istory
.
I
t
's never goin
g
to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
M
ake goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpenter
S
p
eed
u
p
merge_sli
s
t now that
t
he slists are
o
rdered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Insert stu
f
f onto lists in a sorted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpente
r
Delet
e
an unuse
d
function merge_stat
e
_sta
c
k()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan
C
arpent
e
r
fix: i
f
(*
f
oo
)
{
(*foo
)
-
>bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmalloc() and fr
i
e
nds don't alway
s
return a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
T
he
c
h
e
cks from here got
m
erged i
n
to c
h
ec
k
_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpen
t
er
Move the stuff from ch
e
ck_derefed_param
s
.
c into check_n
u
ll_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) wasn't
b
eing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan C
a
rpente
r
Add a hoo
k
at the
e
nd of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpent
e
r
F
o
rgot anothe
r
strip_expr() call
.
.
.
:
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpenter
Hand
l
e assignmeents inside conditions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Car
p
en
t
e
r
Only print
s
omething for a->foo and
not a
.
f
oo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpen
t
er
Igno
r
e array declarati
o
ns
.
Th
o
se can't be NULL
o
bviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan
C
a
rpenter
Make cur_sli
s
t
s
tatic
.
It's only
us
e
d
i
n
smatch
_
st
a
t
es
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
a
r
pent
e
r
Whit
e
spa
c
e c
h
anges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
an
C
ar
p
enter
Use merge_slist()
instead
o
f try
i
ng to handl
e
it
y
o
u
rself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__
p
ro
c
es
s
_
co
n
tinues() is supposed to be basic
a
lly the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arpenter
New smat
c
h_ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Car
p
en
t
er
(
f
oo) = 1 is the same
as foo
= 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arpente
r
G
e
n
eralize stip
_
casts()
.
It's no
w
call
e
d strip_
e
x
pr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
pe
n
te
r
Ig
n
ore casts
.
foo((int *)&bar)
is t
h
e same as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Ca
r
pen
t
er
C
r
eated
s
how_s
t
ate
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
an Carpenter
Ignore stu
f
f l
i
k
e
foo
.
b
ar
.
We
o
n
l
y
c
are about
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpe
n
ter
What
h
appens before is th
a
t parameter
s
would get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpenter
Missed a cras
h
i
ng
b
ug in
the
i
nt => st
r
uct conversion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
an Carpen
t
er
I ca
n
't
b
el
i
eve I
wa
s
d
o
ing
stacks wron
g
this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
C
h
anged smatc
h
state from
being an int t
o
being
p
ointe
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
C
arpenter
I want to reus
e
the name
s
m
a
tch_state
.
The current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpenter
R
edo the null
path th
i
ng
.
S
o
l
ong as there is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clea
n
up
.
Co
m
plica
t
ed is just a boolean
.
Set it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpen
t
e
r
Me
r
ge br
a
nch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan
Carpenter
Sav
e
the p
r
e conditions
i
nside the cond
i
tion
s
so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
The main
c
h
a
nge here w
a
s to complete
l
y rewrite how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpente
r
B
reak things out into funct
i
ons a bit
.
Clea
n
u
ps
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
D
a
n
Car
p
enter
H
a
ndle w
h
ile a
n
d for loops sli
g
htly
better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpe
n
ter
I removed nulli
f
y_
p
ath()
earlier b
u
t that
w
a
s
a mis
t
ake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
I
don't t
h
i
n
k t
h
e special
_
kern
e
l_macros
(
) f
u
n
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
A
dd a function to do
a
strcmp() with
a symbol name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpent
e
r
Rem
o
v
e everything to do with path
_
id's
.
I couldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
Replace the
variable _
_
n
e
gate with the function __neg
a
te()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Small c
l
ean
u
p
.
Move
the passing
t
he
whole condition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpente
r
Crap
.
I meant t
o
mer
g
e
th
i
s earl
i
er when I divided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
e
r
Add a comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Mov
e
d al
l
t
h
e logic for handl
i
ng c
o
nditions into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Oops
.
I
guess I deleted the wron
g
list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Don't pass t
h
e
contents of s
i
z
eof() to the client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpe
n
ter
Imp
r
o
v
e
how the debu
g
info for merging states g
e
t
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpe
n
ter
T
h
e
m
ain thing is to handl
e
zero comparisons better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Remove un
n
ee
d
ed
c
o
d
e
.
This stuff is hand
l
ed in sma
t
ch_flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
We need to
b
e able to break
d
o
wn (foo != 0) for
B
U
G_
O
N
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n Carpenter
Ide
n
tify for(;
;
) t
y
p
e
loops as forever loop
s
.
Thi
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpen
t
er
Ad
d
support for BU
G
_ON()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
What I'v
e
seen is stu
f
f like
t
hi
s
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
Anything th
a
t we do
n
't handle
is obviousl
y
complicated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next