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 Car
p
e
n
ter
R
edo
c
hecking fo
r
o
ut of r
a
n
ge args to ERR_PTR()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
Dan Carpenter
He
r
e is a bu
g
in hand
l
i
ng
c
om
p
ound
conditi
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Handle stra
i
ght forward c
o
mparisons t
o
zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
Store the implicat
i
ons
f
or
return_imp
l
ies_state() assignments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Ca
r
pente
r
Add: return_i
m
plie
s
_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n
Ca
r
pen
t
er
Rename smatch_extr
a
_helper
.
c
t
o
s
match
_
r
a
nges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpen
t
er
Elim
i
nate set_c
o
n
d
_states() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpent
e
r
Smal
l
c
l
ean
up
.
Alloca
t
i
ng filter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
an
C
arpenter
V
e
rify that the
val
u
e passed to ER
R
_PTR(
)
i
s
n't too
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carpenter
Fix
c
ompiler in
t
<-
>
ptr con
v
ersion
warnings
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
a
rpenter
Mer
g
e adjacent ranges
.
1-
2
,3-4 becomes 1-4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpent
e
r
Save some
al
l
ocations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
an Carpenter
Fix strncat
(
) bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Dan Carpenter
Improve
h
a
n
dl
i
ng of
for lo
o
ps
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Da
n
Carpenter
Handle once
t
hrough loops differently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Fix merging ranges
.
Completely b
r
o
ken before
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpe
n
ter
Typo: <= instead of >=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Reve
r
s
e
al
l
the
r
a
ng
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
D
o
n't
the implications
f
or the s
t
ate determining the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
penter
m
atch
_
comparison t
o
handle less than
,
greater th
a
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpe
n
ter
C
h
ange
l
o
c
king output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpen
t
e
r
Don't
a
llocate so many extra
_
undefined states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carpenter
creat
e
alloc_extra_state_empty()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpen
t
er
remov
e
t
r
ue_c
o
mparis
o
n(
)
and do_compar
i
son()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carp
e
nter
move (true
|
false)
_
comparison_range() to smatc
h
_extra_he
l
per
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
C
a
rpenter
c
lear ->m
y
_lis
t
s for &ign
o
re
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n
Carpenter
Prin
t
more --deb
u
g-implie
d
inform
a
tion when --debug
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpen
t
er
Removed h
a
r
d coded options
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
F
i
x range comparison
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Ca
r
penter
remove unused function:
r
a
n
ge_list_
i
ntersection()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Handle U
N
DEFINED rang
e
and display the n
a
m
e correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Ca
r
pent
e
r
Fix
s
tate names
f
or
ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Ca
r
p
ente
r
Impli
e
d ranges
.
Pa
r
t #3
.
Range
L
ists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan
C
arpenter
U
p
date
d
ata files fo
r
2
.
6
.
30-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n C
a
rp
e
nter
smatch_extra
.
sa
v
e
other co
m
parisons be
s
ides just
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
handle: if
(
(foo = try_lock(
)
)
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan C
a
rp
e
n
t
e
r
rename: exp
r
_
to_
v
al() -> get_implied_v
a
l
u
e(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n
Car
p
e
nter
Fix handling of i
f
(IS
_
E
RR
(
foo = bar()))
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan
Carpent
e
r
handle if conditional fu
n
ctions are assigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpe
n
ter
Add
new r
e
str
i
cted known_condition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
rename known_condition_true() to implied_conditio
n
_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
A
dd
E
RR_P
T
R() chec
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n Carpenter
__modul
e
_put_and
_
e
x
it() doesn'
t
return
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
C
arpent
e
r
Se
p
arate the list of freed argu
m
ents from decr
e
mente
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Write a script
t
o
print fun
c
tion
s
that re
t
u
r
n NULL
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
D
an Carpenter
Do
n
't free bin_dir
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpent
e
r
Oops
.
C
ommit these es
s
enti
a
l files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Da
n
Carpenter
Handle
know
n
condi
t
ion
s
when they are a
s
impl
e
v
alue
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carp
e
nte
r
Add CA
S
E_HOOK
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpe
n
ter
Fix memor
y
le
a
ks found by valgrind
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
Carp
e
nter
all
o
c
_
s
t
ri
n
g() ->
all
o
c_sname
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n
Carpen
t
er
Put some vali
d
ation scripts i
n
the
closet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan
Carpenter
Imp
l
ied ranges
.
Part #2
.
F
ilters
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan
C
arp
e
n
t
er
Silen
c
e the m
u
tu
a
lly exclusive o
u
tp
u
t
a
gain
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Free
a
l
l data_in
f
o at the end of
a
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
D
a
n Carpenter
A
dd --no-da
t
a
op
t
i
o
n and warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan
C
arpenter
range fix
.
anding slists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carp
e
nte
r
cleanu
p
s
from clone_
s
list
(
)
c
hange
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
I
m
plied ranges
.
Part #1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
D
an Car
p
ente
r
Add
t
h
e
allocation funcs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan
C
a
rpenter
free_scq is define
d
2
t
im
e
s qu
i
te differently
.
It
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Da
n
Carpe
n
ter
Fix imp
l
icatio
n
s
(
f
a
llout from clone_slist()
c
h
a
nge
s
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpe
n
ter
Ma
j
or me
m
ory
s
aving
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
--debug means print
t
h
e
impl
i
c
a
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan C
a
rpenter
Add --n
o
-implied t
o
the help
t
e
xt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
D
an C
a
r
p
enter
Save memor
y
.
Do
n
't copy the stat
e
nam
e
so much
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpente
r
Add che
c
k_type
.
c (dis
a
bled)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
D
a
n
C
arpenter
k
ref_put() and kobject_put(
)
are basically like
a free()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-29
Dan Carpen
t
er
Don
'
t der
e
fere
n
c
e
freed memor
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
Add all the allocation functions to ch
e
ck_leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan
C
a
rpe
n
ter
Generate a
l
is
t
of functions that allocate data
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-27
Dan C
a
r
penter
Up
d
a
te
th
e
gen_frees_list
.
sh and the generat
e
d data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carp
e
nter
Sa
v
e function l
i
sts
i
n
smatch
_
da
t
a/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
ne
w
(disabled) script: che
c
k_l
e
aks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpent
e
r
implied: a
d
d
g
et_implications(
)
for sc
r
ip
t
s to
u
se
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Car
p
e
n
ter
Add comment
.
get_valu
e
retu
r
ns UND
E
FINED
o
n error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan
C
arpenter
fu
n
ction_hooks:
bu
m
p
t
h
e number of
entries in the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpente
r
new:
add_function_
a
ssign
_
hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Car
p
en
t
er
Clean up
t
he condit
i
onal hook
c
ode
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
new api: a
d
d_
c
onditional_hoo
k
(),
s
et_cond_states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Da
n
Carpenter
f
u
nct
i
on_h
o
oks: pass
t
he f
u
nction name a
s
well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
don't try
return b
l
o
c
k things in g
e
t_variabl
e
_from_exp
r
_com
p
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
D
a
n Carpenter
Add a list of n
o
return
t
ype functions tha
t
nullify
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpent
e
r
Mer
g
e b
r
anch 'devel
'
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
recompile t
h
e
c
h
eck_*
.
c
files if the smatc
h
headers
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Carpente
r
c
he
c
k
_
ov
e
rflow
:
test copy_to/from_us
e
r as well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpenter
ch
e
c
k
_
overfl
o
w
:
d
on't mul
t
iply
t
he size of s
t
r
i
ngs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpente
r
as
s
u
m
e
d_nonnull
crap
.
.
.
temp fix
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
Add script
t
o genera
t
e the frees
list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
re
n
ame r
e
g
i
ste
r
_frees_argument
t
o check_fr
e
es_argument
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan
Carpe
n
ter
fix o
r
der of
p
roces
s
in
g
of commas
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
get rid of FUNCTION_C
A
L
L_
A
FTER_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
penter
c
ha
n
ge
o
rde
r
of conditio
n
pr
o
cessing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
pente
r
g
et ri
d
of AS
S
IGNMENT_AFT
E
R_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
ch
e
ck_memory: r
e
ad fr
e
eing functions
f
rom file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpenter
check_mem
o
ry:
r
ead f
r
eeing f
u
nctions from
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan C
a
rpenter
f
rees
_
argume
n
t: don't
count functions that
o
nly free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-21
Da
n
Carpe
n
ter
core: improve andin
g
condition handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
D
a
n
Car
p
e
n
t
e
r
check_overf
l
ow: move to new
add_func
t
ion_
h
ook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
check_loc
k
ing: move t
o
the new fu
n
c
t
i
on hoo
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next