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
improve implied_condition_true() for pre and post ops
2010-03-04
Dan Carpenter
improve implied_con
d
iti
o
n_true() for pre
and
p
o
s
t
o
ps
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
while co
u
ntdown loops: h
a
ndle loop
s
where t
h
e st
a
rt
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan
Carpenter
h
a
n
dle f
o
r loops w
h
ere we don't know the upper limit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Ca
r
p
e
n
ter
smatch
_
flow: h
a
ndli
n
g pre loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
D
a
n
C
arpent
e
r
extra: compa
r
i
n
g something
to zero doesn't mean
it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpen
t
er
che
c
k_ov
e
rflow: relax
r
u
l
es on if (ptr < &array[m
a
x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpent
e
r
extra: han
d
le loops lik
e
whil
e
(i--) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
D
a
n Carp
e
nter
cle
a
n
u
p
:
me
r
ge a couple funct
i
o
n f
o
r handling for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
D
a
n Carpenter
fix handling o
f
(
2
<=
x) com
p
arisons where the v
a
r
iable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan
C
arpenter
check_signed: d
i
sable most of the new
war
n
ings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpenter
get_t
y
p
e()
f
ix c
r
ash o
n
gett
i
ng
p
ointer types
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
p
e
n
t
e
r
get_value() more int to long long mop up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
g
et_ty
p
e
(
)
f
i
x
p
o
inter
h
a
ndlin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpe
n
ter
Fix get
_
v
a
l
ue() for ((unsig
n
ed int) -1)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n
Carpenter
type_max(): handle u
n
signe
d
long long
.
(sort of)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Carpenter
get rid o
f
--rare option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
an Car
p
enter
rename get_single_value_from_range() => ge
t
_single_value_fro
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan
Carpen
t
er
for loops:
a
dd a spec
i
al
c
ase for "for(
i
= 0; i <
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Carp
e
nt
e
r
che
c
k_signed: check int types
as well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan C
a
rpen
t
er
s
match
.
c
:
use strncpy()
i
nstead of
strcpy
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan
Carpenter
debug: r
e
name __smatch_print_
v
a
l
u
e() => __smatch_valu
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
check_signed:
exp
r
->op
is type i
n
t
n
ot char
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Da
n
Carp
e
nter
Introdu
c
e get_f
u
zzy_min()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpente
r
p
recedence:
cut dow
n
a few false positiv
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n
C
arpenter
*new* check
_
le16: print an error for double cpu_t
o
_
l
e16
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
*new* check_m
o
d_timer: print
an warn
i
ng if
some
o
ne
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpenter
strip_expr(): remove force casts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpent
e
r
kpatch
.
sh: figure the email addr
e
ss out
a
utomatica
l
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpent
e
r
*new* smatch
_
s
cript
s
/kpatch
.
sh: script
f
o
r
mailing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan
C
arp
e
nter
Print fewer mess
a
ges about un
r
eached
c
od
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpe
n
ter
sma
t
ch_condition
s
: small cleanups and add debu
g
c
od
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
D
a
n Carpen
t
er
f
i
x
W
A
RN_ON handli
n
g some more
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
smatc
h
_te
m
plate: small ch
a
ng
e
s to commen
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
c
l
ean up
the makefile
a
bi
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
D
a
n Carpenter
han
d
le as
s
ig
n
ments like: f
o
o = x < 1;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carp
e
nter
s
m
atch_s
t
ates:
w
hite
s
pace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carp
e
nter
s
m
a
tch is
s
upposed
to
b
e usin
g
"lon
g
lon
g
" t
y
pes 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 smatch er
r
ors fr
o
m
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Car
p
enter
h
andle
stuff like the kerne
l
'
s
WARN_ON() macr
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan C
a
rpenter
smatch_extra: foo = !!x; does not
modify x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n Carpen
t
er
handle ass
i
gnme
n
ts l
i
ke: foo = !bar()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
Carp
e
nter
check_overflow: ch
e
ck fo
r
m
emse
t
()
i
s
sues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
automat
i
call
y
generate the list of functions
w
hich
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpenter
*new* smatch_scripts
/
summa
r
ize_er
r
s
.
s
h
:
scri
p
t for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpenter
kernel: fix xfs false
p
ositives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpent
e
r
c
h
eck_overflow
:
handle: "int *p = &ar
r
a
y
;"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Carpenter
check
_
overflow:
f
i
x bug in get
_
array
_
s
ize
_
bytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n
C
ar
p
enter
push some more
s
t
u
ff on the big_expression_stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpente
r
check_overfl
o
w: ha
n
d
l
e cast
s
l
i
ke ((char *)array
)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Car
p
enter
c
h
eck_overflow: fix assi
g
ni
n
g a
r
rays t
o
poi
n
ters of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_overfl
o
w: fix alig
n
m
e
n
t
bug in get_ar
r
ay_size_
b
ytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_ov
e
rflow: p
r
efer
r
ecent assignments
o
ve
r
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpenter
Add quo
t
es aroun
d
string literals in smatch ou
t
put
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan C
a
r
p
ente
r
check_overflow: update st
r
cpy(
)
and strncpy() che
c
ks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
an
C
ar
p
en
t
er
kernel
.
no_return_funcs: __r
e
iserf
s
_panic doesn't re
t
urn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
p
enter
c
heck_overf
l
ow: store the size in bytes i
n
stead
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
c
heck_overflo
w
:
don't complain
a
bout if
(
ptr < &array
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpente
r
smatch_flow: cha
n
g
e
how the
big
e
x
p
ression
s
tack wo
r
ks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overflow: rename m
y
_
decl_
i
d =>
m
y_size_id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overflow: white space changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_o
v
e
rflow: use the _expr() hook
s
instead
o
f
do
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_ove
r
fl
o
w: re
m
ove som
e
old debugging c
o
de
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
a
r
penter
c
h
e
c
k_overflow: rename dest => array_expr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpen
t
er
ch
e
ck_over
f
low: get
_
initializer_bytes() => get_initiali
z
er_
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
penter
check_overflow: option_
s
pam
m
y
=
>
option_i
n
fo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_ov
e
rflow: handle inde
x
ed array initia
l
izations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
penter
c
h
eck_over
f
low: fi
x
endless
loop parsing "int
x =
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpente
r
f
ix ge
t
_i
m
p
lied
_
max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
ch
e
ck_overflow:
l
ots
of
i
mprovements and also
a validation
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carp
e
nter
fix c
r
as
h
call
i
ng get_type() on impl
i
c
i
tly defined
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan
Carpe
n
t
e
r
Add smatch_data/kernel
.
no_retu
r
n_f
u
ncs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpen
t
er
funct
i
on h
o
ok
s
: get r
i
d of
conditi
o
nal fun
c
tion hooks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
a
dd sma
t
ch_scripts/new_
b
ugs
.
sh: prints the b
u
gs introduced
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
err_ptr_dere
f
: update to u
s
e newer ap
i
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan
C
arpenter
u
n
reachable c
o
de: ena
b
le by defa
u
lt
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
s
how_unreac
h
a
b
le
.
s
h
:
a
dd -k
(
kern
e
l m
o
d
e) -b (igno
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
D
a
n
Carpenter
unreachab
l
e code: work around gcc
w
ork around
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
D
a
n Carpente
r
pr
i
nt an err
o
r
message
about unreached initializer
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
Dan
Carpenter
check_
s
tac
k
:
tweak the
o
utpu
t
a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
Christo
p
her Li
Poin
t
er
don't in
h
erent the alignment from
b
ase type
commit
|
commitdiff
|
tree
2010-02-08
Dan Car
p
ente
r
N
ew ch
e
ck_
s
tac
k
.
c: warn
i
f kernel code puts too m
u
ch
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
Dan
C
arpenter
Ad
d
register_
p
roject
(
)
t
o check_list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-01
Dan Ca
r
pe
n
ter
update th
e
documenta
t
ion a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-30
Dan Carp
e
n
ter
c
h
e
c
k_m
e
mory: only load
kernel
.
frees_argument when
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Ca
r
penter
Create: smat
c
h
_project
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
D
a
n Carpenter
bail if th
i
ngs are
taki
n
g
t
oo lo
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
a
d
d s
m
atc
h
_scripts/fil
t
e
r
_
ker
n
el_deref_check
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
check_deref_check:
do not
compla
i
n in
l
oop pre c
o
nditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-28
Dan Carpenter
tweak u
n
re
a
chab
l
e
code me
s
sages
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan C
a
r
p
enter
c
h
eck_signed: handle signed 1
bit values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpente
r
check_signed: don't
complain about unsigne
d
int x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpente
r
new function
:
typ
e
_unsigned()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-26
D
a
n Carpente
r
pa
r
tly
r
e
place check_n
u
ll_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
D
a
n Carpe
n
ter
modification hooks: onl
y
allow one hook pe
r
var
i
able
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
introduce
:
set_defau
l
t_mo
d
ification_
h
ook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carp
e
n
ter
cleanup:
g
e
t rid
of smatch_co
n
t
ainer
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Da
n
Carpen
t
er
check_null_de
r
ef: on
l
y the kerne
l
c
a
r
e
s about failed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan C
a
rpen
t
er
Fix OpenBSD c
o
mpil
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpen
t
er
check_
s
i
g
ned: clea
n
u
ps
.
a
d
d c
h
eck for im
p
o
s
sibly
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Ca
r
penter
make eve
r
yt
h
i
ng
u
s
e
smatch_fu
n
ction_hashtable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next