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
Verify that the value passed to ERR_PTR() isn't too negative.
2009-04-14
Dan Carpenter
V
erify that the value pas
s
e
d to
E
RR_
P
TR
(
) is
n
'
t t
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
arpe
n
ter
Fix compil
e
r int<->ptr conversion
warn
i
ngs
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carp
e
nter
Merge adjacent rang
e
s
.
1-2,3-4 be
c
omes 1-4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
S
a
ve
som
e
allocati
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpente
r
Fix strncat() b
u
gs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Dan Carpenter
I
m
prove handling of for loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n Ca
r
penter
Handle
o
nce through loops differ
e
nt
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
F
i
x
merging
ra
n
ge
s
.
Completely broken bef
o
re
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n Carpenter
Typo: <=
instead of >=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
D
an Carpen
t
er
Rever
s
e a
l
l the ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
D
o
n
't the
i
mpl
i
cations fo
r
the
state
determinin
g
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
match_compa
r
ison to h
a
ndle less th
a
n, greater
t
han
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpent
e
r
Change
l
ocking output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan C
a
rpen
t
er
D
o
n't alloca
t
e so many extra
_
undefined state
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
p
ent
e
r
crea
t
e
alloc_ex
t
ra_state_empt
y
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpent
e
r
rem
o
v
e
t
r
ue_comparison() and do_c
o
m
p
arison()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
enter
m
ove
(
t
rue
|
false)_compariso
n
_rang
e
() to smatch_extra_he
l
per
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpe
n
ter
c
lear ->my_lists for &ignore
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
nt
e
r
Print more --debug-implied
i
nformati
o
n when --debug
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Removed hard coded opt
i
o
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpent
e
r
Fix
range compa
r
iso
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
an Carpen
t
e
r
rem
o
ve unused f
u
nction:
r
a
nge_l
i
st_intersection()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
D
an Carpenter
H
a
ndle U
N
DEF
I
NED
r
a
n
ge and
display the n
a
m
e
corr
e
ct
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Car
p
enter
Fix
s
tate names f
o
r
r
a
nges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Car
p
enter
I
m
pl
i
ed
ranges
.
Par
t
#3
.
Range Lists
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Up
d
ate data files f
o
r
2
.
6
.
3
0-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpe
n
ter
s
m
atch_e
x
t
ra
.
s
a
ve other
comparisons b
e
sid
e
s
j
u
st
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n Carpenter
handle:
if ((foo = try_lock())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
D
an Carpenter
rename: expr_to
_
val() -> get_implied_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Car
p
ent
e
r
F
ix handling of i
f
(IS_ERR(foo
= bar())) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carp
e
nte
r
h
andl
e
i
f
condi
t
i
on
a
l
f
unction
s
are assigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Ca
r
p
e
n
ter
Add n
e
w rest
r
icted known_condition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan C
a
rp
e
nter
rename kno
w
n_condition_tru
e
() to imp
l
ied_condition_t
r
ue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpente
r
Add ERR_
P
TR() check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan Car
p
enter
__module
_
put_and_exit() doe
s
n't
return
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpenter
Separate the
l
ist of f
r
eed arguments from decremented
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpen
t
er
Write a script to prin
t
functions that return NU
L
L
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan C
a
rpente
r
Don't f
r
ee
b
in_dir
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Carpenter
Oops
.
Commit these essential
f
i
l
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Da
n
Ca
r
penter
H
andle known condi
t
ions when they are a simple valu
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpente
r
Add CAS
E
_
HOOK
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpe
n
te
r
Fix m
e
m
o
r
y
leaks fo
u
nd by
v
alg
r
i
nd
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpente
r
all
o
c
_
string() -
>
a
lloc_sname()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
D
an Carpenter
Pu
t
some validation scripts in
t
he cl
o
set
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-05
Dan Ca
r
penter
Implied range
s
.
P
a
rt
#2
.
F
i
lters
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
D
a
n Carpen
t
er
Sile
n
ce th
e
mutually
exc
l
usive output ag
a
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpe
n
ter
Free all data_info at the end of
a
func
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpen
t
er
Add --no-data opt
i
on and warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan
C
a
r
penter
r
a
nge f
i
x
.
anding slists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Da
n
Carp
e
nter
cleanups
f
rom
c
lone_slist() changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carp
e
nt
e
r
I
mplied ranges
.
Part
#
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
D
a
n Car
p
ent
e
r
Add t
h
e
a
l
locati
o
n f
u
ncs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Ca
r
penter
fr
e
e_scq is
defined 2
t
imes quite diff
e
rent
l
y
.
It
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Car
p
e
n
ter
F
i
x implicatio
n
s
(f
a
llout
from clone
_
s
l
ist() changes)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
Ma
j
o
r
mem
o
ry saving
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan
C
arpenter
--debug means print the im
p
licat
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Car
p
enter
Add --no-implied
t
o the hel
p
te
x
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Da
n
Carp
e
nter
Save memo
r
y
.
Don't co
p
y
the state name so much
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan
C
arpenter
Add
c
h
e
ck_type
.
c (di
s
a
bl
e
d)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Car
p
enter
kref_put() and kobject_put(
)
are ba
s
ically like a fr
e
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-29
Dan Carp
e
nter
D
o
n
't d
e
reference freed
m
emo
r
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpe
n
ter
Ad
d
a
l
l the all
o
c
ation functions to chec
k
_leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan
C
arpenter
Gene
r
ate a list of funct
i
o
n
s that allocate data
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-27
Dan Carpenter
Update the gen_frees_list
.
sh and the genera
t
ed
data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
D
a
n
C
arpenter
Save fun
c
tion lists in smatch_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
ne
w
(di
s
abled
)
script: check
_
leaks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Car
p
e
n
t
e
r
i
m
p
l
ied: ad
d
get
_
i
m
pli
c
ations
(
)
f
or scripts to
u
se
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
A
dd com
m
ent
.
get
_
value r
e
turns
UNDEFINED
on error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
fu
n
ction_hooks: bump
t
he n
u
mber of entries in
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Car
p
enter
ne
w
: add_
f
unction
_
assign_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan
Carp
e
nter
C
l
e
a
n
up the conditional hoo
k
code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
new a
p
i
: add_condi
t
ional_
h
ook(), set_cond_states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
functio
n
_
h
ooks: pass
t
he functi
o
n
name as well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
D
an
C
a
rp
e
n
ter
do
n
't try return
b
lock
t
h
ing
s
in get_
v
ariable_from_e
x
pr_com
p
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan
C
a
r
pen
t
er
Add a list of n
o
return type functions
t
h
a
t n
u
llify
.
.
.
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
check_*
.
c
fi
l
e
s
if the smatch he
a
der
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
an
Carp
e
n
t
er
chec
k
_overflow: test
c
opy_to/from_user
a
s
w
ell
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpe
n
ter
check_overflow:
don't mult
i
ply the size
of s
t
r
i
ngs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
p
ent
e
r
a
ssumed_n
o
n
null crap
.
.
.
t
e
mp fix
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
C
a
rpenter
Add scr
i
pt
t
o generat
e
the frees list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
an Carpenter
re
n
am
e
register_fr
e
es_argum
e
n
t
t
o
c
heck_frees_argument
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpenter
f
ix order of pr
o
cessing of comm
a
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
get
r
id
of FUNCT
I
ON
_
CALL_AFTER_
H
OOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
chan
g
e
o
rder of conditi
o
n
pro
c
essin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpenter
ge
t
rid of ASSIGNMENT_AFTE
R
_HOO
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
chec
k
_memory: r
e
a
d
fr
e
eing fu
n
cti
o
n
s
from file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan Car
p
enter
check_memory: re
a
d
fre
e
ing
f
unctions from file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carp
e
nter
f
r
ees_arg
u
ment: don't
c
ount function
s
t
hat only f
r
ee
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-21
Dan Carpente
r
core: impro
v
e anding conditi
o
n handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan C
a
rpenter
check_overflow: move to new
a
dd_function_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
check_loc
k
ing: move
to the new func
t
ion h
o
ok
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
D
a
n Carpen
t
er
ch
e
ck_locking: fix some do
u
ble u
n
lock false p
o
sitives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpe
n
ter
core: a
d
d_function_hook(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Ca
r
penter
make
some vars static
.
o
ther ran
d
om spar
s
e stuff
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
D
an C
a
rpenter
core: add_unmatched_s
t
ate_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan C
a
rpen
t
er
impl
i
ed:
r
e-add the debug
outpu
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Da
n
Carpen
t
er
change con
v
entio
n
: registe
r
_template()
-> check_template
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
locking: add
some more mutex func
t
ion
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpente
r
Make --known-conditions an option
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next