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
rpenter
check_signe
d
: check int typ
e
s as wel
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Da
n
Carpenter
s
m
a
tch
.
c: use strncp
y
() instead of strcpy(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
debug: r
e
name _
_
smatch_print_value() => __smatch_
v
al
u
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan
Carpenter
chec
k
_sig
n
e
d
: expr->op i
s
typ
e
in
t
n
ot c
h
ar
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n Carpenter
I
ntroduce get_f
u
zzy_min(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n Car
p
enter
pr
e
c
e
dence:
cut down
a few
f
alse
positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
*new* check_le16
:
prin
t
an
e
rror f
o
r
double
cpu_to_le16
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
*new* che
c
k_mod_timer: print an warning if someone
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Da
n
Carpent
e
r
strip_ex
p
r(): remove
f
orce c
a
sts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan
C
a
rp
e
nter
k
patch
.
sh: figure the email address o
u
t a
u
tomatica
l
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpent
e
r
*
new* smatch_s
c
ripts/kpatch
.
sh: script for mailing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpen
t
er
Print fewer
m
e
ssages
about unreached cod
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
D
a
n Carp
e
n
t
er
smatch_conditions: small clean
u
ps and add deb
u
g code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
fix
WA
R
N_ON handling some more
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpen
t
e
r
s
match_template: sma
l
l change
s
to comment
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Car
p
ent
e
r
c
lean u
p
the makefile a bi
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
D
a
n Carpent
e
r
handle
a
s
signments
l
ike:
f
oo =
x < 1;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n
Car
p
enter
smatch_state
s
: white s
p
a
ce
c
han
g
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carp
e
nter
s
ma
t
ch is supposed
t
o be using "long l
o
ng
"
types i
n
t
ernally
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Car
p
enter
new_
b
ugs
.
s
h
: be
t
t
e
r
filteri
n
g of sm
a
tch errors from
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpen
t
er
handle stuff
like the kernel's WARN_O
N
()
m
acr
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
s
ma
t
ch_extra: foo = !!x;
do
e
s not
m
o
dify x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
arpe
n
ter
handle as
s
ignments like:
fo
o
=
!
b
ar()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
c
h
e
ck_overflow: check for mems
e
t(
)
issu
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
automatically generate the list
of
f
uncti
o
n
s whic
h
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Da
n
Carpenter
*new* smatch_scrip
t
s/summarize_errs
.
sh: scri
p
t for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
D
a
n C
a
rpenter
kernel
:
f
ix x
f
s false positiv
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Ca
r
penter
check_over
f
low:
handle: "i
n
t *p = &arr
a
y;"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_overflow:
f
ix
bug in
g
e
t_array_size_bytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
p
ush
s
o
me mo
r
e
stuff on the big_expre
s
s
i
on_stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
C
arpen
t
er
check_overflow: handle casts like ((c
h
ar *)array)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Ca
r
pe
n
ter
check_overflow:
fix ass
i
gning arrays to pointers
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
C
a
r
penter
chec
k
_overflow: fi
x
alignment bug i
n
get_array_size_bytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Car
p
ent
e
r
check_over
f
low: pre
f
er recent assig
n
ments over the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
Add quote
s
around
s
t
ring literal
s
in
s
m
a
tch outp
u
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Car
p
enter
check_overflow: updat
e
strcpy() and strnc
p
y() checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpen
t
er
k
ern
e
l
.
no_
r
etur
n
_funcs: __
r
eiserfs_panic
d
oesn't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carpenter
check_overf
l
ow:
store th
e
s
ize in bytes instead of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carp
e
nter
c
heck_overflow: don't complain abo
u
t if (ptr < &array
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
sma
t
ch_flow: chang
e
h
ow th
e
big expr
e
s
s
io
n
stack w
o
rks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carp
e
nter
check
_
overflow:
rename
m
y_decl_id => my_size_id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan C
a
rpenter
chec
k
_overflow: wh
i
te space chang
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carp
e
nter
check_overflow: use the _expr() hooks instead of doing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carp
e
n
t
er
c
h
eck_over
f
low: r
e
move some
o
ld debugging code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
ch
e
ck_
o
verflow: rename d
e
st
=
> array_expr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carpenter
c
heck_overflow
:
get_initializer_bytes()
=>
get_initiali
z
er_
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
an Carpenter
check_over
f
l
o
w: option_
s
pammy => option_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
c
h
eck_ov
e
rflow: handle ind
e
xe
d
array
i
ni
t
i
a
lizat
i
on
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
Ca
r
pen
t
er
check_
o
v
erflow: f
i
x en
d
less loop parsing "int x =
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carpenter
fi
x
get_implied_ma
x
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
check
_
ove
r
f
low
:
lots of impr
o
vemen
t
s and a
l
so a validati
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Da
n
Carpenter
fix cras
h
calling get_typ
e
() on implicitly define
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
A
d
d smatch_data/k
e
rnel
.
no_return_funcs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
D
an Car
p
enter
fu
n
c
t
ion hooks
:
get rid
of
conditi
o
nal function hooks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
add
s
match_
s
cript
s
/ne
w
_b
u
gs
.
sh: prin
t
s th
e
bu
g
s intro
d
uced
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan
C
arpenter
err_pt
r
_de
r
ef
:
update to use
newer api
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
u
n
reachable
c
od
e
:
enable by defa
u
l
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpent
e
r
show_un
r
ea
c
hable
.
sh: add -k
(
kernel mode) -b (ignore
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
D
an Carpenter
unre
a
chable code: work around gcc work arounds
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
Dan Carpenter
print
a
n error mes
s
a
g
e about unreach
e
d
i
nitial
i
zers
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
Dan Carpenter
ch
e
ck_s
t
ack:
twea
k
the
o
u
t
p
u
t
a
bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
C
hr
i
s
topher Li
P
o
inter don't inherent t
h
e alig
n
men
t
fro
m
base
type
commit
|
commitdiff
|
tree
2010-02-08
Dan Carpenter
N
e
w check_stack
.
c: warn if kernel
c
o
de puts
too much
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
Dan
Carpenter
Add register
_
project() to check_
l
ist
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-01
Da
n
Carpent
e
r
updat
e
t
h
e documentation a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-30
Dan Carpenter
che
c
k_memory: only load ker
n
el
.
fre
e
s_
a
rgumen
t
when
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpente
r
Crea
t
e
:
smatch_
p
roject
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
b
ail
i
f
t
hing
s
are t
a
king too
long
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
D
a
n Carpen
t
e
r
add smatch_sc
r
ipts/f
i
lter_k
e
rn
e
l_de
r
ef_
c
heck
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
D
an
C
arpen
t
er
che
c
k_dere
f
_
che
c
k: d
o
not com
p
lai
n
in loop
pre c
o
n
d
itions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-28
Dan
Carpen
t
er
tweak un
r
ea
c
hable code
m
essages
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpenter
check_signed
:
h
andle s
i
gned 1 bit
v
alues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Car
p
enter
c
h
eck_signed: don't compla
i
n about un
s
ig
n
ed int x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpe
n
ter
ne
w
function: type
_
unsign
e
d()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-26
Dan
Ca
r
p
e
nter
p
a
r
t
l
y r
e
plac
e
check_null_d
e
r
ef
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Ca
r
pen
t
er
modification
hooks:
only allow on
e
hook per va
r
iable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
introduce: set_default_mo
d
ification_
h
ook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
c
l
eanup: get rid o
f
s
match_
c
on
t
ain
e
rs
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
check_null_de
r
e
f
:
o
nly the ker
n
e
l ca
r
es about
f
ailed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan
C
ar
p
enter
F
i
x O
p
en
B
SD compile
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpenter
check_sig
n
ed: clean
u
ps
.
add c
h
eck for impos
s
ibly
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpente
r
mak
e
every
t
hing
use smat
c
h_function_has
h
t
a
ble
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
add s
m
atch_fun
c
tion_hasht
a
b
l
e
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Da
n
Carpenter
Move
everything
to th
e
new cwchash hash table
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpen
t
er
add cwch
a
sh hash table impleme
n
t
a
t
i
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Robert Bedichek
Novafora li
c
ense
g
ra
n
t
using MIT
license
.
commit
|
commitdiff
|
tree
2010-01-21
D
an Carpe
n
ter
fu
n
cti
o
n_implies_hook: fix bug when a func
t
i
o
n has
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan
C
arpenter
check_si
g
ned: w
a
rn o
n
assigning n
e
gative to unsigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan
Carpent
e
r
Make smatch
work again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
D
an Carpenter
Merge git://git
.
kernel
.
org/pu
b
/scm/devel/
s
par
s
e
/chri
s
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpen
t
er
Move th
e
c
he
c
ks out of smatch
.
c
i
nto check_li
s
t
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Ca
r
p
en
t
er
silence
som
e
sparse
warnings: () => (void)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpe
n
ter
introduce: type_min() an
d
type_max
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan
C
arpenter
win
e
WtoA: fix crashing b
u
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
ar
p
en
t
e
r
new fi
l
e: smatch_
s
crip
t
s/gen_
d
ma_funcs
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n
Car
p
enter
show_i
f
s
.
sh:
A
d
d
the -C option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
C
ar
p
enter
check_memory: eliminate
some f
a
lse
positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpen
t
er
g
et
_
value(): the
r
eturn value wa
s
getting cut o
f
f
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan C
a
rpenter
ch
e
ck_signed
:
c
l
arify error message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
pent
e
r
wine_filehandles: if
t
he file handle gets rea
s
signed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next