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
Red
o
ch
e
cking for out of
ra
n
ge arg
s
to
ERR_P
T
R()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
D
an Carpenter
Here
i
s
a b
u
g in
h
and
l
i
n
g com
p
ound conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Handle straight
forward
c
omparison
s
t
o
zero
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan C
a
r
penter
St
o
r
e the implic
a
tions
f
or
r
eturn_implies
_
stat
e
()
a
s
s
ignments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
A
dd:
r
eturn
_
impl
i
es_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Car
p
en
t
er
Ren
a
me
smatch_extra_h
e
lp
e
r
.
c to smatch_r
a
nges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Eliminate s
e
t_cond
_
states()
func
t
i
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Small clean
u
p
.
Al
l
oc
a
t
ing fi
l
te
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
arpe
n
ter
Verify
t
hat the value passed to ERR_PTR() i
s
n't
t
o
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
an
C
a
rpen
t
er
Fix compiler int<->ptr conversion
w
a
rnings
commit
|
commitdiff
|
tree
2009-04-14
Dan Carp
e
nter
Merge adjacent r
a
nges
.
1-2,3-4 be
c
omes 1-4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n Carpenter
Save some alloca
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Car
p
e
nter
Fix strncat() bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
Dan Car
p
en
t
er
Improve
h
andling of for
l
oops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Handle once throug
h
loops diffe
r
e
n
tly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Fix merging ranges
.
Comple
t
ely
b
roken be
f
ore
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Da
n
C
arpenter
Typo
:
<= instead o
f
>=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan
C
arpe
n
ter
Rever
s
e all the
r
ang
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Don't th
e
implications for the state det
e
rmini
n
g the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpenter
match_comparison
to handle less than, gre
a
ter than
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpenter
Change lockin
g
output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Don't all
o
ca
t
e so man
y
extra_
u
n
d
efined states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpente
r
c
r
e
ate alloc_extra_state_emp
t
y()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
r
emo
v
e true_
c
o
m
pari
s
on(
)
and do_comparison()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
penter
move (tr
u
e|false)_compariso
n
_ra
n
ge() to smatc
h
_extra_helper
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpenter
clear -
>
my_li
s
ts for &i
g
nore
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpenter
Pri
n
t
more --de
b
ug-imp
l
ie
d
inf
o
rm
a
tion when --d
e
bug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Re
m
oved hard
c
od
e
d options
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
pente
r
Fi
x
range comparison
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
an
C
a
rpen
t
er
remove
u
n
u
s
e
d f
u
nction
:
ran
g
e
_
list_inters
e
ction
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpen
t
er
Handle UNDEFINED range
and display
th
e
n
a
me cor
r
ectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
F
i
x state names for rang
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Imp
l
ied
r
anges
.
Part #3
.
Ra
n
g
e Lists
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carp
e
nter
Update data files f
o
r 2
.
6
.
30-rc
1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
C
a
rpenter
s
match_extra
.
save o
t
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 = try_lock())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpe
n
ter
rename: expr_t
o
_val() ->
g
e
t_implied_valu
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
Fix handling o
f
if
(
IS_ERR(foo
= ba
r
())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpen
t
e
r
handle
i
f
conditiona
l
func
t
ions
a
r
e
assigne
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpent
e
r
A
d
d new restricted k
n
o
w
n_condition_tr
u
e(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
C
arpenter
rename known_co
n
dition_true() to implied_c
o
nditi
o
n_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n Carpenter
Add
ER
R
_PTR(
)
check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
C
arpenter
__modul
e
_p
u
t_and_e
x
it() doesn't
r
eturn
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Separate the
l
i
st of freed
arguments from
d
ecremented
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
W
rite a script to
p
rint functio
n
s that retu
r
n N
U
LL
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Don't
free bin_d
i
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Oops
.
Commit th
e
se essential files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Handle k
n
own conditions when they
a
r
e a simple value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n Carpenter
Add CASE_HO
O
K
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpente
r
Fix memory l
e
aks found 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
Da
n
Carpenter
P
u
t
s
o
me va
l
idation sc
r
i
pts in the closet
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Da
n
C
a
rp
e
nter
Implied
ranges
.
Part #2
.
Fil
t
ers
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Car
p
ent
e
r
Silence the mut
u
ally exclusive output again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan
Carp
e
n
ter
Free all data_in
f
o at the end o
f
a function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpen
t
er
Add --no-data option and warning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan
Carpenter
range fix
.
andin
g
s
lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan
Carpenter
cl
e
a
n
ups from clone_slist()
chan
g
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
Implied
rang
e
s
.
Part
#1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
Dan Ca
r
pent
e
r
Add the allocation fun
c
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
a
n
Carp
e
nter
fre
e
_scq is defined 2 times
q
u
ite differently
.
It
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Da
n
Carpenter
Fix i
m
plicat
i
ons (
f
allout from cl
o
ne_s
l
is
t
() cha
n
ges)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpe
n
ter
M
ajo
r
mem
o
r
y
s
aving
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
--debug me
a
ns
p
ri
n
t the implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan C
a
rp
e
nter
Add --no-i
m
pl
i
ed to the help text
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
D
a
n
Carp
e
nter
Save memory
.
Do
n
't copy the st
a
te
name
s
o m
u
ch
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
D
an C
a
rpe
n
te
r
Add che
c
k_type
.
c
(
disabled)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
kref_put() and kobject_put() are bas
i
cal
l
y like
a
free()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-29
Da
n
Carpenter
Don't d
e
refe
r
e
n
ce freed memor
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
D
a
n
C
arp
e
n
t
e
r
A
d
d
all
t
h
e alloc
a
t
ion
f
u
nctions to check_leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Da
n
C
a
rp
e
nte
r
Generate a
l
i
st
o
f
funct
i
ons that al
l
oca
t
e d
a
ta
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-27
Dan Ca
r
pent
e
r
Update the
gen_f
r
e
es_list
.
s
h
and
t
h
e generated data
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan
Carpenter
S
a
ve function lists in smatch_data
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
new (disabl
e
d)
s
c
ript: check_
l
eaks
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
imp
l
ied:
add get_implicati
o
n
s
() for
s
cri
p
ts t
o
u
s
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Da
n
Carpenter
A
dd
c
omment
.
g
et_valu
e
retur
n
s UNDEFI
N
ED on error
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
funct
i
on_hooks: bump
t
h
e
number of entries in the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carp
e
n
t
e
r
new: add_function_assign_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpente
r
Cl
e
a
n up the condit
i
onal hook
code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpente
r
n
e
w api:
a
d
d_conditiona
l
_hook
(
),
set_cond_s
t
a
tes();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
D
a
n
Carpente
r
fun
c
tion_
h
ooks: pass the function name as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Car
p
e
nter
don't
t
ry return block
t
hings in get_variabl
e
_
f
rom
_
expr_c
o
mp
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Car
p
enter
Add a list of nore
t
ur
n
type
functions that n
u
llify
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
D
a
n
Carpenter
Merg
e
br
a
nch
'
d
e
vel'
commit
|
commitdiff
|
tree
2009-03-23
Dan C
a
r
penter
rec
o
m
pile the c
h
eck_*
.
c fil
e
s if the smatch headers
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Car
p
enter
check_ove
r
f
l
o
w
: te
s
t
c
opy_t
o
/from_us
e
r
a
s
w
e
l
l
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpenter
check_
o
verfl
o
w: don't mu
l
tiply the size of strings
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
assume
d
_nonnull crap
.
.
.
temp fix
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpenter
Add script to generate the fr
e
es list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carp
e
nter
rename
regi
s
ter_f
r
ees_argument to ch
e
ck_frees_argument
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpenter
fix
order
o
f
p
rocessing of commas
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carp
e
nter
get rid of
F
UNCTION_CALL_AF
T
ER_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
c
h
ang
e
orde
r
of condition
proce
s
s
i
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Carpenter
get ri
d
of
ASSIGNMENT_AFTER_
H
OOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carp
e
nter
c
he
c
k_memory
:
read freein
g
functions from fi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Da
n
Carp
e
nte
r
check_
m
emory: read
f
reei
n
g func
t
ions fro
m
fi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Da
n
C
a
rpenter
frees_argument: don't count
functions
t
h
a
t
only fr
e
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-21
Dan C
a
rpent
e
r
cor
e
: imp
r
ov
e
a
n
ding condition handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpen
t
e
r
c
heck_overf
l
ow: move
to new add_function_
h
ook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
D
a
n Carpente
r
check_lock
i
ng
:
m
o
ve
to
t
he new func
t
i
o
n
hook
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next