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
Redo chec
k
ing
f
or ou
t
of range args to ERR_PTR()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
Dan Carp
e
nter
H
e
re is a
bug
i
n handling compound
cond
i
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
D
an Carpenter
Handle strai
g
h
t
f
orward
c
ompa
r
isons to zero
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Car
p
e
n
t
er
S
t
ore the implicatio
n
s for return_i
m
plies_state() assignments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpe
n
t
e
r
Ad
d
: ret
u
rn
_
im
p
lies_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Rename
sma
t
ch_
e
xt
r
a_helper
.
c
t
o
s
match_ranges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpen
t
er
E
liminate
set_cond
_
states() function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Smal
l
c
lean up
.
Al
l
oca
t
in
g
filt
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Veri
f
y that t
h
e valu
e
passed to
ER
R
_PTR() isn't
t
oo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Fix compiler int<
-
>ptr
c
o
n
v
ersion warnings
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carpen
t
er
Merge adjacent ranges
.
1-2
,
3-4
beco
m
es
1
-4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Save s
o
me al
l
ocations
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Fix st
r
nca
t
() bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
Dan Carp
e
nter
I
m
prove hand
l
in
g
o
f
for loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Da
n
C
a
rpe
n
ter
H
a
ndle once throug
h
lo
o
ps differently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan C
a
rpenter
Fix
merging ranges
.
C
omplete
l
y b
r
oken before
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan C
a
rpe
n
ter
Typo
:
<
=
i
nstead of >=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Da
n
Carpenter
Rever
s
e all
the ra
n
ges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Don't the
i
mplica
t
ions
f
or the s
t
ate determi
n
i
ng the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpenter
m
a
tch_comp
a
rison to handle
less
t
han, greater than
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
an Ca
r
pent
e
r
Change locking outpu
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
e
n
t
e
r
D
on't
alloc
a
te
s
o ma
n
y extra_undefined
states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
cr
e
ate alloc_extra_state_empty()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpe
n
ter
remove true_comparison() and do_com
p
arison()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpen
t
er
m
o
v
e (tr
u
e|false)_c
o
m
parison_range
(
) to smatc
h
_extra_helper
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
clea
r
->my_lists
fo
r
&ign
o
re
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan C
a
rpen
t
er
P
r
int m
o
re
-
-debug-imp
l
ied information when --debug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
a
rpenter
Removed h
a
rd coded options
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Fix
range compari
s
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
remove un
u
sed
f
unct
i
on: range_list_intersection(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan C
a
rpenter
H
a
n
dle UND
E
FINED ra
n
ge and d
i
spla
y
t
h
e name cor
r
ectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n
C
a
rpen
t
e
r
F
i
x state names for
r
anges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
I
m
plied r
a
n
ges
.
Part #3
.
Ran
g
e Lists
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Upda
t
e data files
f
or 2
.
6
.
30-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpent
e
r
smatch_extra
.
s
ave
o
ther comparis
o
ns
besides just
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpent
e
r
handle: if ((foo = try_loc
k
(
)
)) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n
Ca
r
penter
rename: expr_to_val
(
)
-> get_implied_va
l
ue()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carp
e
n
t
e
r
Fix handl
i
ng of if (IS_ERR(foo = ba
r
(
))) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n Carpente
r
handle i
f
condit
i
onal functions
a
re ass
i
gned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Carpenter
Add new restricted know
n
_condition
_
true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpe
n
ter
re
n
ame known_condition_true()
to
i
mplied_conditi
o
n_
t
ru
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpen
t
er
Add ERR_PTR() che
c
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
Carpen
t
e
r
__module_put
_
and_exit() doesn't return
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpent
e
r
Se
p
arate the li
s
t
of
freed
a
r
g
ume
n
ts from decremented
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Write
a
sc
r
ipt
to pr
i
nt functions
that
ret
u
rn NULL
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan C
a
r
p
enter
Don'
t
free bin_dir
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Oops
.
Commit these essent
i
al files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpent
e
r
H
a
n
d
le know
n
con
d
itions when th
e
y ar
e
a s
i
mple value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpe
n
ter
A
dd CASE_HOOK
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n Carpenter
Fix memory leaks found by valgrind
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
al
l
o
c
_
str
i
ng()
-
> alloc_sna
m
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan C
a
rpenter
Put some v
a
l
id
a
tion scr
i
p
t
s in
the clo
s
et
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
an Carpenter
Implied r
a
nges
.
Part
#
2
.
F
ilters
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
D
a
n Carpenter
S
i
lence the
mutually exclus
i
v
e
o
utput again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
D
a
n Carpenter
Free a
l
l
data_in
f
o at
t
h
e
end of a funct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
D
a
n Carpenter
Add
-
-no
-
data
o
ptio
n
and war
n
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
r
ange fix
.
an
d
i
n
g slis
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpent
e
r
clea
n
u
ps from
c
lone_sli
s
t
()
changes
.
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
penter
Add the allocat
i
on
f
uncs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
fre
e
_scq is defin
e
d
2
times quite diff
e
r
e
ntly
.
It
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
a
n
Car
p
e
nter
F
ix im
p
lic
a
ti
o
ns (fallo
u
t from clone_slis
t
()
c
hanges)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
Maj
o
r
m
emory saving
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
--d
e
bug means print the implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
Add --no-implied to t
h
e help text
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
D
a
n Ca
r
penter
Sa
v
e m
e
mory
.
Don't copy t
h
e s
t
ate name so
m
uc
h
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan
Carpen
t
er
Add check_type
.
c (disabled)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
D
a
n
C
arpenter
kre
f
_put(
)
a
nd k
o
bj
e
ct_put() are basically like a free()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-29
D
an
C
arpe
n
ter
Don't dereference fr
e
ed me
m
ory
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan C
a
rpenter
A
d
d
all the
a
l
l
o
c
ation func
t
ions to che
c
k_lea
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
Gener
a
te a list of functions that all
o
c
a
te
d
ata
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-27
Dan Carpe
n
ter
Up
d
ate
t
h
e ge
n
_frees_list
.
s
h
a
n
d the
ge
n
e
rated
d
ata
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Da
n
Carpe
n
t
e
r
S
a
ve function
l
is
t
s
i
n
smatch_data/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
D
an Carpen
t
er
new (disa
b
le
d
)
s
cript: c
h
eck_leaks
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan
C
arpen
t
er
implied:
add get_implicat
i
ons() for scripts to use
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpent
e
r
A
dd comment
.
g
e
t_value ret
u
rns UNDEFINE
D
on erro
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carp
e
nter
f
u
nction_hooks: bump the number of entries in the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Carpent
e
r
new: add_fun
c
ti
o
n_assign_ho
o
k()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Carpenter
Clean up the c
o
n
dition
a
l hook co
d
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
new api: add_co
n
ditional_hook
(
), set_c
o
nd_s
t
ates();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
D
a
n Carpenter
function_h
o
oks: pass the function name
as
w
ell
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Car
p
e
nter
do
n
't try return blo
c
k things in get_va
r
iable_from_exp
r
_
comp
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
D
a
n
C
a
r
penter
Add a lis
t
of noreturn typ
e
func
t
ion
s
that nullify
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Da
n
Carpe
n
ter
Mer
g
e
b
ran
c
h 'd
e
v
el'
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Ca
r
pent
e
r
recompile th
e
check_*
.
c fi
l
es i
f
th
e
s
m
atch hea
d
ers
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Carpenter
check_overflow: test co
p
y_to/from_user a
s
w
ell
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
penter
check_ov
e
rflow: d
o
n't
multiply
the size
o
f
s
trings
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an Carpen
t
er
assumed
_
nonnull crap
.
.
.
temp
fix
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
Add
s
c
ript to generate
t
he frees list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Car
p
enter
rename register_frees_argume
n
t
to check_frees_
a
r
g
ume
n
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n
C
arpenter
fix ord
e
r of p
r
oce
s
sing
o
f comma
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpe
n
ter
g
et rid o
f
F
UNCTION_CAL
L
_AFTER_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpe
n
ter
change orde
r
of condition processing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan C
a
r
penter
g
et rid of ASSI
G
NMENT_AFT
E
R_HO
O
K
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n
C
a
r
p
en
t
er
check_
m
emor
y
: rea
d
freeing f
u
nctions from file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpenter
check
_
memory: rea
d
f
reei
n
g fu
n
ction
s
from fi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan
Carp
e
n
ter
fr
e
es_argument: don't coun
t
functions th
a
t only free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-21
Dan Carpenter
core: improve an
d
ing con
d
it
i
o
n
handli
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Da
n
Carpenter
check_o
v
erflow:
m
ov
e
to new add_function_hook
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carp
e
n
ter
check_lockin
g
: m
o
ve
t
o th
e
n
e
w functi
o
n ho
o
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next