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
Redo checking for out of range args to ERR_PTR()
2009-04-18
Dan Carpenter
R
e
do checking for out of range
args
to ERR_PT
R
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
Dan Carpenter
Her
e
is a bu
g
in handling
compound
c
o
n
ditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Ca
r
p
e
n
t
er
Ha
n
d
l
e straight forward compariso
n
s to zero
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
D
a
n
C
arpenter
Store the implications for return_implie
s
_sta
t
e() assignme
n
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carp
e
nter
A
d
d
:
return_im
p
li
e
s
_
state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Re
n
ame smat
c
h
_
extr
a
_
h
elper
.
c t
o
s
m
at
c
h_rang
e
s
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Car
p
e
nter
Elimina
t
e
set_c
o
nd_states() fu
n
ction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Small clean up
.
A
l
locati
n
g
f
ilter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
Carpe
n
t
e
r
Verify
t
h
a
t the value pas
s
ed
t
o
ERR_PTR() isn't too
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carp
e
nt
e
r
Fi
x
c
o
m
p
iler
int<->ptr conversion warnings
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
arp
e
nter
Merge adj
a
cent ra
n
ges
.
1-2,3-4
b
ecomes 1-4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Save some allocatio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
arpen
t
er
Fi
x
strncat() bug
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
Dan Carpenter
Improve
h
andlin
g
o
f f
o
r loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Handle once throu
g
h
l
oops di
f
fe
r
ently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpe
n
t
e
r
Fix
m
erging range
s
.
Comp
l
etely broken before
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Typo: <= instead of >=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Reverse all the ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n Carpenter
Don't the impli
c
ations for the state determin
i
n
g
th
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpenter
match_comparison to ha
n
d
l
e less than,
g
re
a
ter than
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan C
a
r
penter
Chang
e
loc
k
ing outpu
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Don't al
l
ocate so many e
x
tra
_
undefin
e
d state
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
penter
c
reate all
o
c_extra
_
state_empty()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
rem
o
ve true_compar
i
son() and do
_
comparison()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpente
r
move (true|false)_co
m
pari
s
o
n_range()
to
s
match_extr
a
_help
e
r
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carp
e
nter
clear ->my_lists
f
or &ignore
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpenter
Pr
i
nt more
--debug-implied
information when --debug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carpen
t
er
Removed hard cod
e
d
o
p
t
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carpenter
Fix
r
ange
c
omparison
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
an Carpen
t
e
r
rem
o
ve unused fun
c
tio
n
: ran
g
e_list
_
inters
e
c
tion()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carp
e
nte
r
Han
d
le UND
E
F
INED
range and displ
a
y the n
a
me c
o
rrectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
F
i
x state names for ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan
C
arpenter
Implied ranges
.
P
a
r
t #3
.
Ra
n
ge Lists
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
U
pdate data
files for 2
.
6
.
30-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n Carp
e
nter
smatch_e
x
tra
.
save other c
o
m
p
arisons
besides just
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Car
p
enter
h
andl
e
: if ((foo
=
try_
l
o
c
k
())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
Car
p
en
t
er
renam
e
: expr_to_val() -
>
get_implied_valu
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
F
ix handling
o
f if (
I
S
_
ER
R
(f
o
o
= bar(
)
)
)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
an Carpente
r
h
andl
e
i
f conditional f
u
ncti
o
ns
a
r
e assigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
Ca
r
penter
Add new r
e
stricted kno
w
n_condi
t
ion_
t
rue()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
penter
rename know
n
_
condition_true() to
i
mpl
i
ed_co
n
dition_true
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Car
p
ent
e
r
Ad
d
ER
R
_PTR() c
h
eck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan C
a
r
pen
t
er
_
_
m
o
dule_put_and_exit(
)
do
e
sn't ret
u
rn
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpent
e
r
Separa
t
e the list of
free
d
argume
n
ts from decreme
n
ted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n Carpenter
Write a script to pri
n
t function
s
that
r
eturn NULL
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpenter
Do
n
't
free bin_
d
ir
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Oops
.
C
o
mmit these e
s
sential fi
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Da
n
C
arpente
r
H
andle
k
n
own
conditions when t
h
ey are a simpl
e
value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n Car
p
enter
Add CASE_HOOK
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n Carpen
t
e
r
Fix mem
o
ry leaks fo
u
nd by v
a
lgr
i
nd
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
al
l
oc_string() ->
a
lloc_sname()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
Carpenter
Put some
validation s
c
ripts in
t
h
e closet
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Implied r
a
nges
.
Par
t
#2
.
F
i
lters
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
D
a
n Carpe
n
t
er
Silence the mutually exclusive
output again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Da
n
Carpenter
Free al
l
data
_
info at the end
o
f
a
function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
A
dd --no-data opti
o
n an
d
warning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpe
n
ter
range fix
.
a
nding slists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
D
an Carpe
n
ter
cleanups f
r
om clone_slist(
)
ch
a
nges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carp
e
nter
Implied ran
g
es
.
Part #1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
Dan Carpenter
A
dd
the alloca
t
io
n
funcs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
an C
a
rpenter
free
_
scq is defined 2 tim
e
s
q
uite di
f
ferently
.
It
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Ca
r
penter
Fi
x
i
m
plications (fallout fr
o
m
c
lone_slist() chang
e
s)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
Major memory s
a
ving
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
--deb
u
g means print the
impl
i
cations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpent
e
r
Add
--
n
o-implie
d
to the help
t
ext
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
S
ave memory
.
D
on
'
t copy t
h
e state name so much
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
Add c
h
eck_type
.
c (disab
l
e
d)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan C
a
rpenter
kref_put(
)
and kobjec
t
_put() are ba
s
icall
y
l
i
ke a
free()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-29
Dan
Ca
r
penter
Don't derefer
e
nc
e
freed memo
r
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
D
a
n Carpenter
A
dd all the
a
l
l
o
cation functions to check_l
e
aks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Ca
r
penter
G
e
n
er
a
te a lis
t
of functions that allo
c
ate d
a
ta
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-27
Dan Carpenter
Upda
t
e the gen_f
r
ees_list
.
s
h and
t
he gener
a
ted data
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
D
a
n
Carpente
r
Save func
t
ion li
s
t
s in
smatch_data/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpent
e
r
new (disabled)
s
cr
i
pt: check_leaks
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
implied: add get_im
p
l
icati
o
ns()
for scri
p
ts to use
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Carpenter
Ad
d
commen
t
.
ge
t
_value returns UNDEFIN
E
D on erro
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
functio
n
_h
o
ok
s
: bump the
numbe
r
of entries
i
n the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carp
e
nt
e
r
new: ad
d
_
functi
o
n_as
s
ign_
h
o
ok()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpe
n
ter
Clean up t
h
e conditi
o
nal ho
o
k
code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpent
e
r
new api
:
a
dd_cond
i
tional_hook(), set_c
o
n
d_stat
e
s
();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
func
t
ion_hooks: pas
s
t
h
e function name as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan
C
a
r
pente
r
do
n
't
t
ry retur
n
b
lock
things in g
e
t_vari
a
b
l
e_from_e
x
pr_comp
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carp
e
nter
Add a lis
t
of noreturn type functions t
h
at null
i
f
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
Merge
branch 'devel'
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
recompile the che
c
k_*
.
c files if the
s
ma
t
ch headers
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an Car
p
ente
r
check
_
ov
e
rflow
:
t
est copy_to/from_
u
s
e
r
as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpe
n
ter
check_overflow: don't
m
ultiply th
e
size
of strin
g
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
assumed_nonnull crap
.
.
.
temp
f
ix
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
Add script
to g
e
nerate the
f
r
e
es
l
i
s
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpent
e
r
rename regist
e
r_frees_a
r
g
u
ment to check_f
r
ees_argument
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpen
t
er
fix order of
proces
s
ing of commas
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
g
e
t rid of
FUNCTIO
N
_CALL_AFT
E
R
_H
O
OK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
penter
change order o
f
condition processing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpen
t
er
ge
t
rid of AS
S
IGNMENT_AFTER_
H
OOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Carpe
n
ter
ch
e
ck_memory: read f
r
eeing functi
o
ns
from fi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
D
a
n Carpenter
check
_
memory: re
a
d freeing func
t
ions fro
m
file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan Ca
r
pente
r
frees_argument: don't co
u
nt functions th
a
t only f
r
ee
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-21
Dan Carpente
r
cor
e
: i
m
prov
e
an
d
ing
co
n
ditio
n
hand
l
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
check_overflow:
m
ove t
o
ne
w
add_function_ho
o
k()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
D
a
n Carpe
n
ter
check_lock
i
ng: move to t
h
e
new functi
o
n hook
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next