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
check_overflow: fix assigning arrays to pointers of different type
2010-02-15
Dan Ca
r
p
enter
che
c
k_ov
e
rflow: fix assi
g
ning
arrays t
o
point
e
rs of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpente
r
c
hec
k
_
o
verflow: fix alig
n
ment
bug in get_array_size_
b
ytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carp
e
n
ter
check_overfl
o
w: prefer
r
ecen
t
as
s
ignmen
t
s over the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
Add quotes ar
o
u
n
d string l
i
t
e
ral
s
in smatch output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan C
a
r
p
en
t
er
check_overflow:
update strcp
y
() and strncp
y
() checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
an Carpen
t
er
kern
e
l
.
no_return_
f
un
c
s:
_
_reiserfs_pani
c
doesn
'
t return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
an
Ca
r
p
ente
r
c
h
e
c
k
_o
v
erflow: stor
e
the
s
ize
i
n bytes inst
e
ad
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overflow:
don't c
o
mplain about if (ptr <
&array
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpe
n
ter
smatch_flow: change h
o
w th
e
big expressio
n
s
t
ack w
o
rk
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_ove
r
flow:
ren
a
me my_decl_id =>
m
y_s
i
ze_id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
Carpenter
c
h
ec
k
_overflow: white space changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overflow: use the _exp
r
() hooks
i
n
stead of doing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n
Carpenter
ch
e
c
k
_overf
l
ow: remove s
o
me
o
ld
debuggi
n
g code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
Carpen
t
er
check_overf
l
ow: rename
d
est => arra
y
_expr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
c
heck_ov
e
rflow: ge
t
_initializer_bytes() => get
_
i
nitializer_
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
Ca
r
p
enter
che
c
k_ov
e
rflow: option
_
spammy => option_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpen
t
er
chec
k
_overf
l
ow: ha
n
dle indexed array initi
a
lizations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Car
p
en
t
er
check_overflow:
fix e
n
dless
loop parsing "int 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
a
rpenter
c
h
eck
_
overflow: lo
t
s
of impr
o
v
ements and also a val
i
dation
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carp
e
n
t
er
fix cras
h
c
allin
g
g
et_
t
yp
e
() o
n
impl
i
citly def
i
ned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
Add smatch_
d
ata/kernel
.
no_r
e
t
u
r
n
_
f
uncs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
D
an C
a
rpe
n
te
r
f
u
nction hook
s
: get rid
o
f cond
i
ti
o
n
al function
h
ooks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpent
e
r
a
d
d
s
ma
t
ch_s
c
ri
p
ts/new_bugs
.
sh: print
s
the bugs
i
n
t
roduc
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan
C
arpen
t
er
err_ptr_de
r
e
f
: u
p
date to use newer
ap
i
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
D
a
n Carpenter
unreachabl
e
code:
e
nable b
y
defau
l
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carp
e
nter
show
_
unreacha
b
le
.
sh: add
-
k (kern
e
l mod
e
) -b (ignore
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
D
an Carpenter
unr
e
achab
l
e
code: work
a
r
o
und gcc wo
r
k arounds
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
Dan Ca
r
penter
print
an e
r
ror message abou
t
unreached
i
n
i
tial
i
z
e
rs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
Dan Carpent
e
r
check_s
t
ack
:
tw
e
ak the output a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
Dan Car
p
ent
e
r
New check_stack
.
c
: w
a
rn if kernel cod
e
puts
too much
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
Dan Carpen
t
er
Add regi
s
te
r
_project() t
o
c
heck_list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-01
D
an Ca
r
penter
u
p
da
t
e the document
a
tion a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-30
Dan Carpenter
check_me
m
ory: onl
y
l
o
ad kerne
l
.
fre
e
s_a
r
gu
m
ent when
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Ca
r
penter
Create:
s
m
atch_proj
e
ct
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
bail if things are taking too long
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Ca
r
penter
add smatch
_
script
s
/f
i
lter_kernel_der
e
f_check
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
check
_
deref_ch
e
ck: do not c
o
mplain i
n
loop pre conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-28
Dan Car
p
ent
e
r
tw
e
a
k
unreachable code messages
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Ca
r
penter
check
_
signed: handl
e
s
i
g
ned 1 bit values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan C
a
r
pent
e
r
check_signed:
don't co
m
plain abou
t
un
s
ign
e
d int x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carp
e
nter
ne
w
f
u
nction: type_
u
nsigned
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-26
Dan
Ca
r
penter
partly replace check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
D
a
n Carpente
r
modification
h
ooks: only a
l
low one ho
o
k per variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan
Ca
r
p
enter
introduce: s
e
t_default_m
o
dification_hook
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpe
n
ter
cl
e
anup
:
get rid of smatch_conta
i
ners
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan
Carp
e
n
ter
chec
k
_null_deref:
only the kernel cares about failed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpenter
Fix
OpenBSD c
o
mpile
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan
C
a
rpenter
c
heck_sig
n
e
d
: clean ups
.
ad
d
c
h
eck f
o
r impossibly
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
D
a
n
Carpenter
make everythin
g
use smatc
h
_fun
c
tion_hashta
b
le
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
add smatch
_
funct
i
on_
h
ashtable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpent
e
r
Move
everyth
i
ng t
o
the new cwchash h
a
sh ta
b
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan
C
arpenter
add cwc
h
ash hash table
implementation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan Car
p
en
t
er
f
u
n
ction_impli
e
s_
h
ook: fix bug when
a
funct
i
on has
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
D
a
n Carp
e
nter
check_sign
e
d
:
w
arn on assign
i
ng negative to unsigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
M
ake sm
a
tch wor
k
again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpen
t
er
Me
r
ge
g
it://git
.
kern
e
l
.
org/pub/scm/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpe
n
ter
Move th
e
checks out of smatch
.
c int
o
check_lis
t
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan
Carpenter
sil
e
nce some sparse
warni
n
gs:
(
) =>
(void)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpen
t
er
introduce: type_min() and type_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan
Carpenter
wine WtoA: fix cr
a
shing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Carpen
t
er
new
file:
s
match_scri
p
ts/gen_dma_fun
c
s
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
arpenter
s
h
ow_ifs
.
s
h: Add th
e
-C op
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Carpenter
check_memory:
elimi
n
ate some false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan C
a
rpenter
ge
t
_value
(
): the re
t
urn value wa
s
getti
n
g cut off
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan C
a
r
penter
c
hec
k
_sign
e
d: clarif
y
error message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpe
n
ter
win
e
_fileha
n
d
l
e
s: if the file h
a
ndle ge
t
s
r
eassigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
arpenter
Help kche
c
k
e
r
and wine_checker
.
sh find the smatch binar
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
g
e
t_variable_from_expr()
:
fix array d
i
s
p
l
a
y (even
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
D
a
n Carp
e
nter
d
elete_state(): fix a b
u
g cal
l
ing delet
e
state insi
d
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
ge
t
_va
r
iable_from_exp
r
(): use []
f
or
a
r
ra
y
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan
C
arpenter
fix "make in
s
tall"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
fi
x
bug in printing file n
a
m
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
get
_
arra
y
_name(): re
t
urn
the stripped
value
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carp
e
nter
w
ine: pp_internal_err
o
r
(
) does
n
't
retu
r
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Ca
r
pente
r
u
nused
r
eturn: warni
n
g: => warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
pr
e
ceden
c
e:
m
ake test
s
tricter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
__USE_ISOC99: sil
e
n
ce a
gcc warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan
C
a
r
pente
r
c
heck
_
dev_queue_xmit:
make valid_use() st
a
tic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan
Carpe
n
ter
chec
k
_sig
n
ed:
c
hange
s
o
me error:
m
es
s
age
s
to warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan
Carpenter
check_signed: fix and turn on
by def
a
ult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Ca
r
penter
get_type(): fix cast handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
Carpenter
get_valu
e
(): add in
i
tial suppor
t
for han
d
ling casts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpente
r
w
h
itespace:
"switch(" =>
"switch ("
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
ge
t
_type(): d
o
n't ignore casts
!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
C
a
rpenter
eliminate all the
"
x can't fi
t
into 0
"
fals
e
posi
t
ives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
D
an Carpenter
fix ge
t
tin
g
_addr
e
ss()
f
u
n
c
tions v
s
parens
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
ad
d
c
h
eck_dev_queue_xmit
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpente
r
add --
r
are op
t
ion
f
or ra
r
e
b
u
g
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan
C
arpent
e
r
in
t
r
o
duce: add
_
m
odification_hook_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carp
e
nter
impli
e
d cleanup: move p
o
ol_
i
n
_
p
o
ols() and is_chec
k
ed()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
an Carpen
t
er
implied
c
l
e
anup:
renam
e
: g
e
t_eq
_
neq() =>
s
eparat
e
_and_
f
ilter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
an Carpenter
i
m
pli
e
d cle
a
nu
p
: separate do_compare
i
n
t
o its
own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpent
e
r
i
mplied cleanup:
move
get
_
implications() lower
i
n the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carp
e
nter
i
m
plied cl
e
anup: 1 => LEFT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
impl
i
ed
c
leanup
:
c
l
ean h
a
ndle_comparison()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpent
e
r
implied
cleanup: rename sta
t
e
=
> sm
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpent
e
r
imp
l
ied cleanup: move check for !i
s
_merged()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
i
mplied cleanup: rename left => l
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpenter
implied
cleanup: rename so
m
e s
m
_
stat
e
s: state => sm
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next