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
new script to print a list of functions which free their arguments
2009-03-17
D
a
n
Ca
r
pente
r
n
ew
s
cript
t
o print a li
s
t of functions w
h
ich free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpent
e
r
check_memory:
make argum
e
n
ts static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
Car
p
e
n
ter
template:
f
ix me
m
ory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
templ
a
t
e
: remove unus
e
d header, update comm
e
n
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
Carpenter
check_locking:
add mu
t
exes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
Carpe
n
te
r
check_memory: add
k
zalloc(),
more co
m
ple
x
vari
a
bles
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
Carp
e
nter
implied: handle &un
d
efined better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Ca
r
penter
info:
l
o
o
p
c
ou
l
d be replac
e
d with if statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
D
an
C
a
rpenter
kc
h
e
cker:
a
dd "
-
-sparse" option
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Car
p
enter
smatch_implied/sli
s
t: move functions
from slist t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Da
n
Carpent
e
r
check_me
m
ory: use
c
omple
x
vari
a
ble
s
instead o
f
regular
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan C
a
rpenter
check_memor
y
: assume parents ass
i
gne
d
on
a
l
l
p
a
ths
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Da
n
Carpe
n
ter
che
c
k_mem
o
r
y:
More chan
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan
C
a
rpenter
assignments c
a
n add a par
e
nt
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpe
n
ter
H
a
ndle initializatio
n
i
n t
h
e
d
eclara
t
ion
s
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Da
n
Car
p
enter
Cut down
o
n false positives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carp
e
nter
Parse the r
e
turn sta
t
em
e
nt
befor
e
calling the retu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Fix c
r
a
shing
bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Ca
r
pe
n
ter
R
emove some false positives an
d
enable the check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Car
p
ent
e
r
D
emote argument n
u
l
l
derefs to cross fu
n
c null
d
erefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Ca
r
penter
Label the output
:
e
rror, warn, or
info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpen
t
er
Add a hack to
h
and
l
e the
k
ernel's red
e
fined
i
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpenter
Handle more co
m
pari
s
ons than
j
ust (f
o
o ==
0) an
d
(foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
check_l
o
c
king:
a
merge with
N
ULL is a me
r
g
e with the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan
C
arpenter
Rem
o
ve
u
nneeded co
d
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan
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
ications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpente
r
Ad
d
op
t
io
n
--assume-loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpent
e
r
Add an
opt
i
on --no-impl
i
ed to turn of
i
mplicatio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-07
Dan
Car
p
ent
e
r
impl
i
ed pools:
c
leanup how implied po
o
ls a
r
e created
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpenter
check_memory:
separat
e
out a malloc
e
d state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpenter
All along I
w
a
s
add
i
ng the poo
l
s
to the wrong pl
a
ce
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan
Carpenter
Clean up
.
Move a coupl
e
ifdefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan C
a
r
pen
t
er
Add a sanit
y
c
heck that ->possible has a
->my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Ca
r
penter
Clean up
.
Fre
e
in
g
the sm_states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Da
n
Carpenter
Oring the sli
s
ts seems li
k
e merge_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
D
an Ca
r
pen
t
er
Add a --debug-implied opt
i
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan
C
ar
p
en
t
er
check_memory: Fix segfault
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan
C
a
rpenter
kchecke
r
:
helper scrip
t
to invoke s
m
a
tch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpen
t
er
chec
k
_
m
e
mory: new code
.
not used yet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carp
e
nter
Fix bug in compound conditions and add
v
a
l
i
dation test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
an Carpenter
c
h
eck
_
locking: ha
n
d
le
func
t
ions with n
o
r
e
turn s
t
a
t
e
ment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Car
p
e
n
ter
F
ix so
security_fixu
p
_ops
(
)
d
oe
s
n't trigger the OOM
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Carpenter
Fix 'or'ing states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan C
a
rpen
t
er
Fix
NULL deref
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpent
e
r
For s
o
me reason sm
a
t
c
h
can't find
t
hese header f
i
les
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Ca
r
penter
Fix st
r
ing memory
le
a
ks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpenter
Remove unn
e
eded allocation
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Rem
o
ve o
u
td
a
t
ed comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
D
o
n't _
_
free_sm_sta
t
e
(
) until end of fu
n
c
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
r
p
enter
free_slist() after calling get_all_states
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
C
arpenter
don
'
t
reallocate the ->possible
s
t
a
tes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
ter
Get rid of u
n
used line history co
d
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpen
t
er
Fix some memo
r
y
leaks in __imp
l
i
e
d_states_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Add
free_trackers_an
d
_list()
a
nd fr
e
e_tracker_list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
A
d
d new free_stack() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carp
e
nter
rename del_sli
s
t_st
a
ck()
to free_
s
tack_and_sli
s
t
s(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n
C
ar
p
enter
rename
del_slist() -> free_slist
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
F
ree all the sm_states at the end o
f
each funct
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carp
e
nter
A
d
d ->possible to
_
_prin
t
_
s
l
i
s
t() output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Car
p
ent
e
r
Save all the p
o
ols
a sta
t
e
g
o
es throu
g
h
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
Ca
r
penter
A
d
d
and fix smatch
i
m
pl
i
e
d test
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Pres
e
r
ve
the ->p
o
ols and ->
p
o
s
s
i
ble f
o
r imp
l
ied sta
t
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
an Carpe
n
t
e
r
Fix
h
an
d
ling mutually exclusive states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n Carpenter
Get rid of redunda
n
t harmo
n
iz
e
_
states
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
Carpenter
Add f
u
nct
i
on
_
_se
t
_true_false_
s
m(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan
C
arpenter
Only s
a
v
e
an
impli
e
d l
i
st
i
f a state ha
s
been modi
f
ied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
O
nly implied states t
h
at
a
ren
'
t alre
a
dy tru
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpente
r
Take a parameter
instead of ass
u
min
g
the o
u
tput is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Da
n
Ca
r
penter
Don't che
c
k that there are bo
t
h tru
e
and false stat
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpe
n
t
e
r
This
c
h
e
c
k_order() see
m
s superf
l
uous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n Ca
r
penter
New funct
i
on
h
armonize_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
c
all _
_
s
p
li
t
_
e
x
pr(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Ca
r
p
e
n
t
er
remove unneeded calls
to __use
_
c
o
nd_t
r
ue_state
s
();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Car
p
enter
D
o
n't set the
implied state to &
m
erged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Make
c
m
p_tracker(
)
acce
s
sible to o
u
tside fi
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
A
ll the sta
t
es are im
p
lied not just
unique
ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Imp
r
ove loc
k
c
h
eck outpu
t
.
Add more v
a
li
d
a
tion sampl
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpe
n
ter
Add suppo
r
t for
dow
n
_i
n
t
e
r
ruptible() and friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpent
e
r
Fi
x
t
h
e U
n
clear
locking thing
.
Agai
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpenter
Warn on double lock/unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Print fewer Unclear locking mess
a
ge
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpente
r
if
(
(1)) {
.
.
.
i
s a known_condition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
p
e
nte
r
Add
support f
o
r th
o
s
e
funny gcc ({
.
.
.
}) block statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
r
penter
Handle d
e
clarations
i
nside
switc
h
statement blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
nter
Cleanup is_zero()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpenter
Add known_conditi
o
n
_false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
F
ix ha
n
dl
i
ng of contin
u
e i
n
s
i
d
e
do while state
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Car
p
enter
Don't s
e
t let people set states for unrea
c
hable
c
ode
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpent
e
r
Small cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpenter
H
andle
the iterators
c
orrec
t
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add support for "if (a?
b
:c) {
.
.
.
" ternary condition
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Car
p
enter
Ad
d
some supp
o
r
t
fo
r
_
s
p
in_trylock()
a
nd f
r
iends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpen
t
er
if (a ||
b) { a->foo; should print an error
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
D
a
n
C
arpe
n
te
r
This p
r
i
n
ts out e
r
ror mess
a
ges all the time t
h
at are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Assignm
e
nt alway
s
set
s
&isfre
e
d
to so
m
e
thing else like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carp
e
nter
D
on't print cross_func errors if the
cal
l
ed f
u
nct
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
R
em
o
v
e
call
t
o all
o
c_sta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
er
Ca
l
l the merge_hook()
i
n
stead of
s
etting the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
e
nter
Oops
.
Me
a
n
t
to
c
ommit this earlier
.
:
/
commit
|
commitdiff
|
tree
next