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
Dan Carpent
e
r
ke
r
ne
l
:
fi
x
x
f
s
false positi
v
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
C
a
r
penter
check_overf
l
ow:
handle: "int *p
=
&array;"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carpent
e
r
c
h
eck_overflow: fix bug i
n
g
e
t_array_size_bytes(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
C
arpenter
push
s
o
m
e more st
u
f
f
o
n the
big_expression_stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carp
e
nter
check_ove
r
f
low
:
handle
cas
t
s
like ((ch
a
r *)array)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carpe
n
ter
check_overflow:
f
i
x assigning arrays to pointers
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpenter
check_overflo
w
: fi
x
alignment bug in get_arra
y
_
s
ize_byte
s
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
chec
k
_overflow
:
prefer recent
a
ssignments over the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan C
a
rpenter
A
dd q
u
otes aro
u
nd string
l
iterals i
n
smat
c
h output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpe
n
ter
c
he
c
k
_
overflow
:
update strcpy() and
strncpy()
checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
C
arpenter
kerne
l
.
no_
r
eturn_f
u
ncs: __
r
e
ise
r
fs
_
pani
c
doesn't
return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overf
l
ow:
st
o
re
the size
i
n
bytes
inste
a
d of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
an Carpent
e
r
che
c
k_overflow: do
n
't complain about i
f
(ptr < &array
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
smatc
h
_flow: change how the
bi
g
expres
s
ion
s
tack works
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
an Ca
r
p
e
nte
r
c
h
eck_overflow: re
n
ame my_decl
_
id => my_size_id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Ca
r
p
e
nter
c
he
c
k_overflow: w
h
ite space change
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan C
a
rpente
r
chec
k
_overflo
w
:
use th
e
_expr() hooks inst
e
ad of doin
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carp
e
nt
e
r
ch
e
ck_over
f
l
ow: remove some old debugging co
d
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carpenter
check_overflow:
r
ename dest => a
r
ray_expr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpenter
check_overflow:
get
_
initial
i
zer_by
t
es
(
)
=> get_initializer_
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan C
a
rpe
n
t
er
check_overflow: option_spammy => option
_
info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpent
e
r
check_overfl
o
w: hand
l
e i
n
dexe
d
array initi
a
li
z
at
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_ove
r
flow: fix endless loop parsing "int x
=
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
fix
get_impli
e
d_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan
C
a
rpe
n
ter
check_overflow
:
lots
of improvement
s
a
n
d also a v
a
lidation
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
f
ix
crash calling get_
t
ype() on
i
mplicitly defined
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Ca
r
penter
A
dd smatch_data/ke
r
nel
.
no_r
e
turn
_
funcs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Da
n
C
a
rp
e
n
ter
functio
n
h
oo
k
s:
g
et
r
i
d of conditi
o
nal func
t
ion ho
o
ks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Da
n
Carpenter
add smatch_scripts/new_bugs
.
sh: prints the bugs
i
n
tr
o
d
uc
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Ca
r
p
e
nter
err_p
t
r_
d
e
r
ef: upd
a
te to use n
e
wer api
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
unreachable code:
enable by defau
l
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Da
n
C
arpenter
show_
u
nre
a
c
hable
.
sh: add -k
(ker
n
el mode) -b (ignore
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
D
an Carp
e
nte
r
u
nreachable code: work around
gcc work aro
u
nds
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
Dan Carpenter
print
a
n error mess
a
ge
a
bou
t
unr
e
ac
h
ed
i
nitializers
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
Dan Carp
e
n
ter
check_stack:
t
w
eak
th
e
outp
u
t a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
Dan Carpenter
New chec
k
_stack
.
c:
warn
if ker
n
el cod
e
puts to
o
much
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
Dan Carpenter
Add register_project(
)
to check_l
i
st
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-01
Dan Carpenter
u
p
dat
e
the documentation a bi
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-30
D
an Carp
e
nter
check_mem
o
ry: only load kernel
.
f
rees_argument when
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpente
r
Cr
e
ate
:
s
match_project
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
bail if things ar
e
taking too lo
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
add
s
m
atch_scripts/filter
_
kernel_d
e
ref_chec
k
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpent
e
r
check_deref_check: do not complain in lo
o
p
pre
c
o
n
ditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-28
Da
n
Carpen
t
er
t
w
eak unreachable cod
e
m
e
ssages
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpenter
c
h
eck_signed: han
d
le signed 1 bit va
l
ues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Da
n
C
arpenter
check_signed: don't comp
l
ain abou
t
u
nsigned int x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Da
n
Carpen
t
er
new fun
c
tion: type_uns
i
g
ned(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-26
Dan Carpe
n
ter
partly replace check_null_d
e
ref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpent
e
r
modif
i
cation hooks: on
l
y allow one hook per variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
D
a
n Carpenter
i
nt
r
oduce:
s
et_default_m
o
dif
i
cati
o
n_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
D
an Ca
r
penter
c
l
e
anup: g
e
t rid of smatch_
c
ontainers
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Da
n
Carp
e
nte
r
check_null_
d
e
ref:
only
t
he k
e
rnel car
e
s about failed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carp
e
nter
Fix Open
B
S
D
compile
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
D
a
n Ca
r
penter
c
hec
k
_signe
d
: clean ups
.
add check for impossib
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Car
p
enter
make
e
ver
y
thing u
s
e
smatc
h
_functi
o
n_hashtable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
ad
d
sma
t
ch_function_hashtable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan
C
a
rpenter
Move everyt
h
i
ng to
the new cwchash ha
s
h table
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carp
e
nter
add cwchash hash table implementat
i
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpenter
function_implies_h
o
ok: fi
x
bug
w
hen a function has
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan C
a
rpent
e
r
ch
e
ck_signed: warn on
a
s
si
g
ning
negat
i
ve to unsigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpe
n
ter
Make
sma
t
ch work again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
D
an
Carpenter
Merge gi
t
://git
.
ker
n
el
.
org/pub/scm/deve
l
/spar
s
e/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan
Carpenter
Move
t
he checks out
o
f
s
match
.
c
i
nt
o
che
c
k_l
i
st
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan C
a
rpen
t
er
silence some
s
p
ar
s
e
warnin
g
s:
() =>
(
void
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
i
n
tro
d
uce: type_
m
in(
)
a
n
d type_ma
x
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan
Carpenter
wine WtoA: fix
c
r
ashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Carpe
n
ter
n
e
w fil
e
: smatch_scripts/gen_dma_funcs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
arp
e
nte
r
s
h
ow_ifs
.
sh: Ad
d
t
h
e -C op
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
c
h
eck
_
memory: elimi
n
ate
s
ome false po
s
i
t
i
v
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
an Carpenter
get_va
l
ue():
the re
t
ur
n
value was gett
i
ng cut off
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
c
heck_sig
n
e
d
:
c
l
arify error messag
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
w
i
n
e_filehan
d
les: if t
h
e file h
a
ndle gets rea
s
signed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Car
p
enter
Help kchecker and wine
_
checker
.
sh find the smatch binary
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carp
e
nter
get_variable_f
r
om_expr(): fix
ar
r
a
y dis
p
la
y
(even
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpe
n
ter
d
e
lete_state():
fix a bug
calling de
l
ete state
i
nside
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan
Car
p
ente
r
get_var
i
able_fr
o
m_expr():
use [
]
for arrays
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carp
e
n
t
er
fix "make
i
nstall"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
D
a
n
Carp
e
nter
fix bug i
n
printing
f
ile
names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan
C
a
rp
e
nter
g
e
t_array_name()
:
return
t
he strip
p
ed value
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carp
e
nter
wine: pp_internal_error()
d
o
e
sn'
t
return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
unused
re
t
urn:
w
arning:
=
>
wa
r
n
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
D
a
n
C
arp
e
nter
p
r
ecedence: make tes
t
strict
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpente
r
__US
E
_ISO
C
99: silence a
g
cc warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan C
a
rpent
e
r
check_dev_queue_xmit: m
a
k
e
val
i
d
_
use() static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan
C
arp
e
nter
check_sig
n
e
d: c
h
ange some error: mess
a
g
e
s to warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carp
e
n
te
r
check
_
signed: fix and tur
n
on by
d
efault
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan
Carpenter
get_type(): fix cast handl
i
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
D
an Carpenter
get_val
u
e()
:
a
dd
i
nitial sup
p
ort for
h
a
n
d
ling casts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan C
a
r
p
e
nter
w
hi
t
e
s
p
ace: "switch(
"
=
>
"swi
t
ch
("
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carp
e
n
t
er
get_
t
y
pe()
:
don't
i
gnore cas
t
s!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Ca
r
p
e
nte
r
eliminat
e
all
t
he
"x
c
an't fit into 0" fals
e
positi
v
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Da
n
Carpenter
fix getting_a
d
dress
(
) functions v
s
par
e
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
add
check_dev
_
queue_xmit
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan
Carpente
r
add
-
-rare option for rare bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
D
a
n Carpenter
introduce: add_modification_hook
_
e
x
pr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
enter
implie
d
cleanup: move pool_in_
p
ools() and is_checked()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
penter
impli
e
d cleanup: ren
a
me: g
e
t_eq_neq() =
>
se
p
ar
a
te_and_filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpen
t
er
impl
i
ed cleanup: separate do_compare int
o
its o
w
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
penter
implied cleanup: mo
v
e get_i
m
p
licati
o
ns() low
e
r in
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
enter
implie
d
cleanup:
1 =>
L
EF
T
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next