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
check_memory: read freeing functions from file.
2009-03-22
Dan Carpenter
chec
k
_mem
o
ry
:
rea
d
f
reei
n
g functions from file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpent
e
r
fre
e
s
_argum
e
n
t
: don't cou
n
t functions
t
hat only free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-21
Dan
C
a
rpenter
core
:
improve an
d
ing c
o
ndition
h
an
d
li
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
check_
o
verflow: move to new add_fun
c
tion_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
c
h
eck_
l
o
c
king:
m
ove to t
h
e
n
e
w
function
h
o
o
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
c
heck_locking: fix
s
ome double unlock fal
s
e positives
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpen
t
er
core: add_function_
h
ook(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan C
a
r
penter
m
a
k
e
some vars static
.
other random sparse st
u
ff
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan
C
arp
e
nter
core: add_unmatched_sta
t
e
_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n
C
arp
e
nter
implied: re-add the debug output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Da
n
Car
p
enter
chang
e
c
o
nven
t
io
n
: register_tem
p
la
t
e() -> check_
t
emplate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan
C
arpenter
locking: add some mor
e
mutex functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
M
ake --known-con
d
itions a
n
opti
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carp
e
nt
e
r
handle
k
nown co
n
ditions better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
check_memo
r
y: add rudimentary val
i
dation 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 f
u
n
c
tions
w
hic
h
free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
a
rpenter
check_memory: make argumen
t
s stat
i
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Car
p
enter
t
em
p
late: fix memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Ca
r
penter
templat
e
:
remove unus
e
d he
a
der, update com
m
ents
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
an
C
arpe
n
ter
che
c
k_
l
ocking: add
m
u
texe
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan
Carpenter
check_memory: add kzalloc(), more com
p
le
x
variable
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Car
p
enter
im
p
lied: handle &undefined
better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Ca
r
penter
i
n
fo: loop could be replaced
w
ith if
s
tate
m
en
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Ca
r
penter
kchecke
r
: add "-
-
s
parse" option
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Car
p
enter
smatch_implied/sli
s
t: mov
e
function
s
fr
o
m slist to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carp
e
nter
check_memory: use co
m
plex v
a
r
iable
s
instead
o
f regular
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
check_
m
emory: assu
m
e parents assigned
on all paths
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
c
h
eck_memory: More changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
as
s
i
g
nments can add a parent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
D
a
n Carpenter
Han
d
le initialization in
t
he decla
r
a
tions;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
Cut down on fals
e
positives
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
D
an Carpenter
Parse th
e
return
s
tat
e
men
t
before
c
al
l
ing the
r
etu
r
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Fix crashing
bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
D
a
n Carpenter
R
e
move some fal
s
e posit
i
ves and enab
l
e
the chec
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Dem
o
t
e
arg
u
ment nul
l
de
r
e
f
s
to
c
ro
s
s f
u
nc nul
l
d
e
r
e
fs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carp
e
nter
La
b
el
the output: error
,
warn, or info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Dan
C
a
rpenter
Ad
d
a
h
ack to h
a
nd
l
e the kernel's rede
f
ine
d
if
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpen
t
er
Handle
m
ore co
m
p
a
risons than jus
t
(foo ==
0
) and (foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpent
e
r
check
_
l
o
ck
i
ng:
a mer
g
e with NULL is a m
e
rge
w
i
t
h the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Da
n
Carpenter
Remo
v
e
unnee
d
ed c
o
de
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n
Carpent
e
r
Add line
number back
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Use t
h
e most recent imp
l
i
c
at
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpen
t
e
r
Add option -
-
assume
-
l
oops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add an op
t
ion -
-
no
-
i
mplied t
o
t
u
rn of i
m
plications
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-07
Dan Carpenter
implie
d
pools: cleanup how implied
p
ools are
c
reated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
D
a
n
C
arpenter
check_memory: separ
a
te out a mallo
c
ed state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Da
n
C
a
rpenter
A
ll
a
lo
n
g I was
adding the pools to the wrong place
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpent
e
r
Clean up
.
M
ove
a couple ifdefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan
C
a
rpenter
Add a sa
n
ity c
h
eck
that ->possible h
a
s a ->my_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Clean up
.
Fr
e
eing
t
he sm_state
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carp
e
nte
r
Oring the slists
seems like merg
e
_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carp
e
nter
A
dd
a
--debug-im
p
lied
o
ption
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
D
a
n Carpen
t
er
check_memory: Fix segfault
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpen
t
er
kchecker: help
e
r script to inv
o
ke
s
match
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpente
r
check_me
m
ory: ne
w
c
ode
.
not used yet
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
Fi
x
bu
g
in compound conditions and
add va
l
idation
t
est
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Car
p
e
n
ter
che
c
k_locking: h
a
n
d
l
e
f
u
n
c
t
ions w
i
th no return
s
tateme
n
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan
Carpenter
F
i
x so security_fixup_ops(
)
doesn't trigger th
e
OO
M
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Ca
r
penter
Fix
'
or'ing state
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan
C
arp
e
nter
Fix NULL der
e
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n Carpe
n
t
e
r
For some
r
eason smatch can't find
t
hese head
e
r files
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Car
p
en
t
er
Fix
string memory
l
eaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Remove unne
e
d
e
d
all
o
cation
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpent
e
r
Remove
outdated com
m
ent
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpenter
Don't
_
_free_sm_state(
)
u
n
til end of function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
free_
s
lis
t
(
) after calli
n
g get_all_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
don't reallocate the ->possi
b
le states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpe
n
t
e
r
Get ri
d
of unused line h
i
story code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Fix some memory leaks in __implied_states_
h
ook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
penter
Add
f
ree_
t
rackers
_
and_
l
ist() and free_tracke
r
_lis
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpen
t
er
A
d
d new free_
s
t
a
ck() func
t
i
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
penter
rename del_slist_stack()
t
o
free_s
t
ack
_
and_slists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpenter
ren
a
me del
_
sl
i
s
t() -> free_slist
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Free al
l
th
e
sm_states at the end of e
a
ch function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpente
r
Add ->poss
i
b
le to __print_
s
list() outp
u
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan
Carpenter
Save all t
h
e
p
o
ols
a state
g
oe
s
through
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpente
r
Ad
d
and fix smatch implie
d
tes
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpent
e
r
P
r
eserve the ->poo
l
s
a
n
d ->possible for im
p
lied states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
an C
a
r
pente
r
F
ix handl
i
ng m
u
tua
l
l
y e
x
clusive states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carp
e
nter
G
e
t rid of re
d
un
d
ant h
a
rm
o
niz
e
_s
t
ates()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpe
n
ter
Add function
_
_
s
et_tr
u
e_false_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpente
r
Only sa
v
e an implied li
s
t if a st
a
te has been mod
i
fied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Only implied stat
e
s that aren't already tru
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Take
a
pa
r
ameter instead
o
f a
s
s
u
min
g
the output
is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpen
t
er
Don't check
t
hat there are bot
h
true and false states
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan
Carpenter
This check_ord
e
r
(
)
seems superfluou
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carp
e
nter
N
e
w function harmonize_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Da
n
Ca
r
pente
r
call __split_expr
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
rpenter
remove unneeded calls
to
__use_cond_true_sta
t
es
(
);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpe
n
ter
Do
n
'
t s
e
t the imp
l
ie
d
state to
&
merged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n Ca
r
penter
Make cmp_tracker() acce
s
sible
to o
u
ts
i
de files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
All the states are implied not just
unique
o
n
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
an Carpen
t
e
r
Imp
r
ove
lock
check output
.
Add more va
l
idation sa
m
p
l
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carpen
t
er
Add support
f
or down_interru
p
t
i
ble(
)
an
d
friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carpenter
Fix the Unclear locking
t
h
ing
.
Again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Warn on d
o
u
ble
lock/unlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpenter
Print fewer
U
nclear locking mess
a
ges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpenter
i
f
((1))
{
.
.
.
is a known_condition_true
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
a
rp
e
nter
Add su
p
port for those fun
n
y gc
c
({
.
.
.
}) blo
c
k statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
a
r
p
e
nt
e
r
Handle
d
ec
l
aratio
n
s inside switch statement blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next