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
rename known_condition_true() to implied_condition_true()
2009-04-07
Dan Carp
e
nter
ren
a
me kno
w
n
_
cond
i
tion_true() to implied_co
n
dition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan C
a
r
penter
A
d
d ERR_P
T
R()
c
he
c
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
Carpen
t
e
r
__module_p
u
t_
a
nd_e
x
i
t
() doesn't return
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carp
e
nt
e
r
Sep
a
r
ate
t
h
e
list of
freed arguments from decrem
e
nted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Car
p
enter
Write
a
script to print fu
n
ctions that retu
r
n
N
ULL
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpente
r
Don
'
t fre
e
b
i
n_d
i
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Car
p
en
t
er
Oops
.
C
o
mm
i
t
these
e
s
sential files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Da
n
C
arpenter
Handle
k
now
n
conditions
when they are a s
i
m
ple value
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
arpe
n
t
er
Add C
A
SE_HOOK
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n Carpe
n
ter
Fix memory leaks fo
u
nd by valgr
i
nd
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
alloc_string() -> alloc_sname()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carp
e
nter
Put
s
o
me valid
a
t
i
o
n
s
cript
s
in
t
he close
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Car
p
enter
I
m
plied ranges
.
Part #2
.
F
i
l
t
ers
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan
C
arpenter
Silen
c
e
t
h
e mutua
l
ly exclusive output again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
D
a
n Carpenter
Free all
d
ata_inf
o
at the e
n
d of a function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Add --
n
o-data option and warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
r
ange fix
.
anding slists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan C
a
rpenter
cleanu
p
s from clo
n
e_slist(
)
changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpe
n
ter
Implied ranges
.
Part #1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
Dan
C
arpenter
Add the
a
llocation f
u
ncs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
free_
s
cq
is defined 2 times quite differen
t
ly
.
It
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
Fix implication
s
(fall
o
ut from clone_slis
t
() changes)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carp
e
nter
Ma
j
or memory saving
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Ca
r
pent
e
r
--debug m
e
a
n
s print
t
he
implica
t
ion
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan
Carpenter
Add
-
-no-implied to t
h
e
h
e
l
p t
e
xt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Da
n
Carp
e
nter
S
a
ve m
e
mor
y
.
Don't copy the s
t
ate
na
m
e so much
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carp
e
nter
Add che
c
k
_type
.
c (disabled)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
D
an Carpen
t
er
kref_put() and
k
objec
t
_put
(
) are basica
l
ly like a f
r
e
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-29
Dan Carpenter
D
on't d
e
reference free
d
me
m
ory
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Da
n
Carpe
n
ter
A
d
d all
t
he allocation function
s
to check_lea
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Ca
r
penter
Generate a list of functi
o
ns that allocate data
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-27
Dan Car
p
en
t
er
Update the gen_
f
rees_list
.
s
h and the
g
ener
a
ted data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Da
n
Car
p
enter
Sa
v
e
f
unction lists in smatch_d
a
t
a/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpent
e
r
n
e
w
(
d
isab
l
ed)
script: check_leaks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
D
an Carp
e
nter
implied: ad
d
get_implications() for script
s
to
u
se
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
Add comment
.
get_value returns UNDEFINED on error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
function_hooks: b
u
mp the numb
e
r of
e
ntrie
s
in the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan
C
a
r
penter
new: add_functio
n
_as
s
i
g
n_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan
C
arpen
t
er
Clea
n
up the conditional hook code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
new ap
i
: add_
c
onditional_hook(), set_con
d
_
states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan C
a
rpent
e
r
function_hooks: pass
t
he func
t
ion
n
a
me as w
e
ll
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Car
p
e
n
te
r
don
'
t try
return bl
o
ck th
i
ngs in get_variable_from_expr
_
comp
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Ca
r
pen
t
er
Add
a
l
ist of noreturn typ
e
fun
c
tions that n
u
llify
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpen
t
e
r
Merge
b
ranch
'd
e
v
e
l
'
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
recompile
t
he
c
heck_*
.
c fil
e
s
if
t
he smatc
h
headers
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan C
a
rpenter
c
heck_overflow: test
c
opy
_
t
o
/from_user a
s
well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpent
e
r
check_overflo
w
:
d
o
n't multiply the size o
f
strings
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
ass
u
med_nonnull crap
.
.
.
temp fix
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
an Carpenter
Add script
t
o
gener
a
t
e the frees
list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan C
a
rpent
e
r
rename
register_frees_a
r
gume
n
t t
o
c
heck
_
frees_arg
u
m
e
nt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
pe
n
ter
fi
x
order of proces
s
ing of commas
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
get rid of FUNCTION_CALL_
A
FTER_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpent
e
r
c
h
a
n
ge order of condition
p
rocessing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
an Carpenter
ge
t
rid
of ASSIG
N
MENT_AF
T
ER_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Carpenter
c
h
eck_memory: read freein
g
fu
n
ctions
from f
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpente
r
c
heck_
m
emory: read freeing f
u
nctions from file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpenter
frees_argument:
d
on
'
t count function
s
that
onl
y
free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-21
Dan Carpenter
core: imp
r
o
ve anding c
o
nditio
n
h
andling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpen
t
er
check_overflow: move
t
o ne
w
add_
f
uncti
o
n_h
o
ok()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
check_lo
c
ki
n
g
:
move to the new function hook
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Ca
r
penter
check_locking:
f
ix some double unlock false positives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Car
p
ente
r
core: add_fun
c
tion_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan
C
arpent
e
r
make some
vars static
.
other
r
a
n
dom
s
parse
s
tuff
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
core
:
a
d
d
_
unmatche
d
_stat
e
_hook(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
imp
l
ied: re
-
add
t
he debug output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Ca
r
pen
t
er
change
c
o
nvention: regist
e
r_template()
-> che
c
k_template()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpe
n
t
e
r
locking: add some
mo
r
e
mutex functio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n Carpen
t
er
Make --known-conditions a
n
option
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan C
a
rpenter
han
d
le kno
w
n
condi
t
ions better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Car
p
enter
ch
e
c
k
_
m
emory: add rudimentary vali
d
ation test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
new script
to print
a
lis
t
of functions which free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n
C
a
rpenter
check_memo
r
y:
m
ake argu
m
e
n
ts static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpent
e
r
templ
a
te: fix
m
emory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
Ca
r
pente
r
template
:
remove unus
e
d header, update com
m
ents
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
arpen
t
er
check_lo
c
king: add mutexes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
chec
k
_me
m
ory
:
add k
z
al
l
oc(), more comp
l
ex va
r
iable
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan
Carpente
r
implie
d
: handle
&
undefin
e
d better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
D
a
n
C
a
r
penter
i
n
fo: loop could b
e
replaced with if statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Da
n
Ca
r
pen
t
er
kc
h
ecker:
add "--sp
a
rse" option
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan C
a
rpenter
smatc
h
_
i
mplied/sl
i
st: m
o
ve funct
i
ons from slist to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Da
n
C
arp
e
nter
chec
k
_memory:
u
s
e
c
omplex variables inst
e
ad of re
g
ular
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan
C
arpen
t
er
check_m
e
mory: assume parents assigned on all paths
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
D
a
n Carpenter
check_memory: More change
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carp
e
nt
e
r
a
s
signments can a
d
d
a
parent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carp
e
nter
Handl
e
initialization i
n
the declar
a
ti
o
ns;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan
Carpenter
Cut down on false positives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Ca
r
pen
t
er
Parse t
h
e return statement
b
efore call
i
ng
t
he r
e
turn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
D
an C
a
rpent
e
r
Fix
crashing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpent
e
r
Remove some false posi
t
ives and en
a
ble the chec
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
D
e
mot
e
argument null derefs to cross f
u
nc null
derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Ca
r
penter
Label the o
u
tp
u
t: error, warn, or
i
nfo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpenter
A
dd a h
a
ck to handle th
e
kernel
'
s
redefined i
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carp
e
nter
Handle more compariso
n
s than just (foo == 0) and (foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan C
a
rp
e
nter
c
h
ec
k
_locking
:
a me
r
ge with NUL
L
is
a
merge with the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Ca
r
penter
R
e
move unneeded co
d
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carp
e
n
ter
Add line
n
u
mber back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan
C
a
rpenter
Use the
m
o
st recent
i
mpli
c
ations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Ca
r
pent
e
r
Add o
p
tion --ass
u
me-loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
A
dd a
n
opt
i
o
n
-
-
n
o-implied to tu
r
n of im
p
lications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-07
Da
n
Car
p
enter
i
m
plied po
o
ls: cl
e
anup how imp
l
ied poo
l
s are created
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next