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
Don't allocate so many extra_undefined states.
2009-04-11
Dan C
a
r
p
e
n
ter
Don't allocate
s
o
m
a
n
y
extra_undef
i
ned
s
t
ates
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
penter
c
r
eate
alloc_extr
a
_state_empty()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
rem
o
ve true_comparison() and do_comparison()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carp
e
nte
r
move (true|fals
e
)_co
m
parison_range() to
s
match_extra_helper
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan C
a
rpenter
clea
r
->
m
y
_
l
i
s
ts for &
i
gnore
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpen
t
er
Print more --debug-implied
i
n
f
o
r
mation when --debug
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpen
t
er
Removed hard coded
options
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carpente
r
Fix range com
p
arison
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
an Carpente
r
remove unused function: range_list_in
t
e
rsec
t
i
o
n()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Ha
n
dle
U
N
DEF
I
NE
D
rang
e
and display the na
m
e c
o
r
r
e
c
tly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpe
n
ter
Fix state names f
o
r ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Implied
r
a
n
ges
.
Part #3
.
Range Lists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Update da
t
a
files
for 2
.
6
.
30-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
an Carpent
e
r
smatch_extra
.
s
ave
o
the
r
comparison
s
besides
j
u
st
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan
Carpe
n
ter
handle
:
if ((foo = try
_
loc
k
()))
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
an Carpenter
rename: e
x
pr
_
to_val() ->
g
et
_
i
m
plied_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
F
ix handling of if (IS_ERR(foo = bar())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan
C
arpenter
handle if cond
i
tional fu
n
cti
o
n
s are assigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
ar
p
enter
Add new restricted kn
o
wn_condition_tr
u
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Carpe
n
ter
rename kn
o
wn_co
n
dition_true() to
i
m
plie
d
_condition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
ar
p
en
t
er
A
d
d ER
R
_P
T
R() check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan C
a
rpenter
__module_put_a
n
d_e
x
it() d
o
esn't re
t
urn
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
an Carpent
e
r
Separ
a
te the
l
i
s
t of free
d
a
rguments from
decremented
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Car
p
en
t
e
r
Write a script
t
o p
r
i
n
t
f
unct
i
on
s
that return NULL
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpe
n
ter
D
on't
f
r
ee bin
_
dir
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
an C
a
rp
e
nter
Oops
.
Commit thes
e
e
sse
n
tial files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Da
n
C
a
rpenter
H
a
ndle kno
w
n conditions
when they
a
re a simple
va
l
ue
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Ad
d
C
A
SE_
H
OOK
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
a
rpenter
Fix memory leaks
f
ound by v
a
lgrind
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n C
a
r
p
enter
alloc_string() -> al
l
o
c_sname()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Put some validation scripts in the closet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
arpenter
I
m
pl
i
ed
r
anges
.
P
art
#
2
.
Fi
l
ters
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpente
r
S
i
lence th
e
m
u
tually e
x
clusive
output
a
gain
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan
Carpenter
Free all data_
i
nfo at th
e
end of a function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
D
a
n Carpent
e
r
Add --no-d
a
t
a o
p
t
i
o
n
a
n
d
warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpent
e
r
range f
i
x
.
anding slists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Car
p
enter
cl
e
a
n
ups from clone_s
l
ist
(
) chang
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
D
a
n Carpenter
Impli
e
d
ranges
.
Part
#1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
Dan Carpente
r
Add the allo
c
ation funcs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
D
an Carpent
e
r
free_scq is defined 2 times quite differ
e
n
tly
.
It
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Da
n
Carpenter
Fix
i
mp
l
ications
(
f
allout from
clone_slist
(
) changes)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
D
a
n Car
p
en
t
e
r
Major me
m
o
ry saving
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
D
an Carpent
e
r
--debu
g
means prin
t
the implicati
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpe
n
ter
Add --no-implie
d
t
o
t
he he
l
p text
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
S
ave
m
e
m
ory
.
Do
n
't copy the state
name so much
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
Ad
d
check_type
.
c (di
s
abled)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carp
e
n
ter
k
r
ef_put() a
n
d kobject_put() ar
e
ba
s
i
c
ally l
i
ke a f
r
ee
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-29
D
an Carpenter
Don't dereference fr
e
e
d
memor
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
Add all
t
he al
l
ocation functions to check_leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
Gener
a
te a l
i
s
t
of
functions that allo
c
ate data
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-27
Dan
C
a
r
pent
e
r
U
p
date the
g
en_frees
_
list
.
s
h
an
d
t
he g
e
nerated data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan
C
ar
p
e
nter
Sav
e
fu
n
c
tion li
s
ts
in smat
c
h
_
d
a
ta/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan C
a
rpent
e
r
new (disabled) script: chec
k
_
leaks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan
Ca
r
p
e
nter
impl
i
ed: add get_imp
l
ications() for
s
cri
p
ts t
o
use
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
D
an Carpe
n
ter
A
d
d c
o
mment
.
get_value ret
u
rns UNDEFINED o
n
error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
function_hooks: bump the
n
umb
e
r of ent
r
ies in t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Da
n
Ca
r
p
enter
new: add_fun
c
tion
_
assign_
h
ook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n
C
arp
e
nter
Clean u
p
the conditiona
l
hook code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
new api: add_conditional_hook(), set_c
o
n
d
_
states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan
Carpente
r
function_hoo
k
s: pass the func
t
ion name as
well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
D
a
n C
a
r
penter
do
n
't
t
ry ret
u
rn bloc
k
things in get_var
i
a
b
le_fro
m
_expr_comp
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan C
a
rpenter
A
dd a list of noretur
n
t
ype functions th
a
t nulli
f
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
Merge bra
n
ch 'devel'
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Carpenter
recom
p
ile the che
c
k
_
*
.
c
files if the s
m
a
t
ch headers
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpente
r
check_overflow: t
e
st c
o
py_to/fr
o
m_
u
ser
as
w
ell
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
check_overflow
:
don't
m
ultiply
t
he size o
f
strings
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan
Carpenter
a
ssum
e
d_nonnull cr
a
p
.
.
.
temp fix
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n
Ca
r
penter
Add
script to generat
e
t
h
e frees l
i
st
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
an Carpenter
rename register_fr
e
es_argument to check_fre
e
s_arg
u
m
e
nt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
fi
x
order
of p
r
ocess
i
n
g
o
f
c
omm
a
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
an Carpen
t
e
r
get rid of FUNCTI
O
N
_
CALL_A
F
TER_HOO
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
c
h
ange order of cond
i
tion processing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpenter
get
r
i
d of ASSIGNME
N
T_AFTER_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
ch
e
ck_memor
y
:
r
ead fr
e
eing f
u
ncti
o
ns from fi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carp
e
nter
c
h
eck_memory:
read freeing functions
f
r
om
f
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan
C
arpen
t
er
f
rees_argume
n
t: don'
t
coun
t
functions
that only free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-21
Dan Carpenter
core: improve a
n
ding condition
h
andling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
D
a
n Carpen
t
er
check_overflo
w
: move to new
ad
d
_func
t
i
o
n_hook(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpent
e
r
check_
l
oc
k
i
ng
:
mov
e
to the new fu
n
ction
h
o
o
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan
C
arpent
e
r
ch
e
c
k_l
o
cking: fix some doubl
e
unl
o
ck false positives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
core:
a
dd_function_
h
ook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n
Carpenter
make som
e
vars stat
i
c
.
other random sparse
s
tuff
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
core: add_unmatched_state_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpe
n
ter
implied: re-
a
dd
t
he debug output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Ca
r
pente
r
change co
n
vention
:
r
e
gister_template
(
)
-
> check_templa
t
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan
Car
p
e
nter
lo
c
king:
add some more m
u
tex functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
Make --kno
w
n-con
d
itio
n
s an
o
ption
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
arpenter
h
a
ndle known conditions b
e
tt
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
check_memory: add rudimen
t
ary validatio
n
t
es
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n
Carpenter
new script to print a list of fu
n
ctions w
h
ich free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n Carpenter
check_me
m
o
r
y
:
ma
k
e a
r
guments
sta
t
ic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n Carpenter
templa
t
e: fix memor
y
leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
template: remove unused hea
d
er, up
d
a
t
e
c
omments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
check_l
o
cking: add mute
x
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
c
heck_memory:
add
kza
l
loc(), more
complex va
r
iables
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
implied:
handle
&
undefined better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
i
n
fo: loop could be replaced with if statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
D
a
n Carpenter
kchecker:
a
d
d
"--sparse"
option
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
smatc
h
_implied/slist: m
o
ve functions from slist to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpe
n
ter
check_memo
r
y: use
c
omp
l
e
x variabl
e
s
i
nstead of regular
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next