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
Fix range comparison.
2009-04-11
D
an Carpenter
Fix range comparison
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
remove unuse
d
func
t
ion:
range_
l
ist_intersec
t
i
on()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Handle UNDEFINE
D
range a
n
d
display the name
c
orrectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Fix s
t
ate
names
f
or ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Carpen
t
er
Im
p
l
ied
r
anges
.
Part #3
.
R
a
n
ge L
i
sts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpe
n
ter
Updat
e
d
a
t
a
file
s
for
2
.
6
.
30-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
smatc
h
_ex
t
ra
.
s
a
ve other comparisons besides j
u
st
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Car
p
e
n
ter
h
andle:
if ((foo
= try_lock())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
re
n
ame:
ex
p
r_to_
v
al() -> get_implie
d
_va
l
ue()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpent
e
r
Fix hand
l
in
g
of if (IS_ERR(foo = bar())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
an Carpenter
handle if
c
onditional functions
a
r
e
a
s
signed
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Carpenter
Ad
d
new
restricted
known_c
o
ndition_
t
rue()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpen
t
er
rename known_c
o
ndition_true
(
) to
i
mplied_condition_
t
rue()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan C
a
rpenter
Add ER
R
_PTR()
check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
__modu
l
e
_
put_a
n
d_exit() doesn't return
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpent
e
r
S
ep
a
rate the list of fre
e
d argume
n
ts
f
rom de
c
remented
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carp
e
nter
W
rite a script to print func
t
ion
s
that
return NULL
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Don't
f
r
ee bin_d
i
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
O
o
p
s
.
Commit these essential
f
iles
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Handle known con
d
itions w
h
en
t
hey are a sim
p
le value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
A
d
d CASE
_
HOOK
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan C
a
rpenter
Fix memory lea
k
s f
o
und by valgrind
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
arpenter
alloc_string() -> alloc_sname()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
Carpenter
Put some
va
l
idation sc
r
i
pts in the close
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan C
a
r
pe
n
ter
Imp
l
ied ranges
.
Part #2
.
Filters
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Silence the mut
u
ally exclusive output aga
i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
D
an C
a
rpente
r
Free all d
a
t
a
_
info at the end of a funct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
D
a
n Ca
r
penter
Add --no
-
data op
t
ion and
w
arning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Da
n
C
a
r
penter
range fix
.
anding slists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan C
a
r
p
e
n
ter
c
l
e
a
n
ups from clone_slist() changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Ca
r
p
e
nte
r
Implied ranges
.
P
a
rt
#1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
Dan Carpen
t
er
Add the allocatio
n
funcs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
an Carpenter
free_scq
i
s defined
2
times qui
t
e diff
e
rentl
y
.
It
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan C
a
rpen
t
e
r
Fix implications (fallout
from
c
lon
e
_sl
i
st()
c
ha
n
ge
s
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
an Ca
r
p
en
t
er
Majo
r
memor
y
saving
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
a
n
Carpent
e
r
--debug m
e
ans print
t
he implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carp
e
nter
Add --n
o
-implied
to the
h
elp t
e
xt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carp
e
nter
Save me
m
ory
.
D
o
n't copy t
h
e stat
e
name so much
.
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
Dan Carpenter
kref_put() and kobject_put() are basic
a
lly like a free()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-29
Dan Carpenter
Don't dereference fre
e
d memory
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Ca
r
penter
Add all
t
he allocati
o
n functi
o
ns
t
o
chec
k
_
leak
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
D
a
n
Carpent
e
r
Generate a list
of fun
c
tio
n
s tha
t
allocate
data
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-27
Dan
C
arpenter
Up
d
at
e
t
h
e
gen_frees_li
s
t
.
sh and
t
he generated dat
a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpen
t
er
Save funct
i
o
n
lists in smat
c
h_da
t
a/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
D
an
Carpe
n
t
er
new (disab
l
ed
)
s
c
ript:
c
heck_leaks
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
implied:
add get_implicat
i
ons() for scripts t
o
use
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
an
Carpent
e
r
Add
comment
.
get_value ret
u
rns UNDE
F
I
NED
o
n error
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan C
a
rpenter
functio
n
_hooks: bump the n
u
mber of entries in
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
an
C
ar
p
enter
new:
a
dd_function_assign_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
Clean up the conditional hook
c
ode
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan
C
arpen
t
er
new api: add_c
o
nditi
o
nal_
h
ook
(
), set_cond
_
s
tates()
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan C
a
r
p
enter
function_hooks: pass the f
u
ncti
o
n name as
w
ell
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Da
n
Carpent
e
r
d
o
n't t
r
y
r
eturn block things in get_variable_from_
e
xpr
_
comp
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan
C
arpenter
Add a list
o
f
n
o
retu
r
n
t
ype functions
t
h
a
t nullify
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Da
n
C
arp
e
nter
Me
r
ge branch 'd
e
v
e
l
'
commit
|
commitdiff
|
tree
2009-03-23
Dan Carp
e
nter
recompile
t
he check_*
.
c
file
s
if the smatch headers
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
Carpenter
check_overflow:
t
est
c
opy_to
/
f
rom_user as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpe
n
ter
c
heck_overflow: don't multiply
t
he size of stri
n
gs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpe
n
ter
assumed_no
n
n
u
ll
crap
.
.
.
t
emp fix
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
Carpenter
A
d
d script to
g
enerate
t
he
f
rees list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an Carpenter
renam
e
r
e
g
i
ster_frees
_
ar
g
ument t
o
check_free
s
_ar
g
umen
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpenter
fix order of p
r
o
cessing
of comma
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
get rid
o
f FUNCTION_CALL_AFTER_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
chan
g
e
order of cond
i
ti
o
n
pr
o
c
essi
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpen
t
er
ge
t
ri
d
of
A
SSIGNM
E
NT_AFTER_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carp
e
nter
check_memor
y
: read freei
n
g
functions fr
o
m file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
D
a
n Carpenter
check_memo
r
y: read freein
g
f
u
nc
t
ions from
f
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan C
a
r
p
enter
free
s
_
argument: don't
c
ount
f
unctions that only free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-21
Dan Carpenter
c
or
e
: i
m
p
r
ove
a
nding cond
i
tion handli
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Da
n
C
a
rpent
e
r
check_ov
e
r
f
lo
w
: mo
v
e to new add_function_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
D
a
n C
a
rpenter
c
h
eck_lo
c
king: move
to the new function hook
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
ch
e
ck_
l
o
cking: fix some dou
b
le unlock fa
l
se positives
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
core: add_function_ho
o
k()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Da
n
Carpenter
make some
v
a
r
s static
.
ot
h
er
r
andom
s
parse stuff
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carp
e
n
ter
core: ad
d
_un
m
atched_state_hook
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
D
an
C
a
rp
e
nter
i
m
plied: re-
a
d
d the deb
u
g
output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
D
an Car
p
ente
r
ch
a
ng
e
co
n
vention
:
register_template() -
>
c
h
eck_
t
emplate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Da
n
Carp
e
nter
l
o
ck
i
ng:
a
d
d some more m
u
t
e
x functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
M
ake --known
-
conditions an op
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
handle
known
co
n
diti
o
ns better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan C
a
rpenter
check_mem
o
ry
:
add rudimentary validati
o
n
t
est
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan
Carpent
e
r
new script to print a list of
f
unction
s
which free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Car
p
enter
c
h
eck_m
e
m
o
r
y: ma
k
e
argum
e
nts stat
i
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Car
p
enter
template:
fix memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
template
:
remove
u
n
used header, update comments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
check_lock
i
ng: ad
d
mutexes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
check_memo
r
y: add k
z
alloc(
)
,
mor
e
c
o
m
plex var
i
a
b
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
an Carpent
e
r
imp
l
ied: handle &
u
n
d
e
fined be
t
te
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
D
a
n
C
a
r
penter
info:
l
oop
c
ould
be r
e
placed
w
ith
i
f sta
t
ement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan
Carpenter
kchecker: add
"
--s
p
arse" option
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan
Carpe
n
ter
sm
a
t
ch_implied/slist: move functions from
s
list to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Car
p
e
nter
che
c
k_memory: use complex variables ins
t
ead
of re
g
ular
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Da
n
Carpenter
ch
e
ck_memory: assu
m
e parents
a
ssigned on
all
p
aths
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
c
h
eck_memory:
M
ore changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
D
a
n Carpente
r
assignments can
a
dd
a
parent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Ca
r
pent
e
r
Handle initialization in the decl
a
rations;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
D
a
n Ca
r
penter
C
u
t down on false positives
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
Parse
t
he
r
et
u
rn statement bef
o
re calling
th
e
return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan
Carpenter
Fix cr
a
shing bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next