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_signed: check int types as well
2010-02-24
Dan Carpenter
check_
s
i
g
ned:
c
hec
k
int types as well
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpen
t
er
sma
t
c
h
.
c: use
s
trncpy() instead o
f
strcpy()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n Ca
r
penter
d
e
bug: r
e
nam
e
__sm
a
tch_pr
i
nt_va
l
ue()
=> __smatch_valu
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan C
a
r
penter
check_signed: expr-
>
o
p is type int no
t
char
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
an Carpe
n
ter
I
n
troduce
get_fuzzy_min
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
precede
n
c
e: cut do
w
n a few fa
l
se positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpe
n
ter
*new* check_le16: print an error for double cpu_t
o
_le16
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Da
n
Carp
e
nt
e
r
*
n
e
w
* check_mod_t
i
mer: print an warning
if som
e
on
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
D
a
n Carpe
n
ter
st
r
i
p
_expr():
r
e
move
force casts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan
Carpenter
k
p
a
t
ch
.
s
h: figure
the email address out automatical
l
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
D
an Ca
r
pente
r
*n
e
w* smatch_scr
i
pt
s
/kpatch
.
s
h
:
script for m
a
i
l
ing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpent
e
r
Print fewer messages
about unrea
c
hed cod
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carp
e
nte
r
sma
t
ch_cond
i
tions: small cleanu
p
s and add de
b
ug
c
ode
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan
C
a
r
penter
fix
W
ARN_ON handl
i
ng
s
ome more
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Car
p
en
t
er
smatc
h
_template: small
changes to commen
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
clea
n
up
t
he mak
e
file a b
i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
handle assign
m
ent
s
like: foo = x < 1;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
s
m
atch_st
a
t
e
s:
w
hite
space cha
n
ge
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n Carp
e
n
t
er
smatc
h
is supposed
to be using "
l
o
n
g lon
g
"
types internally
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
new_bugs
.
sh: better f
i
lter
i
ng of smatch err
o
rs fr
o
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
hand
l
e s
t
uff like the kernel's WARN_ON
(
) macro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
smatch_extra: fo
o
= !!x;
d
o
e
s
not modif
y
x
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
handle assignments
like: foo = !bar(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
an C
a
rpenter
check_
o
v
e
rflow: check for memset() issues
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
automati
c
ally ge
n
erate the list of functi
o
ns which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan C
a
r
p
ent
e
r
*new*
smat
c
h
_scrip
t
s
/summarize_errs
.
sh:
s
cri
p
t
f
or
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
D
a
n Carpenter
kernel:
fix xfs false po
s
itives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
an Carpe
n
ter
check_overflow: handl
e
: "int *p = &array;"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpent
e
r
check_overflow: fix bu
g
in get_array_size
_
byte
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpen
t
e
r
p
ush some m
o
re stuff on th
e
b
i
g_
e
xpression_stack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpe
n
ter
check_overflow
:
ha
n
dle
c
asts
like
((char *)array)
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
an Ca
r
penter
check_overflow: fix
a
ssign
i
n
g arrays to
pointe
r
s
o
f
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
an Car
p
enter
check_overflo
w
: fix alignment b
u
g in get_array
_
size_bytes()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
che
c
k_o
v
er
f
low: pre
f
e
r
rec
e
nt assignments over
th
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
Add quote
s
around
string
lit
e
rals in sm
a
tch
o
utput
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan C
a
rpe
n
ter
check_overflow: update strcpy() and
s
t
rncpy() ch
e
cks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
ker
n
el
.
no_
r
eturn_funcs:
_
_r
e
iserfs_panic doesn't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
an
C
arpenter
check_over
f
low:
st
o
re
t
he size in bytes instead of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan C
a
rpenter
check_overflow: don'
t
complain about if (ptr < &array
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
p
e
n
ter
sm
a
tch_flow: ch
a
n
ge how
t
h
e
b
i
g expression st
a
ck wo
r
ks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
chec
k
_ov
e
rf
l
o
w: r
e
name my_decl_id => my_siz
e
_id
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carpenter
ch
e
ck_over
f
lo
w
: white
s
p
ace changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Car
p
ente
r
check_ove
r
flow:
use the _expr()
hooks instead
of doing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpen
t
er
check_overfl
o
w
: remove som
e
old
d
ebug
g
ing code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n
Ca
r
penter
ch
e
ck_overf
l
o
w
:
r
e
n
a
m
e dest => arr
a
y_expr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Car
p
enter
check_o
v
erflow:
get
_
initializer_bytes() =
>
g
e
t
_
i
n
itializer
_
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpente
r
check_overflow
:
option_spammy
=> optio
n
_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arp
e
nter
check_over
f
low: ha
n
dle
indexed arr
a
y initializati
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
che
c
k_ov
e
rflow: fix end
l
ess lo
o
p
p
arsing
"
int x
=
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpent
e
r
fix get_implied_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan
C
arp
e
nter
check_o
v
erflow: lots of
i
mprovement
s
a
n
d also a validation
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
fix crash cal
l
ing get
_
t
ype() on implici
t
ly defined
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
A
dd smatch_
d
ata/kernel
.
no_return_funcs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
function hooks: g
e
t rid
o
f
c
onditio
n
al functi
o
n hooks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
add sma
t
ch_scripts/
n
ew_bugs
.
s
h: prints the bugs introduced
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan
Carpenter
err_pt
r
_deref: update to use newer
api
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan C
a
rpenter
un
r
eacha
b
l
e cod
e
:
e
nable by default
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
D
an Carpenter
show_unre
a
cha
b
le
.
sh: add -
k
(ke
r
nel mode) -b
(ignore
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
Dan Ca
r
p
ente
r
un
r
eachable code: work around gcc wor
k
arounds
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
Dan Carpenter
pri
n
t
an error mes
s
ag
e
about
u
nreached ini
t
ializers
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-10
Dan Carpenter
check
_
s
tac
k
: tweak
t
h
e output a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-10
Christopher
Li
Point
e
r don
'
t in
h
erent the alignment from base type
commit
|
commitdiff
|
tree
2010-02-08
D
a
n
Ca
r
p
e
nt
e
r
New
check_
s
tack
.
c: warn if
kernel
c
ode put
s
too
m
uch
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-08
Da
n
Carpenter
Add reg
i
ster_pr
o
je
c
t() to check_li
s
t
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-01
Da
n
Car
p
ent
e
r
updat
e
t
he docum
e
ntation a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-30
Dan Carpen
t
er
chec
k
_memory
:
only load
kerne
l
.
frees_argument wh
e
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
C
r
eate: smatch_project
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Da
n
Carp
e
n
t
er
bai
l
if things are taking too
l
ong
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
D
a
n C
a
r
p
enter
add sm
a
tch_scripts/filter_kern
e
l
_deref_check
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
D
a
n
C
arpente
r
check_deref_check:
d
o not complain in
l
o
o
p pre conditio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-28
Dan Carpenter
tweak
u
nre
a
chable c
o
d
e
mess
a
ges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpenter
check_signed:
handl
e
signed 1 bit
v
alues
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Da
n
Carp
e
nter
check_
s
igned:
d
on't complain abou
t
unsigned int x
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpen
t
er
new
f
u
n
c
t
i
on: type
_
un
s
i
g
n
ed(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-26
Dan Carpent
e
r
par
t
ly replace c
h
eck_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
D
a
n
C
arpenter
modificati
o
n
h
ooks: o
n
ly
al
l
ow one hook per va
r
i
a
ble
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Da
n
Ca
r
p
ente
r
i
ntro
d
uce
:
s
e
t
_
default
_
mo
d
ification_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Ca
r
pen
t
e
r
cleanup: get r
i
d of
s
match_containers
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
check_n
u
ll_d
e
ref:
only th
e
kernel care
s
about failed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
D
an Carpenter
Fix OpenBSD co
m
pi
l
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Da
n
Carpente
r
che
c
k_signed:
c
lean up
s
.
add check for impos
s
ibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpe
n
ter
make everyth
i
ng
u
se
s
match_function_hash
t
able
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Da
n
Carpenter
add smatch_func
t
ion_h
a
sht
a
ble
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpe
n
ter
Move ev
e
ry
t
hing to the new cwchash hash
t
a
b
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpente
r
add cwchas
h
h
a
s
h
t
a
b
le
i
mpleme
n
t
a
t
ion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
R
obert
Bed
i
ch
e
k
Novaf
o
ra license gran
t
using MI
T
li
c
ens
e
.
commit
|
commitdiff
|
tree
2010-01-21
Dan
C
arpenter
function_i
m
p
lies_hook: fi
x
b
u
g
w
hen a function
has
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Dan C
a
rpenter
chec
k
_signed: wa
r
n o
n
assigning n
e
gative to unsigne
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan C
a
rp
e
nter
Make smatch work
a
g
a
in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n C
a
rpenter
Merge
g
i
t
:
//git
.
kernel
.
or
g
/pub/scm/devel/
s
parse/chri
s
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Carp
e
nter
M
ov
e
the
ch
e
c
k
s out
of s
m
atch
.
c into c
h
eck
_
l
i
st
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
s
i
lence so
m
e sparse
warnings: () => (void)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
int
r
od
u
c
e
: type_min() and
typ
e
_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
w
i
ne
W
toA: fi
x
crashin
g
bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
an Carpenter
new f
i
le: smatch
_
s
c
r
i
pts/ge
n
_dma_funcs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpe
n
ter
show_ifs
.
sh:
Add the -C option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan C
a
rp
e
nter
check_memory: eliminate
some
f
a
lse positi
v
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan
Ca
r
penter
ge
t
_value()
:
t
h
e return va
l
ue was
getting cut o
f
f
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
check_signed: clar
i
fy err
o
r me
s
sage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Carpenter
wi
n
e_fi
l
ehandles: if
t
he file handle gets reassigne
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next