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
introduce in_macro() which returns true if we're in a macro
2010-03-10
Dan
C
arpenter
check_signed: h
a
ndl
e
unsigned 64
bit var
i
ables b
e
tter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
Dan Carpenter
get_v
a
lue() handle some mor
e
math
o
pe
r
ations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Car
p
ent
e
r
make re
d
un
d
ant
n
ull checks before kfree() an "info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan
C
arpenter
check_signed: Eliminat
e
some fals
e
positive
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
D
a
n
Carpente
r
precedenc
e
: check f
o
r && vs &
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
impl
i
cations: improve
ha
n
d
l
ing of comparis
o
ns wi
t
h
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
arpenter
use implications from POSTOPs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
arp
e
n
t
e
r
conditions: parse EXPR_POSTOPs afte
r
evaluatin
g
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpente
r
check_ov
e
rflow: r
e
move
false positi
v
es caused by printk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Carpenter
flow:
imp
r
ove handl
i
ng of while(i--)
{
loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
remove strange l
o
op
message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n
Ca
r
penter
kpa
t
c
h
.
sh
:
a
sk abo
u
t al
l
o
c
() failures specifica
l
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpent
e
r
check_deref: handle __GFP_NOFAIL
(
remove false po
s
itives)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
Dan Carpenter
c
heck_der
e
f: handle poi
n
ters used as arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
D
an Carpe
n
t
e
r
smatch_flow: clean up
.
merge commo
n
code i
n
handle_pre_loop
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Da
n
C
a
r
p
enter
i
m
p
r
ove implied_condition_true() for pre and post ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
wh
i
le c
o
untdo
w
n loops: handle
l
oops where t
h
e s
t
a
rt
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carp
e
nter
handle for loops w
h
e
re we don't
know th
e
upper
l
i
m
i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpen
t
er
smatch_flo
w
: handl
i
ng p
r
e loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
extra: comparing some
t
hing to zero doesn't me
a
n it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
D
a
n Car
p
enter
che
c
k_ov
e
rflo
w
: re
l
ax
rul
e
s on if (
p
tr
<
&
array[max
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Da
n
Carpenter
extra: handle loops l
i
ke while(i--) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Dan
C
arpent
e
r
cl
e
an up: merge
a
couple
f
unction for ha
n
dling for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
D
a
n
Carpent
e
r
fix handling o
f
(2 <= x) comparisons whe
r
e the variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan Car
p
e
n
ter
ch
e
ck_signed: disable most of
t
he new
w
arnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan Ca
r
penter
get_type() fix c
r
ash on getting poi
n
ter types
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n
Carpe
n
te
r
g
e
t_value
(
) more
int t
o
long lo
n
g mop
u
p
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
an Carpe
n
ter
get_t
y
p
e
() f
i
x
p
oin
t
er hand
l
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan C
a
r
p
enter
Fix get_value()
f
or ((unsigned int) -1)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan C
a
rpenter
type_max(): handle unsign
e
d long lon
g
.
(sort of)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Da
n
Carpen
t
e
r
get rid
o
f --r
a
re
option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan C
a
rpent
e
r
r
enam
e
g
e
t_single
_
va
l
u
e_from_range()
=> get
_
single_
v
alue_fro
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan
Car
p
en
t
er
for loops:
a
dd a special case for "for
(
i
= 0;
i
<
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpen
t
er
check_sign
e
d: check int t
y
pes as well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan
Carpenter
s
match
.
c
:
use s
t
rncpy()
instead of strcpy
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Ca
r
p
e
nter
de
b
ug: rename __
s
match_print_value()
=> __smatch_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
chec
k
_signed: expr->
o
p is
t
ype int not char
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Da
n
C
a
rpe
n
ter
Introduc
e
get_fuzzy_min()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
arpent
e
r
precedence: cut down a fe
w
false positi
v
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
*new* ch
e
ck_le
1
6: print an
err
o
r fo
r
double cpu_to
_
le1
6
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
*new* c
h
eck_mod_timer: print an warnin
g
i
f
someone
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan
C
arpenter
strip_e
x
pr(): re
m
o
ve
force c
a
st
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpenter
k
p
at
c
h
.
sh: figure the e
m
ail ad
d
ress ou
t
a
u
toma
t
ically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpen
t
er
*n
e
w*
s
match_scrip
t
s/kpatch
.
sh: script for m
a
iling
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Ca
r
pe
n
ter
P
r
int fewer me
s
sag
e
s about unr
e
ac
h
e
d co
d
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
D
a
n
C
arpente
r
smat
c
h_cond
i
tio
n
s: small cleanups a
n
d add debug code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Da
n
Carpenter
fi
x
WA
R
N_ON handling
some more
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpe
n
ter
smat
c
h
_
t
e
m
p
l
a
t
e: s
m
all ch
a
nges to co
m
ments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Ca
r
pen
t
e
r
c
l
e
a
n up the
makefile
a
bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
D
an Carp
e
nter
handle ass
i
gnments
l
ike:
f
oo =
x < 1;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Da
n
Carp
e
nter
smat
c
h_states: whi
t
e spa
c
e changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n Carpe
n
ter
smatch is supposed to be using "long long
"
types internally
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
new
_
bugs
.
sh
:
better filter
i
ng of smat
c
h errors from
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
arp
e
nt
e
r
handle stuff lik
e
the
k
er
n
el's
WARN_ON() mac
r
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Car
p
enter
smatch_extra
:
foo = !!x; does not modify x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Car
p
e
n
t
er
handl
e
assignment
s
li
k
e
:
foo =
!b
a
r()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
ch
e
ck_overflow
:
check for mems
e
t()
i
s
s
ues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpen
t
er
automatic
a
ll
y
g
e
nerate the
list
o
f funct
i
ons which
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
D
a
n Carpenter
*
new* s
m
a
tc
h
_scripts/s
u
mm
a
r
i
z
e
_er
r
s
.
sh: scr
i
p
t for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpenter
kernel:
fix xfs fa
l
se p
o
sitives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
ch
e
ck_ove
r
flow:
h
a
ndle: "i
n
t
*
p = &a
r
r
ay;"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carp
e
nter
check_overflow: fix bug in
get_array_size_byt
e
s
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Carpenter
push some more stuf
f
on the big_expression_stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Car
p
e
n
ter
c
he
c
k_ove
r
flow:
h
a
ndle casts l
i
ke ((
c
har *)array
)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
an Carpe
n
ter
check_ove
r
flow: fix assign
i
ng arra
y
s to po
i
nter
s
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Car
p
enter
check_
o
verflow: fix alignment
bug
in get_arra
y
_si
z
e_by
t
es()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n
Carp
e
nter
check_over
f
low:
p
r
e
fer
r
ecent assignme
n
ts over
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carpenter
Add quotes arou
n
d
s
t
ring literals in s
m
atch o
u
t
p
ut
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carp
e
nter
c
h
eck_overflow: update str
c
py() and
s
trncpy() checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpen
t
er
kernel
.
n
o_return
_
funcs: __reiserfs_pan
i
c doesn't re
t
urn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
pe
n
te
r
check
_
overflow
:
s
tor
e
the siz
e
in
b
ytes inste
a
d of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
C
arpenter
check_
o
verfl
o
w: do
n
't complain about i
f
(ptr < &array
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
an Carpent
e
r
sma
t
ch_flow: change
how the big expression stack works
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpente
r
check_overflo
w
: rename my_
d
ecl_id
=>
m
y
_s
i
ze_id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n
Car
p
e
n
t
er
check_over
f
low: white space
c
hange
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
an Ca
r
pe
n
ter
check_overflow: use the _expr() hoo
k
s inst
e
ad of doing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_
o
verflow
:
remove some
o
ld debugging
c
ode
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
c
h
eck_overflow: rename dest => array_expr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
Carpen
t
er
check_
o
verflow: get_initiali
z
er_bytes() => get_initializer_
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
ch
e
ck_overflow: o
p
tion_sp
a
mm
y
=> option
_
i
n
fo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
penter
check_overflow: handl
e
index
e
d array initializations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carpenter
c
h
eck_overflow:
fix endless loop parsing
"
int x =
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
fix get_implied_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpen
t
er
check_overflow: lots of impro
v
ements and also
a
v
alidation
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan
Carpenter
fix crash calling get_type(
)
on implicitly defi
n
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan
C
arpenter
A
dd smatch_data/ker
n
el
.
no_return_
f
uncs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan C
a
rpen
t
er
function ho
o
ks: get
rid of conditional func
t
ion
h
o
ok
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Ca
r
penter
add
smatch_
s
cri
p
ts/new
_
bugs
.
s
h: prints the bugs
i
ntroduce
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
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
C
arpente
r
unreachable
c
ode:
ena
b
le by
d
e
fau
l
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpente
r
sh
o
w_unr
e
achabl
e
.
sh:
a
dd -k (ke
r
nel
m
ode) -
b
(ign
o
re
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
D
a
n Car
p
enter
unreachable code: work ar
o
un
d
g
cc work arounds
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
D
an Carpe
n
te
r
pri
n
t an
error message about unreache
d
initial
i
zers
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
D
a
n Carpent
e
r
check_stack: twe
a
k the output a
b
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
Christ
o
pher L
i
Pointer don
'
t inhere
n
t the
alignment from bas
e
type
commit
|
commitdiff
|
tree
2010-02-08
D
a
n
Carpenter
New check
_
stack
.
c: warn if kernel cod
e
puts to
o
muc
h
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
Dan
Car
p
enter
Add
register_proje
c
t() to che
c
k_li
s
t
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-01
D
a
n
C
a
r
p
enter
update t
h
e d
o
cumentation
a
b
i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-30
Dan Carpente
r
check_memory:
o
nly load kerne
l
.
f
rees_argume
n
t when
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan C
a
rpenter
Create
:
smatch
_
project
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next