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
handle known conditions better
2009-03-17
D
an Carpenter
handle know
n
con
d
itions
better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Ca
r
pent
e
r
c
heck_mem
o
ry:
add rudimentary
vali
d
a
tion test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
arpe
n
ter
new
s
cript to p
r
int a list o
f
function
s
which fre
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
an Carp
e
n
ter
c
heck_memory:
make argu
m
ents s
t
atic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Ca
r
pent
e
r
t
emplate:
f
ix
memory lea
k
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
temp
l
ate: re
m
o
v
e
u
n
u
sed header
,
up
d
a
t
e comment
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carp
e
nter
check
_
locking: add mutexes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n
C
a
rpe
n
ter
ch
e
ck_memory: add kzallo
c
(),
m
o
re complex va
r
ia
b
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan
Car
p
ente
r
implied:
handle &undefined better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
info:
l
oop co
u
ld be
r
e
p
laced with if statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan
Carpen
t
er
kchecke
r
:
add
"-
-
s
pa
r
se" opti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
smatc
h
_i
m
p
lied
/
slist: move functions
from slist to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
D
an Carpenter
chec
k
_memory: use
complex varia
b
les instead of regular
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
check
_
memory:
assume parents assi
g
ned on al
l
paths
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpente
r
chec
k
_
m
emory: More changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Da
n
C
arp
e
nter
a
s
signments c
a
n add a pare
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpen
t
er
Handle
init
i
alization
i
n the declarat
i
o
ns;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carp
e
nter
Cut
d
own on
f
alse positi
v
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
Parse t
h
e return statement before ca
l
ling th
e
re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Da
n
Carpen
t
e
r
Fix crashing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Da
n
Carpenter
Re
m
ove some fal
s
e
p
ositiv
e
s
and ena
b
le the check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpen
t
er
D
e
mote ar
g
ume
n
t null
d
e
refs to
cros
s
func null derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carp
e
nte
r
Label the output: err
o
r,
w
arn
,
or
i
nfo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Ca
r
penter
Add a
h
ack to handl
e
the k
e
rnel's redef
i
ned if
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carp
e
nter
Handle more comparisons tha
n
jus
t
(foo == 0) and (
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carp
e
nter
check_l
o
cking: a
mer
g
e with
NULL is a merge with the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Car
p
enter
R
emove
unneeded code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Da
n
Ca
r
pe
n
ter
Add line number back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpe
n
ter
U
s
e the
most recent implica
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan C
a
rpenter
Add
o
ption --as
s
ume-loo
p
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add an option --no-implie
d
to tur
n
of implications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-07
Dan Carpente
r
i
mplied pools: cl
e
anup how implied
p
ool
s
a
r
e
c
reated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
D
a
n Carp
e
nte
r
check_
m
emory
:
separate out a malloced st
a
te
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpen
t
er
All
a
long I was adding the pools t
o
the wrong
place
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan
Carpe
n
ter
Clean up
.
Mo
v
e
a
couple ifdef
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
D
an Carpenter
Add a san
i
ty check that ->possible has a -
>
my
_
pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpente
r
Cl
e
an up
.
Freei
n
g the sm_sta
t
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpen
t
er
Oring the sli
s
t
s see
m
s l
i
k
e
m
erge_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Add a --
d
ebug-
i
mplied option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
check_memory: Fix segfa
u
lt
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan C
a
rpen
t
er
kchecker: helper script to i
n
vo
k
e smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan
Car
p
ente
r
c
heck_memor
y
: new code
.
not use
d
yet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan
Carpent
e
r
F
i
x bug in compound
c
ondi
t
ions and add validation
t
es
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan C
a
rpe
n
ter
ch
e
ck_locking: handl
e
functions
with no return statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix s
o
security_fixup_op
s
() doesn't tr
i
gger the
O
O
M
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix 'or'ing s
t
a
te
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan C
a
rpente
r
F
i
x
NULL
deref
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n C
a
rpen
t
er
For some reason smatch
can't
f
i
nd these header
f
iles
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n Carpenter
Fix
s
tri
n
g mem
o
ry leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Remove un
n
eeded
a
lloca
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
R
e
move outdated
c
omm
e
nt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Don't __free
_
s
m_state
(
) until end
of
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
penter
free_slis
t
() after callin
g
get_all_sta
t
es()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
enter
d
o
n
't reallocate th
e
->possib
l
e
state
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Car
p
enter
Get rid
o
f unus
e
d line hi
s
tory code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpent
e
r
Fix so
m
e memory leaks
i
n
__implied_states_ho
o
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpe
n
ter
Add free_t
r
ackers_an
d
_list
(
) and free_tra
c
k
er_list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
enter
Add new free
_
stack() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an C
a
rpe
n
ter
renam
e
del_sli
s
t
_stack() to free_stack
_
and_slist
s
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpe
n
ter
r
e
n
a
me del_
s
list() -> fre
e
_slis
t
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpe
n
ter
Free all
t
he sm_st
a
te
s
at the
e
nd of e
a
ch fu
n
cti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpent
e
r
Add ->possible to _
_
print_s
l
i
s
t()
o
u
tput
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
S
a
ve all
t
h
e poo
l
s a sta
t
e goe
s
t
h
roug
h
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Add and
fix smatch implied tests
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpen
t
er
Preserve t
h
e ->pools a
n
d ->possible for im
p
lie
d
states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpe
n
ter
Fi
x
han
d
li
n
g m
u
tu
a
l
ly exclusive states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpen
t
er
Ge
t
r
i
d
of redundant harmo
n
ize_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpente
r
Add
f
unction __set_true_false_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Ca
r
p
enter
Only s
a
ve an impl
i
e
d
l
i
st if a
state h
a
s
been modified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpe
n
ter
O
n
l
y
implied sta
t
es that aren't a
l
ready tru
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
T
ake a parameter ins
t
e
ad of a
s
s
umi
n
g
the output
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
an
Ca
r
penter
Don't check t
h
at there are both t
r
ue and false
s
tate
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
an Carpenter
This
c
heck_order(
)
see
m
s superfluous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpen
t
er
New func
t
ion
h
a
r
monize_stat
e
s()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n Carpenter
ca
l
l
__sp
l
it_exp
r
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
remove
unneede
d
calls t
o
__use
_
cond_
t
rue_state
s
(
);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpen
t
er
Don't set
t
h
e
impli
e
d state
t
o &merged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n
Carpenter
Make cmp_trac
k
er() accessible to outside
f
iles
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpe
n
ter
All the states are imp
l
ied not
just
u
n
iqu
e
o
nes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpent
e
r
Improve lock
c
heck output
.
Ad
d
more vali
d
ation samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpen
t
er
Add s
u
ppo
r
t for down_interruptible() and fr
i
en
d
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpent
e
r
Fix the
U
n
clear lockin
g
t
h
ing
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
r
p
ent
e
r
Warn o
n
double lock/unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Print fewer Unclea
r
locking messages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carpenter
if ((1)) {
.
.
.
is a known
_
co
n
diti
o
n_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add suppo
r
t f
o
r t
h
ose funny g
c
c ({
.
.
.
}) block s
t
a
tement
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Handl
e
declara
t
ions inside switch state
m
en
t
blo
c
ks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
C
leanup is_zero(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Add known_condition_fals
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpente
r
Fix hand
l
ing of c
o
nti
n
ue i
n
side do while statemen
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
a
rpenter
Don't set let people s
e
t st
a
tes f
o
r
unr
e
achable code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpen
t
e
r
Small c
l
eanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
H
andle the
i
t
e
r
a
tors
c
o
r
rectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add sup
p
ort
f
o
r
"if (a?b:c) {
.
.
.
" ternary condition
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
arpe
n
t
e
r
Add
so
m
e suppo
r
t
f
o
r _
s
pin_trylock(
)
and friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carp
e
nter
if (a || b) {
a
->
f
o
o
;
should pr
i
n
t
a
n
error
.
A
lso
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpen
t
er
Thi
s
prints ou
t
error messa
g
es all the tim
e
that ar
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Assig
n
ment alw
a
y
s sets &i
s
fr
e
ed to somet
h
ing else like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Don't
p
rint cross_
f
unc errors if t
h
e cal
l
ed function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpent
e
r
Remov
e
cal
l
t
o
a
lloc_sta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next