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
Make validation test harder.
2009-03-23
Dan Carpe
n
te
r
fi
x
orde
r
of pr
o
cess
i
ng
of
commas
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
g
e
t ri
d
of FUNCTION
_
CALL_AFTER_HOO
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
change o
r
d
e
r of condition
p
ro
c
es
s
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpent
e
r
get rid
of AS
S
I
GNME
N
T_
A
FTER_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carp
e
nt
e
r
check_
m
emory: re
a
d
freeing functions from file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
D
a
n Carpent
e
r
c
heck_memory: read freeing functions from file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan Ca
r
p
enter
frees_
a
rgument: don't
count funct
i
ons that
only free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-21
Dan Carpenter
c
ore: improve anding
condition ha
n
dl
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Da
n
Carpente
r
check_o
v
erflow
:
m
o
ve to
new add_
f
unct
i
on
_
h
o
o
k
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpe
n
ter
chec
k
_locking: move to th
e
n
e
w
function hook
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
D
an Carpenter
check
_
locking: fix so
m
e double unlo
c
k fa
l
se positiv
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
D
an Carpente
r
c
o
re: add
_
f
u
nction
_
hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
D
an Carpenter
ma
k
e
s
om
e
vars st
a
tic
.
other random s
p
arse stuf
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
core:
add
_
u
n
matched_s
t
ate_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carp
e
n
t
er
impl
i
ed: re-add the debug
outpu
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Ca
r
penter
change co
n
v
e
ntio
n
: register_template
(
) -> che
c
k_te
m
plate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n Carpenter
l
o
ckin
g
: add some more
m
utex
f
unctio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan C
a
rpent
e
r
Make --known-conditi
o
ns an op
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
handle k
n
own condition
s
bette
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan
Carpenter
check_memory: add ru
d
imen
t
ary valid
a
t
i
on test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Car
p
ent
e
r
new script to print a
l
ist o
f
fu
n
ctions which
f
r
e
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
c
heck_me
m
ory: make argum
e
nts stati
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
arpente
r
template: fix memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan
Carpen
t
er
temp
l
ate
:
re
m
ove unused h
e
ader, update c
o
mm
e
n
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
check_lock
i
ng: add mutexes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Car
p
enter
check_memory: add kzalloc(), m
o
re comple
x
variables
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
im
p
l
ied:
handle &
u
ndefined better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan C
a
r
penter
i
nfo: loop could b
e
repl
a
ced
w
ith i
f
stateme
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Car
p
enter
kchecker: add "--sparse
"
o
p
tion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Da
n
Carpenter
s
m
at
c
h_implied/slist: move functi
o
ns from slis
t
to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan
C
arpe
n
t
e
r
chec
k
_memory: use
c
omplex varia
b
les
i
nstead of
r
e
gular
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
D
an Ca
r
p
e
nter
check_memory: assu
m
e par
e
nts
assi
g
ned on all paths
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Ca
r
penter
c
he
c
k_memory
:
More changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan
C
arpent
e
r
a
s
s
ignments can
a
dd a parent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
D
a
n C
a
r
penter
Handle initi
a
lization in
the decl
a
rations
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
Cut d
o
wn
o
n false posi
t
ive
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan
Carpen
t
er
Parse
the
r
e
turn st
a
t
ement before calling the return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Da
n
Carpenter
Fix crashing
b
u
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
D
an Car
p
e
nter
R
e
move some false positi
v
e
s
and en
a
ble the check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Demote argument
nu
l
l
d
e
refs to cross
f
unc null derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Label the output:
er
r
or, warn, or info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
D
an Carpe
n
ter
Add a hack to handle the
k
ernel's red
e
f
i
ne
d
if
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpenter
Handle m
o
re compari
s
on
s
than
just
(
foo == 0) and
(
foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Car
p
en
t
er
che
c
k_locking: a mer
g
e wit
h
NULL i
s
a
m
erge with the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Remove unn
e
ede
d
code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
D
an Ca
r
penter
Add l
i
ne number ba
c
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan
Car
p
enter
Use the most r
e
ce
n
t
i
m
pli
c
ations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan
Carpenter
A
d
d op
t
i
on --assume-loop
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
A
dd an option --no-i
m
pl
i
ed
to turn of implic
a
tio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-07
Dan Carp
e
nt
e
r
implied
p
ools: cleanup how
im
p
lie
d
pools are
c
r
e
a
ted
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpenter
chec
k
_memory: sep
a
r
a
te out a malloced
s
tate
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Ca
r
penter
All a
l
ong I was a
d
d
in
g
the pools to the
w
r
o
ng
place
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpente
r
Cle
a
n up
.
Move a couple ifdef
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpent
e
r
A
dd
a sanity
c
heck th
a
t ->
p
oss
i
ble h
a
s a ->my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
C
l
ean up
.
Freei
n
g the
s
m
_states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
D
a
n
C
arpe
n
t
e
r
Oring the sl
i
sts s
e
ems l
i
ke mer
g
e
_s
l
i
s
t(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Da
n
C
ar
p
enter
Add a --
d
ebug-implied option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
ch
e
ck
_
mem
o
ry:
Fix
segfault
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
D
an Carpe
n
ter
kch
e
cke
r
: helpe
r
script to
i
nvoke
s
m
at
c
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan
Car
p
enter
check_memory:
new
c
o
d
e
.
n
o
t used yet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpe
n
ter
Fix bug
in comp
o
u
n
d conditions and add val
i
d
ati
o
n t
e
st
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
check_locking: handle f
u
nctio
n
s with no ret
u
rn statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
an Carpenter
Fix so
security
_
f
i
xup_op
s
(
)
doesn'
t
trigger
t
he OOM
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan
C
ar
p
enter
Fix 'or'ing
s
tate
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n
Carp
e
nter
Fix NULL deref
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Carpe
n
ter
For s
o
me reason smatc
h
can't find these header
f
iles
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix st
r
ing m
e
mor
y
l
e
aks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
penter
Remo
v
e
unneeded
allocation
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
a
rpe
n
ter
Re
m
ove outdated comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n
Ca
r
p
e
n
t
er
D
on't _
_
free_s
m
_state() un
t
il en
d
of function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpenter
free_slist() after calling get_all_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Ca
r
pen
t
er
d
on
'
t reallocat
e
the ->possible states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
n
t
er
Get rid o
f
un
u
sed li
n
e history co
d
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpenter
Fix some
m
em
o
ry leaks in _
_
impl
i
ed_states_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Add free_trackers_and_list() and free_tracker_list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
pen
t
er
Add new
f
ree_stack()
f
unc
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpen
t
er
r
e
name del_slis
t
_stack()
to free_
s
t
ac
k
_
a
nd_slis
t
s()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
rename
del_sli
s
t() ->
free_slist(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Free all the
s
m_states a
t
the end of
each
fun
c
tion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Car
p
enter
A
d
d ->possi
b
le to _
_
print_slis
t
()
o
utput
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan
C
a
r
p
enter
Save all the pools a s
t
ate goes
t
hrough
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpen
t
e
r
Add and fix
smatch implied tests
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n Car
p
enter
P
reserve the -
>
pools and ->p
o
ssible for implied states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n Carpenter
Fi
x
handl
i
ng mu
t
ually
e
xclusive s
t
at
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
Carpente
r
Get rid of redundant harmonize_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n
Carpente
r
Add
function __set_true_f
a
lse_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
an Carpen
t
er
Only s
a
ve an imp
l
ie
d
lis
t
if
a
state has been mod
i
fied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Da
n
Carpenter
Only
i
mplied
stat
e
s that aren't already true
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Ca
r
penter
Take a
parameter in
s
t
ead of assumin
g
t
h
e
output is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Don
'
t
check
that there are both tru
e
and false s
t
ates
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
rpent
e
r
This
check_order() see
m
s
s
u
p
erfluous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
rpenter
N
e
w
fu
n
ction h
a
rmon
i
ze_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
rpenter
call _
_
sp
l
it_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
r
e
move unneeded calls to __use_cond
_
t
r
ue_states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpente
r
D
on't set
the implied st
a
te to &
m
erged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Mak
e
cm
p
_trac
k
e
r
() accessible
t
o outside files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpente
r
A
ll the
states
are implied not
j
u
s
t unique on
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
I
mpr
o
ve
lock chec
k
out
p
ut
.
Ad
d
m
ore val
i
dation samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add suppo
r
t
f
or down_interr
u
ptibl
e
() and friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carp
e
nt
e
r
Fix the Unclear locking
thing
.
A
g
ain
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next