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 C
a
r
p
enter
check_signed:
ch
e
ck
in
t
types as
w
ell
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Car
p
en
t
er
sm
a
tch
.
c:
use strncp
y
()
instea
d
o
f strcp
y
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
a
rpe
n
t
er
debug: re
n
ame __sma
t
ch_prin
t
_
value() => __
s
match_va
l
ue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
ar
p
enter
check_signed:
e
x
pr->op is type i
n
t not ch
a
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan C
a
rpenter
I
n
tr
o
duce get
_
f
u
zzy_mi
n
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
p
r
ecedence: cut
do
w
n
a
few false posit
i
ves
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n Carpenter
*new* c
h
eck_le16: print
an e
r
ror for double cpu_to_le1
6
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan C
a
rp
e
n
t
er
*n
e
w*
c
h
e
ck_m
o
d_ti
m
er:
p
rint an warning if someon
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpenter
s
t
r
i
p_e
x
pr():
remov
e
forc
e
casts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpente
r
kpa
t
ch
.
sh: figure the email address out auto
m
atically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan
Carp
e
n
ter
*
n
e
w
* sm
a
tch_scripts
/
kpatch
.
s
h
:
scrip
t
for mail
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Ca
r
penter
Pri
n
t fewer messages ab
o
ut unr
e
ached code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan C
a
rpente
r
s
match_conditions: smal
l
cleanups
a
n
d
add debug code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Da
n
C
a
rpenter
f
i
x WA
R
N
_ON ha
n
dling s
o
me
more
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan C
a
rp
e
nter
smatch_t
e
mplate: small changes t
o
comment
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Da
n
Carp
e
nter
c
lean u
p
the mak
e
f
i
le
a
b
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
handle assig
n
men
t
s like:
foo =
x < 1;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
smatch_states
:
whi
t
e space chan
g
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan C
a
rpenter
smat
c
h i
s
supposed to be using
"long
long" typ
e
s interna
l
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
Carpenter
new_b
u
gs
.
sh:
bet
t
e
r
filteri
n
g
o
f smat
c
h
erro
r
s from
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpen
t
er
handle
s
tuff li
k
e th
e
kernel's WARN_ON
(
)
macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n Carpenter
smatch_ext
r
a: fo
o
= !
!
x; does no
t
m
odify x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n Carp
e
nt
e
r
handle assig
n
ments like: foo = !b
a
r()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
an Ca
r
p
e
nter
check_overflow: check for mem
s
et() issu
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
arpenter
automa
t
ic
a
lly gene
r
ate the list
of functio
n
s whic
h
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Da
n
Carpenter
*
n
ew
*
s
m
atch_scripts/summar
i
z
e
_errs
.
s
h
: s
c
ri
p
t f
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpenter
kernel: fix xfs false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Car
p
enter
c
heck_ove
r
flow: hand
l
e: "int *p = &array;"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Carpent
e
r
chec
k
_overf
l
ow: fix bug
i
n get_array_
s
iz
e
_
b
yte
s
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
push some mor
e
stuff
o
n the big_expression_stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carpenter
check_over
f
low: handle casts like
(
(
c
har *)array)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
C
arpe
n
ter
check_
o
verflow:
f
ix assigning arra
y
s to
p
ointers of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpente
r
che
c
k
_overflow:
f
ix al
i
gnment
bug in get_
a
rray_si
z
e_
b
ytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_
o
verfl
o
w: prefer recent assign
m
ent
s
ove
r
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Carp
e
nt
e
r
Add quotes arou
n
d
string
lite
r
als in smatch outpu
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
chec
k
_overflow: update strcpy() and
s
trncpy()
check
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpenter
k
e
rne
l
.
no_return_f
u
ncs: _
_
reiserfs
_
panic doesn't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpente
r
check_overflow:
s
tore the
s
ize in
bytes
instead of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpente
r
check_overf
l
ow:
don't co
m
plai
n
about if (p
t
r <
&
a
rra
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
penter
smatch_fl
o
w
: change how the big express
i
o
n stack works
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carp
e
nter
check
_
overflow
:
rename
my_decl_id => my_size_id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpenter
check_overflow: white space c
h
anges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carpe
n
ter
c
heck_o
v
erf
l
ow
:
u
s
e the _expr() hooks i
n
stead
o
f doing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overf
l
ow:
remove
some
old deb
u
g
ging
cod
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpenter
check_over
f
low:
ren
a
m
e
dest => arr
a
y_expr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n
C
arpenter
che
c
k
_
ov
e
rflow: get_
i
n
itiali
z
er_byt
e
s() => get_initializer_
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carp
e
nter
check_over
f
low: opt
i
on
_
spam
m
y => option_
i
nfo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpenter
check_overflow: han
d
le indexed arr
a
y ini
t
ializ
a
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
penter
c
h
e
c
k_overfl
o
w:
f
ix endle
s
s
loop parsing "int x =
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpe
n
te
r
fix get
_
implied_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
D
a
n
Carpenter
check_overf
l
ow
:
lots of impr
o
vements and
a
l
so a validat
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
fix crash calling get_type() on
i
m
p
licitly d
e
f
i
ned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpe
n
ter
Ad
d
smatch_data/kernel
.
no_return
_
funcs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
D
an
C
arp
e
n
ter
function hooks:
g
et rid of
con
d
itional function hooks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Car
p
enter
add smatch_scrip
t
s/new_bugs
.
sh: prints the bugs intr
o
duced
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpent
e
r
err
_
p
t
r
_de
r
ef: u
p
date to u
s
e newer api
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Car
p
e
nter
unreachable
c
o
de: enable by de
f
a
ult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan
Ca
r
penter
show_unreachable
.
sh:
add
-
k (ke
r
ne
l
mode) -b (
i
gnore
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
D
an Carpenter
un
r
e
a
chable code: work around gcc wor
k
aro
u
nds
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
Dan Carpe
n
ter
print an error mess
a
ge a
b
ou
t
u
nreache
d
initial
i
zers
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
Dan Carp
e
nter
check_stac
k
:
t
w
eak the
output a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
Dan
C
a
r
p
en
t
er
New
c
hec
k
_stack
.
c: warn i
f
k
e
rnel code puts t
o
o
m
uch
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
Dan Carpenter
A
dd register
_
pro
j
ect() to
c
heck
_
list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-01
Dan Carp
e
nter
update the document
a
tion a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-30
Dan Carpenter
check
_
m
em
o
ry:
only
l
oad kernel
.
fre
e
s_a
r
gume
n
t wh
e
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Da
n
Carpenter
Cr
e
a
t
e: smatch_proj
e
ct
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Da
n
Carpe
n
ter
bail if t
h
ing
s
are taking too
l
ong
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Da
n
Carpenter
add smatc
h
_scripts/fil
t
er_k
e
rnel
_
deref_che
c
k
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
D
an Carpenter
c
heck_deref_check: do not compla
i
n i
n
loop pre condi
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-28
Da
n
Carpenter
t
w
ea
k
unre
a
ch
a
b
le code mes
s
ages
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
D
an Ca
r
p
e
nter
ch
e
c
k
_signed: handle sig
n
ed
1
bit values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpenter
c
heck_
s
ign
e
d: d
o
n't comp
l
ain about unsign
e
d
int
x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan
Car
p
e
nt
e
r
new f
u
nction: type_u
n
sign
e
d()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-26
Dan
C
arpenter
p
a
r
t
l
y replace check_n
u
l
l
_
d
e
re
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
modi
f
i
ca
t
ion h
o
oks: only allo
w
one hook per variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
intro
d
u
c
e: se
t
_defaul
t
_
m
odi
f
i
c
ation_h
o
o
k
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan C
a
rpenter
clean
u
p:
g
et
r
id of sm
a
tch_c
o
ntain
e
rs
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
chec
k
_nu
l
l_deref:
only t
h
e
k
e
rnel ca
r
es
abou
t
failed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
D
a
n
Carpente
r
Fix OpenBSD compile
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan
Carpenter
check_s
i
gned: clean
ups
.
add
c
heck fo
r
impos
s
ibly
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan
Ca
r
pen
t
er
ma
k
e everything use smatc
h
_function_ha
s
htable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carp
e
nter
a
dd smatch_func
t
i
on_hashtable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
D
a
n C
a
rpenter
M
ove everythin
g
to t
h
e new cwch
a
sh hash table
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
D
an Carpenter
add
c
wchash
hash
t
ab
l
e
imp
l
ementati
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan
C
a
rpenter
fu
n
ction_implies_hook: fix bug when a f
u
nction has
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan
Car
p
enter
check_signed: warn on assignin
g
negative to unsigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Ma
k
e
smatch work again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Da
n
Carpenter
Merge git
:
//git
.
k
e
rn
e
l
.
org/pub/scm/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Move the
c
he
c
ks out of smatc
h
.
c in
t
o check_list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan
Carpenter
silence some spa
r
se warn
i
n
gs
:
() => (void)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n Carpenter
introdu
c
e: t
y
pe_min() a
n
d
type_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
wine Wto
A
: fix crash
i
ng
b
ug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
an Carpenter
new fil
e
: smatch_sc
r
ipt
s
/gen_
d
m
a
_f
u
n
c
s
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
arpenter
show_ifs
.
sh: Ad
d
t
h
e -C option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
pente
r
check_memory: eliminate some
false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
get_
v
alue(): th
e
r
e
turn value wa
s
get
t
ing cut off
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
check_signed: clarify error messag
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
an Carp
e
nter
wine_filehandles: if
th
e
f
i
le handle gets
r
eassigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Carpenter
Help kchecker a
n
d w
i
ne_checker
.
sh fin
d
the smat
c
h binary
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpente
r
g
e
t_v
a
ria
b
l
e
_from_expr(
)
:
fix array display
(
even
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next