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
frees_argument: don't count functions that only free on error paths
2009-03-22
D
an Carpente
r
frees_
a
rgu
m
ent: d
o
n
't count functions tha
t
o
nly free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-21
Da
n
Carpenter
core:
improv
e
andi
n
g condition ha
n
d
l
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
D
a
n Carpenter
check_overflow:
m
ove to ne
w
ad
d
_
f
unction_
h
o
ok()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carp
e
nte
r
check_lo
c
king: move to the new f
u
nction
hook
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
c
heck_l
o
cking:
f
i
x
some do
u
b
le
u
nlock false positi
v
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
D
an Carpent
e
r
core:
add_function_hoo
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan C
a
rpe
n
t
e
r
make s
o
m
e vars static
.
other r
a
ndom spa
r
se stuff
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
c
ore: ad
d
_unma
t
ch
e
d_s
t
ate_h
o
ok()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
implied: re-add the debug output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n
C
arpenter
c
h
ange co
n
vention: register_template() -> che
c
k_template()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n
Car
p
enter
l
o
cking: add some more mutex functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpen
t
er
Make
--kn
o
wn-conditions an option
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Car
p
enter
handle known conditions better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpe
n
ter
check_mem
o
ry: a
d
d rudimentary validation test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
n
e
w script
to print
a
list of functions which free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carp
e
nter
check_m
e
mory
:
ma
k
e argu
m
ents
static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Car
p
e
n
ter
template: fix memor
y
l
e
ak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
template: remov
e
unused heade
r
,
update comme
n
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
Carpen
t
er
check_locking:
a
d
d
m
u
texes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpe
n
ter
che
c
k_memory:
add kzalloc()
,
more c
o
mp
l
ex variab
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
imp
l
i
e
d
:
h
an
d
l
e
&
undefined
better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
D
an Carpent
e
r
inf
o
: loop c
o
uld be re
p
l
a
ced with if
statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan
C
arpenter
kcheck
e
r
: add
"
--sparse" op
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan
Ca
r
pent
e
r
sm
a
tch_implie
d
/slist:
m
ove function
s
from slist to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
c
heck_memory: use complex varia
b
l
es instead of
r
e
gul
a
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Car
p
enter
chec
k
_
m
e
mor
y
: ass
u
m
e
p
a
rent
s
as
s
i
g
n
ed on
a
ll paths
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
D
an Carpenter
check_memory
:
Mo
r
e
c
hanges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan C
a
rpenter
assignments can
a
d
d
a
paren
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Da
n
Carpenter
Ha
n
dle initialization
in the decl
a
ration
s
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan
Carp
e
nter
Cut d
o
wn on false positives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
D
an Carpenter
Par
s
e t
h
e return
statement
befo
r
e
calli
n
g the ret
u
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan C
a
r
pente
r
Fix crashin
g
bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpente
r
R
e
mo
v
e
some false p
o
sitives an
d
e
n
ab
l
e the ch
e
ck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
D
an Car
p
enter
Demote ar
g
ument nul
l
derefs to cross func null dere
f
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan
Carpenter
Label the
o
u
t
p
ut:
e
rror
,
warn, o
r
info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
D
a
n Ca
r
pente
r
Add
a
hack to handle the k
e
rnel's redefined
i
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
D
a
n Carpe
n
ter
Handle more compar
i
sons than just (fo
o
== 0
)
a
nd
(
fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Ca
r
penter
c
h
e
ck_locking
:
a mer
g
e w
i
th NULL is a m
e
rge
w
ith the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Da
n
Ca
r
penter
Rem
o
ve unneed
e
d
code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add li
n
e n
u
mber
bac
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpent
e
r
U
s
e
the most recent impl
i
cations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carp
e
n
t
e
r
A
dd option
-
-assume-
l
oops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carp
e
nter
Add an
o
ption --no-i
m
plied to turn of i
m
plicati
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-07
Dan Car
p
ent
e
r
impli
e
d pools: cleanup
how implied pools are created
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpente
r
check_memory: se
p
arate out a malloced state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
D
an Ca
r
penter
Al
l
along I was addi
n
g th
e
pools
t
o the wrong place
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan C
a
r
p
enter
Clean up
.
Move a coupl
e
ifdefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Da
n
Carpenter
A
dd a sanity check that ->possible ha
s
a ->my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan C
a
rpenter
Cl
e
an up
.
Freeing the sm_s
t
ate
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
O
r
ing
t
he s
l
ists s
e
e
m
s
like
mer
g
e_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Car
p
ente
r
Add a -
-
debug-implie
d
op
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan
C
arpente
r
c
h
eck_me
m
ory: F
i
x seg
f
a
u
lt
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carp
e
nt
e
r
k
chec
k
er:
helper scri
p
t to
i
nvoke
s
match
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carp
e
n
t
e
r
check
_
memo
r
y: new code
.
not used
yet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
Fix
b
ug in compo
u
nd
conditions
a
nd add validation test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n Carpenter
c
h
e
ck_locki
n
g
:
h
andle
f
unct
i
ons w
i
t
h no
r
eturn s
t
at
e
ment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan C
a
r
p
ent
e
r
Fi
x
so security_
f
ixup_ops() doe
s
n't trigger t
h
e OOM
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan
Carpent
e
r
F
ix 'or'ing st
a
tes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
C
arpenter
Fix NULL d
e
ref
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
For
s
ome reason sm
a
tch c
a
n't find
these
h
eade
r
f
i
les
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix string memor
y
leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpente
r
Re
m
ove u
n
n
eeded alloca
t
i
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpe
n
ter
Re
m
ov
e
outdated c
o
mment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpen
t
er
Don't
_
_fr
e
e_sm_state() until end o
f
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
free_slist()
after calling g
e
t_
a
ll_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpenter
don't reallocate t
h
e
-
>
p
o
s
si
b
l
e
stat
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
nter
Ge
t
rid o
f
unused line history code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpen
t
e
r
Fix
s
ome memory l
e
a
ks
i
n __implied
_
states_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpent
e
r
Add free_trackers_and_li
s
t
(
) and
f
ree_tra
c
ker_
l
ist
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Ad
d
new free_s
t
ack() funct
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpente
r
rename del_
s
list_stack()
to free_
s
tack_
a
nd_slists()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpe
n
ter
rename del_s
l
ist() -> free_sli
s
t()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpenter
Free all the s
m
_
sta
t
es at the end of
each
f
unc
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
D
an Ca
r
penter
A
d
d ->possible to __
p
rint
_
slist(
)
output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Da
n
Carp
e
n
ter
Save all
t
he pools a state g
o
es th
r
ou
g
h
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Ad
d
and fix
smatch implied tests
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpent
e
r
Preser
v
e
the ->pool
s
and ->possibl
e
f
o
r
implied s
t
a
tes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Fix handling mutually e
x
clusive states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Car
p
enter
Get rid of redunda
n
t harm
o
niz
e
_
states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan
C
arpenter
Add fun
c
tion __s
e
t_true_false_sm
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan C
a
rpenter
Only sa
v
e an implied
l
ist if a state h
a
s been modified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpent
e
r
On
l
y
implied states that
a
ren't
already true
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Take
a
paramete
r
i
nste
a
d
o
f
assuming
t
he output is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carp
e
nter
Do
n
't check that there a
r
e
both true and false stat
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpente
r
This c
h
eck_order()
seems s
u
perfluous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
N
ew function
h
a
r
mon
i
ze_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
rpe
n
ter
c
all __split_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Da
n
Ca
r
penter
r
emove unneeded c
a
l
ls to __use_cond_true_states
(
);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpe
n
t
e
r
Don't set the implied state t
o
&merged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpent
e
r
Ma
k
e c
m
p_tracker() ac
c
essible to o
u
tside file
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Car
p
enter
All the states are implied not just u
n
iqu
e
ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
I
mprove
l
ock check outp
u
t
.
Ad
d
more validation sa
m
p
l
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carp
e
n
t
e
r
A
d
d
s
upport for
d
o
wn_i
n
t
e
r
ruptible() and friend
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpent
e
r
Fix the Unclear
l
ock
i
ng
thing
.
A
g
a
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Carpent
e
r
Warn o
n
double lock/unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
P
r
i
nt few
e
r Uncl
e
ar
locking mes
s
ag
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Carpenter
if ((1
)
)
{
.
.
.
i
s
a
kno
w
n_condition_
t
r
u
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Ad
d
support
f
or those funny g
c
c ({
.
.
.
}) block
statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpe
n
ter
Hand
l
e
declarati
o
ns insi
d
e sw
i
tch
s
tatement blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
a
rpenter
Cleanup is_zero()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next