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
for loops: add a special case for "for(i = 0; i < 10; i++)"
2010-02-24
D
a
n Carpenter
f
o
r
loops
:
add a specia
l
case
f
or "for(i =
0;
i <
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpente
r
c
heck_s
i
gned
:
chec
k
int typ
e
s
as
well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Ca
r
pent
e
r
smatch
.
c:
use
s
t
rncp
y
()
i
n
s
te
a
d of strcp
y
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n
Carpe
n
ter
debug
:
r
e
name __smat
c
h
_prin
t
_va
l
ue() =
>
__smatc
h
_valu
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carp
e
nter
check_s
i
gn
e
d:
e
xpr->op is
t
ype int not char
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpent
e
r
Introdu
c
e ge
t
_fuz
z
y_min()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Car
p
e
nter
prec
e
den
c
e:
c
u
t
down a few fa
l
se positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n Carpen
t
er
*new* c
h
eck_le16: prin
t
an error for doub
l
e cpu_
t
o_le
1
6
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n
Carpent
e
r
*new* chec
k
_mod_timer: print an warning if
someone
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
D
an C
a
rpenter
str
i
p_expr(): remove
f
orce casts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carp
e
nter
kpa
t
ch
.
sh: figure the email
a
ddress
o
ut
a
utomatical
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Ca
r
penter
*new* smat
c
h_sc
r
i
pts/kpat
c
h
.
sh: script for mailing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan C
a
rpenter
Print
f
e
w
e
r mes
s
ages about unre
a
ched c
o
d
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
smatch_conditions: sma
l
l
c
leanup
s
and
add debug
c
o
de
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Car
p
enter
fi
x
WARN_
O
N ha
n
dling som
e
m
ore
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpent
e
r
s
m
atch_
t
e
m
p
la
t
e:
s
mal
l
cha
n
ges
to comments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Car
p
enter
cl
e
a
n
u
p
the m
a
k
efile a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan C
a
rp
e
nter
handl
e
assi
g
nments like: f
o
o
= x < 1;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n C
a
rpenter
smatch
_
st
a
te
s
:
w
hite
s
pace
chang
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
arpenter
sma
t
ch is supposed
t
o be using "long long" t
y
p
es interna
l
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpen
t
er
new_bugs
.
sh:
b
e
t
t
er
filte
r
ing of sm
a
tch er
r
ors from
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpen
t
e
r
hand
l
e stuff like the ker
n
el's WA
R
N_ON(
)
macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
Ca
r
penter
smatch_extra: foo
=
!!x; does
not modify
x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan C
a
rpent
e
r
handle
assignme
n
ts like:
foo = !bar(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpe
n
t
er
ch
e
ck_o
v
erflo
w
: check
f
or memset() is
s
ues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
autom
a
tic
a
lly generate the list o
f
functions whi
c
h
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Ca
r
penter
*new* smatch_scripts/su
m
marize_errs
.
sh: script for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Da
n
Ca
r
penter
kern
e
l: fix
xfs false positive
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_
o
verflow: h
a
ndle: "int
*
p = &array
;
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Ca
r
penter
check_
o
verflow: fix bug in ge
t
_array_
s
ize_byt
e
s()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
C
ar
p
enter
push some mor
e
stu
f
f on the
b
ig
_
expre
s
sion_stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpenter
check_ov
e
rflow
:
handle
c
asts li
k
e ((char *
)
arr
a
y
)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan C
a
rpenter
check_overflow: fix as
s
ign
i
n
g
arrays to po
i
nters of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carp
e
nte
r
check_ove
r
f
low:
fix a
l
ign
m
e
nt bug i
n
get_array_s
i
ze_bytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Ca
r
penter
check_
o
verflo
w
: prefer re
c
e
n
t
assignmen
t
s over the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Car
p
en
t
er
Add quotes aroun
d
string literals
in smatch
output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_
o
ve
r
flo
w
:
u
pdate st
r
cpy() and str
n
cpy() che
c
ks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Ca
r
p
e
n
t
er
kerne
l
.
no_re
t
urn
_
funcs: __reis
e
rfs_pani
c
d
oesn't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpen
t
er
c
h
e
ck_overfl
o
w: st
o
re t
h
e size
i
n bytes instead of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carpenter
check_ove
r
flow
:
d
on't complai
n
ab
o
ut if
(p
t
r <
&
array
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Car
p
enter
smatch_flow: chang
e
how the
b
ig e
x
pression
s
tack works
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_o
v
er
f
low: rename my_decl_i
d
=>
my_size_id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpe
n
ter
c
heck_o
v
erflow:
white spa
c
e chan
g
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n
Carpenter
check_overflo
w
:
u
se the _expr(
)
hooks ins
t
ead o
f
doin
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carp
e
nter
check_overflow: remo
v
e som
e
old debugging cod
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpente
r
check_overflo
w
: rena
m
e d
e
st
=
> array_expr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_ov
e
rfl
o
w:
g
e
t_i
n
itialize
r
_bytes() =>
g
et_initializer
_
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
Carpenter
check_ove
r
f
low: opt
i
on_spammy =
>
opti
o
n_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overfl
o
w: han
d
l
e
inde
x
e
d
array initializations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carp
e
nter
check_overflow: fix endles
s
loop par
s
ing "in
t
x
=
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
an Carpenter
fix get_imp
l
ied_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
c
h
eck_overflow:
l
ots of
improve
m
e
nts and also a validati
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
D
a
n
Carpenter
fix c
r
ash
call
i
ng get
_
typ
e
(
) on implicitly def
i
ned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
D
a
n Carpenter
Add s
m
atch_da
t
a/ker
n
e
l
.
n
o
_r
e
turn_fu
n
cs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carp
e
nter
function h
o
oks: g
e
t
rid of conditiona
l
function hooks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpe
n
ter
add
s
m
atch_scripts/new_
b
ugs
.
sh: prints the bugs
i
n
tro
d
uce
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
D
an Carpenter
err
_
ptr_der
e
f: upd
a
te
t
o
use
n
ewer
api
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
u
n
reachable code: en
a
ble
b
y
d
efault
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Car
p
enter
show_unreach
a
ble
.
s
h: add -k (kernel mode) -b (
i
gno
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
Dan
C
a
rpenter
unreach
a
ble code: work around gcc work
ar
o
unds
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
Dan
C
arpenter
print an
error m
e
ssage about unr
e
ached initiali
z
ers
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
Dan C
a
rpenter
che
c
k_
s
tack:
t
weak the output
a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
Dan Carpenter
New chec
k
_stack
.
c: wa
r
n if kernel code pu
t
s too much
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
Da
n
Carpenter
Add regis
t
er
_
project()
t
o
c
h
e
ck
_
list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-01
Dan Carpen
t
er
up
d
ate
t
h
e
documentation a
bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-30
Dan Carpenter
check_m
e
mor
y
: only lo
a
d kernel
.
fre
e
s_argument when
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Da
n
Carpenter
Create
:
smatch
_
project
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
bail if things
a
re taking too long
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
D
a
n Car
p
enter
a
dd sma
t
ch_scripts/
f
i
l
ter_kernel_deref_
c
heck
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
check_deref_check: do no
t
complain in loop pre conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-28
Dan
C
arpent
e
r
tweak unr
e
a
c
h
a
bl
e
c
o
de messages
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
D
a
n C
a
rpen
t
e
r
c
heck
_
s
i
gned: ha
n
dle signed 1 bit values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Da
n
Carpe
n
te
r
che
c
k_
s
i
gned: don't
co
m
p
l
ain about unsig
n
ed int
x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
D
a
n
Ca
r
penter
new
f
unction: ty
p
e_unsigned()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-26
Dan Carpenter
p
a
rtly replace chec
k
_
n
ull_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
D
an Carpen
t
er
mod
i
fica
t
ion h
o
o
ks: on
l
y
allow one hook
per vari
a
ble
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Car
p
ent
e
r
i
ntroduce: set_default
_
m
o
dification_hook
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
D
an Carpenter
cleanup:
get
r
id of smatch
_
c
on
t
ai
n
e
rs
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
check_nu
l
l_deref: only th
e
kernel c
a
r
es about failed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpenter
Fix OpenBSD com
p
ile
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
D
a
n Carpen
t
er
check_signed:
clean ups
.
a
d
d
c
h
ec
k
for imposs
i
b
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
D
a
n Car
p
enter
make
e
verything use sm
a
t
c
h_function_hash
t
ab
l
e
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan
Carpenter
a
dd smatch_
f
unct
i
on_hash
t
able
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
Mo
v
e e
v
ery
t
hing to the new cwc
h
ash h
a
sh ta
b
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
a
dd cwchash hash
ta
b
le imp
l
ementation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan Ca
r
penter
function_impl
i
es_ho
o
k: fix
b
ug when a function
has
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpenter
ch
e
c
k
_
sig
n
ed:
warn on assign
i
ng n
e
gati
v
e to unsigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpente
r
Make
s
match work again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n
Car
p
e
nte
r
Merge git://git
.
kern
e
l
.
o
rg
/
pu
b
/
s
cm/devel
/
sp
a
rse/chri
s
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
D
a
n Carpenter
Move the checks out of smat
c
h
.
c
into check_list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
D
an Ca
r
penter
silence
s
ome spar
s
e warnin
g
s
: (
)
=>
(
void)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Da
n
Carpenter
introduce:
t
y
p
e
_m
i
n() and type_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
wine W
t
oA: fix cr
a
shing
b
ug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Car
p
enter
ne
w
file: smatch_script
s
/ge
n
_dma_funcs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpe
n
ter
s
h
ow_i
f
s
.
sh: Add t
h
e -C option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
pe
n
t
e
r
check
_
memory:
e
lim
i
nate some false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n
Carpenter
get
_
value(
)
: the return
v
alue was gett
i
ng cut
o
ff
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
check_
s
igned: clari
f
y e
r
ror message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
wine_fileha
n
dles
:
if the file han
d
l
e gets re
a
ssigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpen
t
e
r
Help kchecke
r
and w
i
ne_chec
k
er
.
s
h find th
e
smatch
b
inary
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next