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
kernel: fix xfs false positives
2010-02-16
D
an
C
a
rpenter
ke
r
nel: fix xfs false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan C
a
rpenter
check_
o
verflow:
handle: "int *p
= &array
;
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Car
p
enter
ch
e
ck_
o
verfl
o
w: fix bug in get_a
r
r
ay_size_bytes
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpent
e
r
push some mor
e
stuff on
t
he
b
i
g
_e
x
pression_stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan C
a
rpenter
check_overflow: handle
casts li
k
e ((ch
a
r
*)arra
y
)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
ch
e
ck
_
overflow: fix assigning array
s
t
o pointers of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
C
arpenter
ch
e
ck_overflow: fix alignment b
u
g in
get_array_size_by
t
es()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Ca
r
penter
che
c
k_overflow: pref
e
r recent assignments over the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Ca
r
penter
Add quotes around st
r
ing litera
l
s
i
n smatch
output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carpen
t
e
r
check_overflow: up
d
ate st
r
c
p
y() and str
n
cp
y
() check
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
kern
e
l
.
no_
r
eturn_
f
uncs: __reiserfs
_
panic doesn
'
t return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
ch
e
c
k
_overflow: store the
s
ize
i
n bytes ins
t
ead of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carpenter
check_overflow: don't comp
l
ain about if (ptr < &array
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpen
t
er
smatc
h
_f
l
ow: change how the
big expression stack works
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overflow: rename my_decl_id
=
> my_size_id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overflow: white sp
a
ce changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Ca
r
penter
check_over
f
low: use t
h
e _expr() hook
s
ins
t
ea
d
of doing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_
o
verfl
o
w: remove some old d
e
bugging co
d
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_over
f
low: rena
m
e dest => arr
a
y_expr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
ch
e
c
k
_overflow: g
e
t_initializer_
b
ytes() =
>
get_i
n
it
i
alizer_
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
Carpen
t
er
check_overflow: option_spa
m
my => option
_
info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpe
n
ter
check_overflow: handle indexed arr
a
y
initiali
z
a
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carp
e
nter
c
he
c
k_overflow
:
fix endless loop parsing "i
n
t x =
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
fix get_implied_max
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan
C
arpen
t
er
ch
e
ck_
o
verflo
w
: lots of im
p
rovement
s
a
nd also a vali
d
a
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan
Carp
e
nter
fix c
r
ash calling get_type(
)
o
n
implicitly define
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
D
a
n Carpenter
Add smatc
h
_data/kernel
.
no_retur
n
_funcs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
D
a
n
Carpenter
function hooks: get r
i
d o
f
conditional
f
unction hooks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpe
n
ter
add smatch_scripts
/
n
e
w_bugs
.
s
h
:
p
rints the bug
s
introduc
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
D
a
n
Carpenter
err_ptr_d
e
ref: update to use newer api
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carp
e
nter
unreacha
b
le code: enable b
y
default
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Ca
r
p
e
nte
r
show_unre
a
chable
.
sh
:
add -k (
k
ernel
m
ode) -b
(ignore
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
Dan
C
ar
p
e
nter
unreachable
code: work arou
n
d gcc work ar
o
unds
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
D
an C
a
rpenter
print an er
r
or messag
e
about unr
e
ac
h
ed
in
i
tializer
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
Dan Carpenter
c
hec
k
_stack:
t
weak the output a
b
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
Christ
o
pher Li
Pointer don't
i
nherent
t
he
a
lignmen
t
from
b
ase t
y
p
e
commit
|
commitdiff
|
tree
2010-02-08
Da
n
Ca
r
penter
New check_stack
.
c: warn if kernel cod
e
p
uts too much
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
Dan
C
ar
p
enter
Add register
_
project(
)
to check_list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-01
Dan Carpenter
update the
documentation a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-30
Dan Carpent
e
r
c
heck_memory: only load kernel
.
f
r
ees_argument when
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
C
reate: sm
a
tc
h
_project
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carp
e
n
t
er
ba
i
l
i
f
t
hings
are taki
n
g too long
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Da
n
Ca
r
p
enter
ad
d
s
match_sc
r
ipts/fi
l
ter_kernel_
d
er
e
f_check
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
D
an
C
arpenter
check_d
e
ref_check
:
do not complain in l
o
op pre co
n
di
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-28
Dan
C
arpenter
tweak unrea
c
habl
e
code mess
a
ges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Da
n
Ca
r
penter
check_signed:
ha
n
dle
s
i
g
ned 1 bit values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
D
a
n
Ca
r
pen
t
er
check_signed: don'
t
complain
ab
o
ut unsigned in
t
x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carp
e
nte
r
new fu
n
cti
o
n:
t
y
pe_un
s
igned()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-26
Dan Carpen
t
er
par
t
ly replace c
h
eck_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Car
p
en
t
er
m
o
dification hooks: on
l
y al
l
ow one hook per variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Ca
r
penter
i
n
troduce: set
_
default_modification_hook(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Ca
r
penter
c
lea
n
up: ge
t
rid of smatch_containers
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan
Carp
e
nte
r
check_null_deref
:
only the ke
r
nel car
e
s abou
t
failed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carp
e
nter
Fix O
p
enBSD compile
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpenter
check_si
g
ned: cle
a
n u
p
s
.
a
d
d check for
i
mpossibly
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan
Carpe
n
ter
make everythin
g
use smatch_function_hashtable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan
C
arpenter
add smatch_
f
uncti
o
n_hashtable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
D
a
n C
a
rpent
e
r
Move everything to the new cwchash hash table
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan
Carpenter
ad
d
cwchash hash ta
b
le implementation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Rober
t
Bediche
k
Nov
a
fora license gr
a
nt using
M
IT l
i
cense
.
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpenter
function_implies_hook: fix bug when a fu
n
c
tion has
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Da
n
Carpenter
c
hec
k
_si
g
ned: w
a
rn
on
as
s
i
gning negative to unsig
n
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Ca
r
p
enter
M
a
ke smatch work ag
a
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Merge
gi
t
://g
i
t
.
kernel
.
o
rg/pu
b
/scm/
d
evel/spa
r
se/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpen
t
e
r
M
ove
t
he checks out of
s
m
a
tch
.
c into ch
e
ck
_
list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Da
n
Carpenter
sile
n
ce some
s
p
a
rse warn
i
ngs: () => (void)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Ca
r
penter
introduce:
type_
m
in() and
ty
p
e_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
wine WtoA
:
f
ix
c
ras
h
i
n
g bu
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
new file: sm
a
tch
_
scripts/g
e
n_dma_funcs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n
Ca
r
penter
show_ifs
.
sh: Add the
-
C
option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
C
a
rpente
r
c
heck_me
m
o
r
y
: eliminate some false po
s
itives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carp
e
n
t
er
get_value()
:
the return v
a
lue was ge
t
t
ing c
u
t off
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
an Carp
e
nte
r
check_
s
igned:
clarify
e
rro
r
m
ess
a
ge
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carp
e
n
t
er
wi
n
e
_fi
l
ehand
l
es: if the file handle
gets reassigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
H
elp kchecker and w
i
ne_checker
.
s
h
find the
smatch binary
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n
C
arpent
e
r
ge
t
_variable_from_e
x
pr(): fi
x
arr
a
y
d
isplay (even
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpen
t
er
delete_state(): fix a bug
calli
n
g delete
s
ta
t
e
i
n
side
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Da
n
Carpen
t
er
get_variable_from_expr(): us
e
[] for a
r
rays
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
D
an Carpe
n
ter
fix "make install"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carp
e
nter
fix
b
u
g in
p
rinting
file
n
ames
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan C
a
rp
e
n
ter
g
e
t_
a
rray_na
m
e(
)
: return the
s
t
rip
p
e
d
value
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan
C
arpenter
wine: pp_internal_
e
rror() do
e
sn't
r
eturn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carp
e
nter
unus
e
d
r
eturn:
warni
n
g
:
=> warn
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
D
a
n
Carpenter
p
recedence:
m
a
ke t
e
s
t
str
i
c
t
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpente
r
__USE_ISOC99: silenc
e
a
gcc warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Da
n
C
arp
e
nter
che
c
k
_
d
e
v
_queue_xmit: make va
l
id
_
use() static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
Ca
r
pe
n
ter
check
_
signed: change
some error: messag
e
s
t
o
w
ar
n
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan C
a
rpent
e
r
check
_
signed:
f
ix a
n
d turn on by default
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpent
e
r
g
et_type(): fix cast
h
andl
i
ng
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
get_v
a
lue(): add initi
a
l
s
upport f
o
r handling
c
as
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan
C
arpenter
whitespace: "switc
h
("
=
> "switch ("
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
C
a
rpenter
get_type()
:
don't
ign
o
re casts!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
eliminate all
the "x can't fit in
t
o 0" fal
s
e pos
i
ti
v
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpen
t
er
fix getting_addres
s
() fun
c
tions
vs pare
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Car
p
enter
add
chec
k
_
d
ev
_
queue_x
m
i
t
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
ad
d
--rare option f
o
r rare bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
D
a
n
C
arpenter
intro
d
uce: add_mod
i
ficatio
n
_hook_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
impl
i
ed cleanup: move pool_in
_
pool
s
() a
n
d is_checked()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
an Carpente
r
implied cleanup: rename: get_eq_n
e
q()
=
>
separate_and_f
i
l
t
e
r()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpenter
impl
i
ed clean
u
p: sep
a
rat
e
do
_
compare into
i
ts own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next