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
Rewrite completely with new goal.
2009-02-18
Dan
C
arp
e
nt
e
r
Rewrite
c
omplete
l
y wit
h
new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add some functions to handle tracker
li
s
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't segfa
u
lt
a
l
l
the time when ch
e
cking fo
r
ever
l
oops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
T
es
t
to see if
w
e
are catching
cross func
t
ion derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use th
e
->possible s
t
ates a
n
d remove the
m
erge_hoo
k
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Ca
r
penter
"whi
l
e ((1)) {" is a forever loop
.
Call
strip_expr(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
fixes to the
-> possible
s
etting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
a
r
p
e
nter
Merge branch '
m
aster
'
i
nto null_deref
commit
|
commitdiff
|
tree
2009-02-17
Da
n
Carpenter
Add vali
d
ation script f
o
r
c
heck
_
null_dere
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Da
n
Carpenter
Clean up
.
new->possible i
s
a
l
ways nul
l
h
e
r
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
ent
e
r
Oops
.
-
>pos
s
i
b
les w
a
sn'
t
getting set
c
orr
e
ctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
p
enter
U
s
e strip
_
expr() in
split
_
c
o
nd
i
tion
s
() instead reprodu
c
ing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
enter
Add
some more op
e
r
ations t
o
get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Retu
r
n
&
m
er
g
e
d
ins
t
ea
d
of &und
e
fined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
m
a
ke ge
t
_value() return
a
v
alue for bitwise
or expression
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
T
ry
aga
i
n removing states from p
o
ols
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n
Carpenter
R
e
vert "Rem
o
ve a st
a
te from it's ->pools when set_sta
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
n
ter
Elim
i
nate
a
warning
.
P
r
o
bably th
e
wrong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean ups
.
Co
m
ments
.
R
e
name slist_
s
tack to named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I
still
s
uck
a
t pointe
r
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cle
a
n
u
ps
.
Comments
.
R
emove debu
g
gi
n
g code from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Cle
a
n up
.
Also pre
s
erv
e
the ->po
o
ls in o
n
e path
o
f
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpen
t
er
Clean u
p
ge
t
_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Re
m
ove __overwrite_cur_s
l
ist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
There
was de
b
u
g
ging
o
u
tput that
accidentally
got co
m
m
i
tted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Remove a state from it's
-
>pools whe
n
set_
s
tate()
i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
D
o
n't d
e
lete th
e
-
>pool
s
o
n merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpent
e
r
T
ry
understand the implication
s
from compoun
d
c
o
nditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Cr
e
ate a sta
t
e &m
e
rged
.
Whe
n
we me
r
ge stu
f
f i
t
i
s
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Ok
.
This time smatch_
i
mplied _
r
eally_ does some
t
hing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ignore cs
c
op
e
files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Car
p
enter
Small cleanu
p
s
.
(White s
p
ace)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Whites
p
ace chan
g
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an C
a
r
penter
A
d
d
some more locking func
t
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
Fix implied pools
so tha
t
at least it
d
o
es something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
It seem
e
d
like trac
k
er_list would be use
f
ul
i
n a
l
ot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
Add a README d
e
scribing sm
a
t
ch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add script
to find NUL
L
derefere
n
ces
b
e
t
ween functio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpenter
Fix usage
m
essa
g
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Car
p
enter
Ch
e
ck fo
r
m
a
lloc() as well as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
F
ix segfa
u
lt when
handling implicitly declared function
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Warn when w
e
d
o
n
't a
c
quire locks w
h
en
c
alling certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpe
n
ter
Try (and fail) to find memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
pe
n
ter
Alm
o
st print a
message
w
hen
y
ou co
m
e t
o
u
n
rea
c
hable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
ar
p
enter
Add check
to look
f
or do
u
ble f
r
ees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add checki
n
g
for lock
_
kerne
l
()/unlock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
M
ake ch
e
ck_lockin
g
c
heck both spinlocks
a
nd s
e
m
a
phores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nter
Add a new function s
l
is
t
_has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
p
e
nt
e
r
If there is an i++ then the
v
a
lue of 'i
'
is
und
e
fined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carpenter
Add a ne
w
check_lo
c
kin
g
script that che
c
ks spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save the
p
o
ssible states instead of just mer
g
ing them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ign
o
r
e
emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carpenter
Merge branch 'maste
r
' into pools5
commit
|
commitdiff
|
tree
2008-12-21
D
an C
a
rpenter
Add a comme
n
t showing wh
e
r
e
t
he
t
ests
a
re sup
p
osed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is left over fro
m
October as
part of
t
he
implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
ente
r
A
d
d
get_poss
i
ble_stat
e
s()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff left over from October
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Da
n
Carpenter
We could s
a
ve
s
ome memory by not
allocating new
m
emory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
D
an C
a
rpenter
Fix memory
leak
.
A
dd
m
o
re com
m
ents
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpe
n
ter
Add
a merge hook
.
Handle the s
i
tua
t
ions like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
s
trcmp() do
e
sn't accep
t
N
U
LL argu
m
e
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
rename two f
u
n
ct
i
ons: get_v
a
r
ia
b
le_
f
rom_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get
_
variable_
f
r
om_expr(
)
u
ses a
s
tat
i
c buffer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
Create a check_t
e
mp
l
a
t
e
.
c example script that
looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpe
n
t
e
r
Make get_
a
ll_st
a
tes()
n
ot
s
e
gfault
e
very
time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpente
r
F
ix get
_
value
(
) to r
e
turn negativ
e
values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
e
r
We only ever pass
one parameter int
o
get_value
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
C
arpenter
Fix
g
et_all_s
t
ates
(
) to match the function
definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
e
r
Re
m
ove add_state() a
n
d
s
tate_de
f
ined()
d
efin
i
t
i
ons
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
an Carpenter
Clea
n
up
.
Fix leak
.
M
y proble
m
is that I
d
on'
t
und
e
rstand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Initial commit
o
f
the "impl
i
ed sta
t
e poo
l
s" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carpe
n
te
r
Doh
.
We
haven't been
u
sing
smatch_
e
xtra for a whi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
G
e
t rid of path_hi
s
tory
.
I
t's
n
ever
going to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
p
ent
e
r
M
a
ke goto_
s
t
a
ck st
a
t
i
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
r
p
enter
Speed
u
p me
r
ge_s
l
ist now
t
h
at th
e
slists are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carp
e
nter
Inser
t
s
t
u
ff onto li
s
t
s
in a s
o
r
t
ed order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpente
r
Delete an unused func
t
i
o
n merge_state_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpent
e
r
fix
:
if
(
*fo
o
) { (
*
fo
o
)->bar;
}
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpen
t
er
kmal
l
o
c
()
a
nd
friends don't always
return a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpent
e
r
The che
c
ks from her
e
got merged into
c
he
c
k_null_
d
eref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
M
o
v
e
t
he st
u
ff from check_derefed_params
.
c into check_nul
l
_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fi
x
bug in or
_
slist_stack()
.
if (a &&
b
)
wasn't bei
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add a hook a
t
th
e
e
n
d of
a
file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carp
e
nter
Fo
r
got another strip_expr
(
) cal
l
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carp
e
nter
Handle ass
i
gnmeents in
s
ide conditions bett
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpent
e
r
O
n
ly
p
rint someth
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 array declarations
.
Those
can't b
e
NULL obvious
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make
c
ur_slis
t
static
.
It's only us
e
d
in smatc
h
_stat
e
s
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carpenter
White
s
pa
c
e ch
a
nges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carpenter
Use merge_
s
li
s
t() i
n
stead of trying
to hand
l
e it you
r
self
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carpent
e
r
_
_pr
o
cess_con
t
i
nues
(
) is
supposed to
b
e basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carp
e
nter
New sm
a
tch_ignor
e
.
c f
i
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(foo) = 1 is the same as foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arpenter
Generalize stip_
c
asts()
.
It's
now called strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carp
e
n
te
r
Ignore casts
.
foo((int *
)
&
bar) is
the
s
a
me
as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
an Carpenter
Crea
t
ed show_sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpenter
Ignore s
t
u
f
f li
k
e foo
.
ba
r
.
We only car
e
about f
o
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpenter
What happ
e
ns bef
o
re is t
h
at parameters would get assig
n
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Car
p
ente
r
Missed a
crashing bug in the
i
nt =
>
s
truct conve
r
sion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Carp
e
nter
I can't beli
e
ve I was
doing
stacks
wrong this
whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next