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
strip_expr(): remove force casts
2010-02-22
Dan C
a
rpenter
str
i
p
_ex
p
r():
remove for
c
e casts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
D
an Carpen
t
er
k
p
atch
.
s
h: figure
the email addre
s
s out automatically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan C
a
rpen
t
er
*ne
w
*
s
match_scr
i
pts/kpatch
.
sh: script for mailing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Da
n
Carpent
e
r
Print fewer messages about unre
a
ched code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Da
n
Carpen
t
e
r
s
m
atch_conditions
:
smal
l
cle
a
nups
and
add de
b
u
g
c
ode
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
f
i
x
WARN
_
ON handling s
o
me more
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
D
an Carp
e
nt
e
r
sma
t
ch_te
m
plate: sm
a
ll
c
han
g
es to co
m
ments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
D
a
n Carpenter
clean up the ma
k
efile
a
bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan C
a
rpenter
h
a
ndle as
s
ignments like: foo =
x < 1;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Car
p
e
n
t
er
s
m
atch_sta
t
e
s
: white space changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
smatch is
s
u
p
posed t
o
be
using "
l
ong lo
n
g
"
typ
e
s internally
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carp
e
nter
new_bugs
.
sh: better filt
e
r
i
ng of
s
match errors fro
m
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Car
p
e
n
ter
handle stuf
f
l
ike the kernel's WARN_ON
(
)
macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
sm
a
t
ch
_
extra:
foo = !!
x
; do
e
s
n
ot modify x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
h
an
d
le a
s
signments like: foo = !bar()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
check_
o
verflow:
check
f
or me
m
se
t
(
)
issues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carp
e
n
ter
auto
m
atically genera
t
e the list of functions wh
i
ch
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan
C
a
rpent
e
r
*ne
w
* smatch_
s
cri
p
ts/summarize_errs
.
sh: s
c
r
i
pt for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan
C
ar
p
e
n
ter
k
e
rnel: fix xfs false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_ov
e
rflow: han
d
le
:
"
i
nt *p = &ar
r
ay
;
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Ca
r
pen
t
e
r
check_overflow:
f
ix bug
in get_array_size_bytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carp
e
nter
pu
s
h some more stu
f
f on the big_expression
_
stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Carpent
e
r
c
h
e
c
k_overfl
o
w: handle c
a
sts like ((ch
a
r *)array)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Carpen
t
e
r
check_overf
l
ow: fi
x
assigning arrays to pointers of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan C
a
rpenter
check_ove
r
flow: fix
alignment
b
u
g i
n
get_array_size_b
y
t
e
s
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
C
a
rpenter
check_overflow:
p
ref
e
r recent assignments
o
v
er the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carpente
r
Add quotes
a
ro
u
nd st
r
ing literals
i
n smatch output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_ov
e
rflow: update strcpy
(
)
and strn
c
p
y
() checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
kern
e
l
.
no
_
re
t
ur
n
_funcs
:
__
r
eiser
f
s_panic doesn't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
Ca
r
penter
check_o
v
erflow
:
store the size in by
t
es instead of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
an Carpenter
check_ov
e
rflow: don't compl
a
in a
b
out if
(ptr < &
a
rray
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
p
e
nter
smatch_flow: chan
g
e how
th
e
big expression
stack works
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overflow: rename
m
y_decl_
i
d =>
my_size_id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overflow: wh
i
te space cha
n
ges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n
C
arpenter
c
h
eck_overflow: use t
h
e _ex
p
r
(
)
hooks
i
nstead
o
f doing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carp
e
nter
ch
e
ck_overflow: remove some old
deb
u
ggin
g
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
ch
e
ck_ov
e
rflo
w
: rename dest => array_expr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
Ca
r
penter
check_overflow: get_ini
t
ializer_b
y
tes() =
>
get_i
n
iti
a
l
i
zer_
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overflow: option_spammy => op
t
i
on_
i
nfo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carp
e
nter
ch
e
ck_overflow: handl
e
indexed array initializations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carp
e
nter
check_overflow: fix endless loop parsing "int x =
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
fix ge
t
_implied_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
D
a
n Carpente
r
check_overflow
:
lots of improvements a
n
d also a valida
t
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
f
i
x
crash calling get_type()
o
n implicit
l
y
de
f
ined
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
D
an Carpent
e
r
A
dd smatch_d
a
ta/kernel
.
n
o_return_funcs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
D
an Carpenter
func
t
ion hooks: g
e
t
rid of
conditional functio
n
h
o
o
ks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
a
d
d smatch_sc
r
ipt
s
/new_bugs
.
sh:
prints the bugs in
t
r
o
duced
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpent
e
r
err
_
ptr
_
d
e
ref: update to us
e
newer
a
pi
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Da
n
Carpenter
u
n
r
e
achable code: enable by def
a
u
l
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
show_unreachable
.
sh: ad
d
-k (ke
r
nel
m
o
d
e
)
-b (ignore
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
Da
n
Carpenter
unreach
a
ble
c
o
de: work
around gcc work arounds
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
D
an Carpenter
p
r
int an
e
rror
message about unreac
h
ed initi
a
lizers
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
D
a
n
Ca
r
penter
check_
s
tack: tweak the outpu
t
a
bi
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
D
a
n
C
arpenter
New check_st
a
ck
.
c: war
n
if
k
ern
e
l code puts too much
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
Dan Ca
r
penter
A
dd r
e
gister
_
project() t
o
check_list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-01
Dan Carpe
n
ter
u
p
date t
h
e d
o
cumenta
t
io
n
a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-30
Dan C
a
rpenter
che
c
k_memory: only load kernel
.
frees_
a
rgument
when
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
Cr
e
ate:
s
m
atch_p
r
o
j
ect
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan C
a
rpenter
bail if
t
hings ar
e
taking too long
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpente
r
add s
m
at
c
h_scripts/filter_kernel_
d
er
e
f_chec
k
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
check_deref
_
check: do
not complain in loop
pre conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-28
Dan Carpente
r
tweak unreacha
b
le code me
s
sages
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
D
an C
a
r
p
enter
che
c
k_signed: h
a
n
dl
e
signed 1 bit v
a
lues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpenter
check_sign
e
d
: don'
t
complain about u
n
sig
n
ed
i
nt
x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpenter
new function: type_u
n
signed()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-26
Dan Carpe
n
t
e
r
p
a
rtly
r
eplace
check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Car
p
enter
m
o
dification hooks:
only
a
llow one hook per vari
a
ble
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
D
an Carpen
t
er
introduce: set_defau
l
t
_modif
i
cation_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
cl
e
a
n
u
p: get ri
d
of smatch_c
o
ntainers
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Da
n
C
a
rpenter
check_null_deref:
only the ke
r
n
el car
e
s
about fai
l
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpenter
Fix Ope
n
BSD compile
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpente
r
c
h
eck_signed: clean ups
.
add c
h
e
c
k
for
i
mpossibly
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan C
a
rpente
r
make everything use smatch_
f
un
c
tion_hash
t
able
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
D
a
n Carpe
n
ter
a
d
d smatch_f
u
n
c
ti
o
n_h
a
s
htable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan
C
arpent
e
r
M
ove everything to the
n
ew cwc
h
ash hash
ta
b
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
ad
d
cwchash hash table implementa
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan Car
p
enter
funct
i
on_implies_hook:
fix bug when a
fu
n
ction ha
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan Car
p
enter
check
_
signed: warn
o
n assi
g
ning negative to
unsigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpente
r
Make smatc
h
work a
g
a
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan C
a
r
penter
Merge
git:
/
/git
.
k
ernel
.
org/
p
ub/scm/devel/sparse/
c
hrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan C
a
r
p
enter
Move the checks out of smat
c
h
.
c into
c
heck
_
list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpen
t
e
r
silence s
o
me sparse warnings
:
() => (void)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan C
a
rpenter
in
t
r
odu
c
e: type_min() and type_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan
Carpenter
wine W
t
oA: fi
x
crashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Carpente
r
new file: smatch_sc
r
ipt
s
/g
e
n
_dma_funcs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
show_if
s
.
sh:
A
d
d t
h
e
-C option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carp
e
nter
check_me
m
ory:
elimin
a
te some false
po
s
iti
v
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
pen
t
er
get_value(
)
:
t
he return value
w
as ge
t
tin
g
cut o
f
f
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
C
arp
e
nter
check_sig
n
e
d
: clarify e
r
r
o
r
mess
a
ge
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
an Car
p
enter
wine_fi
l
ehandle
s
: if the file handle ge
t
s rea
s
signe
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
arpente
r
H
elp kchecker and wine_c
h
ec
k
er
.
sh f
i
nd th
e
smatch binary
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
penter
get_variable_from_expr(): fix array display (ev
e
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Da
n
C
arpenter
delete_
s
tate(
)
: fix a bu
g
calling
delete s
t
a
te i
n
side
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
D
a
n Car
p
enter
get_variable_from_e
x
p
r(
)
:
use []
for arra
y
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
fix "
m
a
k
e install"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
D
a
n
Carpenter
fix bu
g
in print
i
n
g fi
l
e
name
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Ca
r
p
e
nter
get_array
_
name(
)
: return the stripped value
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
wine: pp_internal_error()
doesn
'
t
retu
r
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpe
n
ter
u
nused retur
n
: warning: => warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
p
r
e
cedenc
e
: ma
k
e tes
t
stric
t
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next