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
create alloc_extra_state_empty()
2009-04-11
Dan
C
arpenter
c
reate alloc_extra_state_empty()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
penter
remove true_co
m
parison() and d
o
_
c
o
m
par
i
so
n
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
move (t
r
ue|
f
al
s
e)_com
p
arison_rang
e
()
to smatch_e
x
tra_helper
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpen
t
er
clear
-
>my_lists f
o
r &
i
gno
r
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpe
n
ter
P
r
in
t
m
ore --debug-
i
mp
l
ied inf
o
rmati
o
n when --debug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
R
emoved hard code
d
options
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpe
n
ter
F
ix range comp
a
rison
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
remov
e
u
n
used
f
unction: range_list_intersection()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Handle UNDEFINED r
a
nge and displ
a
y the name correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Ca
r
pente
r
Fix s
t
at
e
name
s
f
o
r
ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Implied
r
anges
.
Part #3
.
Range
Lists
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n Ca
r
p
enter
Update data f
i
les for 2
.
6
.
30-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
sm
a
t
c
h
_
ext
r
a
.
s
a
v
e
ot
h
e
r
comparisons besides just
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
handl
e
: if ((foo
=
t
ry_loc
k
())
)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpen
t
e
r
rename: ex
p
r_to_val()
-
>
get_impli
e
d_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan C
a
r
p
e
nter
Fix handling
of if (IS_ER
R
(f
o
o = ba
r
())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n
C
a
r
p
ent
e
r
handle if conditional function
s
are a
s
s
i
gned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpenter
Ad
d
n
e
w res
t
ricted known_c
o
nd
i
ti
o
n_true(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
penter
rename kno
w
n_condition_true() to implied_condition_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Add ERR_PTR() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
an Carpenter
__module_pu
t
_and_exit() doesn't r
e
t
urn
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Carpenter
Separ
a
t
e the list of fre
e
d argume
n
t
s
f
r
om decremented
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpent
e
r
W
rite a sc
r
i
pt t
o
print fu
n
ctions
th
a
t re
t
urn NULL
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
pent
e
r
Don't f
r
e
e bin_dir
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpenter
Oo
p
s
.
C
ommit th
e
se
e
s
senti
a
l
fil
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Handle k
n
own conditions when t
h
ey are a simple value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Add CASE_HOOK
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpente
r
Fix memory leak
s
found
b
y valgri
n
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n
C
arpenter
alloc_string()
-> allo
c
_sname()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Put some v
a
lidat
i
on script
s
in the closet
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n Carpente
r
Implied ran
g
e
s
.
Part #2
.
F
i
lters
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
D
a
n Carpenter
Si
l
ence the mutually
exclusive output agai
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
D
an Carp
e
nte
r
Fre
e
all dat
a
_info at the en
d
o
f
a funct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Add
-
-
no-data option and warni
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan
C
ar
p
enter
range
f
ix
.
anding sl
i
sts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpe
n
ter
c
leanups from c
l
o
n
e_slist() chan
g
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
D
an
Carpen
t
e
r
Impl
i
ed ranges
.
Pa
r
t #1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
Dan Carpenter
Add t
h
e allocati
o
n f
u
ncs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Da
n
Carpente
r
free_scq is defined
2
t
imes qui
t
e dif
f
eren
t
ly
.
It
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
a
n
C
arpenter
Fix implications
(
fallout from
clo
n
e
_slist() changes)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Da
n
Carpenter
Major
memory
saving
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan
Ca
r
penter
--debug means pr
i
nt
the
i
mplications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpente
r
Add
-
-no-im
p
lied t
o
the help te
x
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
D
an Carp
e
nter
S
av
e
m
e
mory
.
D
on't copy the st
a
te
n
ame so m
u
ch
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
A
dd ch
e
ck_type
.
c (d
i
s
a
bled)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpen
t
er
k
r
ef_put() a
n
d
k
o
bject_pu
t
() are basically lik
e
a free()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-29
Dan Carp
e
n
ter
D
on't deref
e
rence
f
r
eed m
e
mory
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
Add al
l
the
allocation functions to check_leak
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan
C
a
rp
e
nter
G
enerate a list of
f
u
n
ct
i
ons that allocate d
a
t
a
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-27
Dan Carpenter
Updat
e
the
gen
_
fre
e
s_list
.
s
h and th
e
gen
e
rated d
a
ta
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
Save fun
c
tion lists in smat
c
h_da
t
a/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
D
an Carp
e
n
ter
new (dis
a
bled) scri
p
t: check_
l
eaks
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpen
t
er
implied
:
add get
_
implication
s
()
fo
r
s
cri
p
ts to use
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n
Carpenter
Add co
m
ment
.
ge
t
_va
l
ue r
e
turns U
N
DE
F
I
N
ED on error
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Da
n
Ca
r
pent
e
r
function_hook
s
: b
u
m
p the number of entries in the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Car
p
enter
ne
w
:
a
dd_function_assi
g
n_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carp
e
nter
Clean up the conditional
hook
c
ode
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Carpe
n
ter
new
a
pi: add
_
con
d
it
i
onal_ho
o
k(), set_cond_stat
e
s();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
function_hooks:
p
ass the
f
unction name as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
do
n
't try return block thi
n
gs
i
n get_v
a
riable
_
fro
m
_expr_comp
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
D
an Carp
e
nter
Add
a
list of noreturn type fu
n
ctions t
h
at n
u
l
lify
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpente
r
Merge branc
h
'
d
evel'
commit
|
commitdiff
|
tree
2009-03-23
D
a
n
Carpenter
recompile the
c
heck_*
.
c file
s
if
t
he
s
m
a
tch headers
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpe
n
ter
check_
o
v
e
rflow: test
c
o
py_to/from_user as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n
Carp
e
nter
check_overflow: don't
multiply the size of strings
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpenter
assumed_n
o
nnull crap
.
.
.
temp fix
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
A
dd sc
r
ipt to gen
e
rate t
h
e
f
rees list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carp
e
nter
rename register_frees_a
r
gume
n
t t
o
check_
f
rees_argument
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
Car
p
enter
fix order of processin
g
of comm
a
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
p
e
nte
r
get
rid of
F
UNCTION_CA
L
L_AFTER_H
O
OK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
Carp
e
nter
cha
n
ge ord
e
r
o
f condi
t
io
n
processing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an Carpenter
get rid of
ASSIGNMENT
_
AFTER_H
O
OK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpe
n
ter
check
_
me
m
o
r
y
:
read fre
e
ing f
u
n
cti
o
n
s
from
f
i
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan
Carpe
n
ter
c
h
eck_memory: rea
d
f
reeing functi
o
ns from f
i
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Da
n
Carpe
n
ter
f
rees_argume
n
t: don't cou
n
t
f
unctions
t
ha
t
only free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-21
D
an C
a
rpenter
core: imp
r
ove andin
g
condition ha
n
dling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan
Ca
r
penter
check_overf
l
ow: move to n
e
w add_funct
i
on_hook(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Car
p
enter
c
h
e
ck_locking
:
move t
o
t
h
e new function
h
o
ok
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
D
a
n Carpenter
check
_
locking:
f
i
x
some d
o
uble unl
o
ck false pos
i
tives
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
core: add_functi
o
n_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan C
a
rpen
t
er
make
some vars static
.
other
r
andom sparse stuff
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Da
n
Carpenter
c
ore: add_unmatched_state
_
hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
imp
l
ied:
r
e
-
add the d
e
bug output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpen
t
er
change
c
onvention: regi
s
ter_template() -> check_template(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan
C
arpenter
lockin
g
: add
s
om
e
more
m
utex
f
unct
i
o
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan
C
arpenter
Make --known-conditions an o
p
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n Carpenter
handle known conditions better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan
Carpenter
check_memory: ad
d
rudi
m
e
n
tary validation test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Ca
r
penter
new sc
r
i
pt to p
r
i
nt
a
list
of func
t
ions w
h
i
c
h fre
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
Carpenter
check_memor
y
: make arguments s
t
atic
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
an C
a
rpenter
templa
t
e: fix memory l
e
ak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
ar
p
enter
te
m
pl
a
te: remove unuse
d
header, up
d
a
t
e
comments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n Carpenter
check_lo
c
king:
a
d
d
mutexe
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan C
a
rpenter
check_memory: a
d
d kzall
o
c
(), more complex
variables
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
arpe
n
ter
impl
i
ed: handle &
u
ndefined better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
D
an Carpenter
i
nfo: loop could b
e
r
e
placed
with if statem
e
nt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carp
e
nter
kchecker: add "--sparse"
option
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpent
e
r
sma
t
ch_im
p
lied/sli
s
t
:
move fu
n
ction
s
from slist to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
c
heck
_
memory: use
c
ompl
e
x
variables
i
nste
a
d
of regul
a
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpe
n
ter
check_me
m
ory: as
s
ume parent
s
a
s
s
i
gned o
n
all p
a
th
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next