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
smatch_data/kernel.array_bounds.remove
2010-01-08
Dan Carpenter
smatch_data/kerne
l
.
a
rray_boun
d
s
.
remov
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n
C
arpenter
check_
o
v
e
rflow: an an "er
r
o
r: " prefix
to a printf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpe
n
ter
smatch
_
scr
i
pts/show_unrea
c
habl
e
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
new
script: show_if
s
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carp
e
nter
introd
u
ce getting_address()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan
Carpente
r
update sma
t
ch_scripts/
b
ecause of
-
-info format changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
rpente
r
ch
e
ck offset
a
ft
e
r
use: i
g
n
o
re foo = &array[bar];
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpente
r
c
h
eck_
o
verflow:
move some more st
u
f
f unde
r
the --info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Ca
r
penter
clean up o
u
tput: warning: => warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan
C
arpenter
modif
i
cation_
h
oo
k
: -- an
d
++ are modificat
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-06
Dan
C
a
rpen
t
e
r
It make
s
sense to check an array off
s
e
t
if it
has been
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
D
an Carpenter
check_o
v
e
r
flow: separate
t
h
e t
w
o ty
p
es o
f
states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpente
r
F
i
x
p
recedence
/
cr
a
shing bug check_ov
e
r
flow
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Car
p
enter
check_overflow: ch
e
ck for
l
i
mi
t
i
ng offset
a
fter using
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Da
n
Carpen
t
er
int
r
o
d
uce alloc_state_nu
m
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
cleanup: rename alloc_state() => al
l
oc_sm_s
t
a
t
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Da
n
Car
p
enter
introduce ge
t
_f
u
zzy
_
max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
D
an Carpente
r
call_t
r
ee
.
pl
:
make it
an interactiv
e
p
r
ogram
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpent
e
r
create get_implied_range
_
l
ist(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Car
p
enter
sm_info: fix for
m
at
t
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carpenter
call t
r
ee
:
i
n
itial u
p
load
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpenter
dma on stack:
move d
a
ta to
smatch_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan
Carpe
n
ter
t
r
ace_params
.
p
l
: rew
r
ot
e
s
o
it's fast
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpente
r
add --param-mapper back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpent
e
r
cleanup up op
t
ion parsi
n
g a litt
l
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
an Carpenter
a
dd
option: --info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Car
p
enter
redo
h
ow options are par
s
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
t
er
clea
n
up: debug_implie
d
_
s
tate
s
=> o
p
tion_de
b
ug_i
m
plie
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
ter
c
le
a
nup:
debug_states => option_debug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan C
a
rpe
n
ter
par
a
m
_
mapp
e
r
: add --param-m
a
pp
e
r
o
ption
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
penter
dma on stack: eliminate
so
m
e
false posi
t
ives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carpenter
Add dma func
t
ions that map to
u
sb_control_msg
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add smatch_scripts
/
trace_params
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
ter
param
_
mapper:
i
nitial commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpent
e
r
dma_on_stack: &foo
means it's an er
r
or too
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpe
n
ter
update smat
c
h_data to 2
.
6
.
33-rc
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan C
a
rpente
r
check_overfl
o
w:
f
ix crashi
n
g bug
(
divide by zer
o
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpenter
check_ove
r
flow: fix cr
a
shing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
D
an Carpenter
add a check
for pass
i
n
g
stack
v
a
r
iables t
o
dma funct
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpenter
check_used_
r
eturns: ignore inb, inw, and inl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan
C
arpe
n
ter
update validation
t
ests
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
chec
k
_overflow: handl
e
arrays inside struc
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
F
ix crashing bug:
func(a & b);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Car
p
enter
wa
r
n about if(x);
type
code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
D
a
n Carpenter
precedence: warn
about: if (!a & b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan
C
arpenter
e
r
r_ptr: it's perfectly ok to retur
n
both null and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan
C
arpenter
white space changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan C
a
rpent
e
r
R
e
move hack for handling Steve Ro
s
tedt's if con
d
i
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpen
t
er
ch
e
ck_unused_r
e
t
.
c: fix check for local variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan
Carpenter
che
c
k
_
unused_ret
.
c: ign
o
re un
r
eachable assignments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan
C
ar
p
enter
If -
-
d
e
b
ug is passed the messages
f
rom the first pass
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
D
a
n
Carpenter
Add a ch
e
ck fo
r
u
n
u
s
ed
a
s
s
ignments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan
Ca
r
pent
e
r
simple check f
o
r
f
ormat strin
g
vul
n
erability
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpe
n
ter
Hand
l
e EXPR_F
O
RCE_CAST in __s
p
lit_expr(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[
p
atch 2/2]
re
d
e
f
i
ne SYM_HOOK entirely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Da
n
Ca
r
penter
[
p
atch
1
/2] Change definit
i
o
n
of
S
Y
M
_HOOK
i
n smatch
_
hook
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
&(foo->
b
ar) is n
o
t r
e
ally a dereference
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
D
a
n
C
arpenter
change expressi
o
n_stack to expres
s
io
n
_l
i
st
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan
Carpenter
clean u
p
.
DEREF_HOOK handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan
C
arp
e
nter
check_signed: make i
t
depend on
--spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpent
e
r
che
c
k_locks: add ra
w
_local_ir
q
_
enable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
a
r
pe
n
t
e
r
add check for pre
c
edence erro
r
s
like if (x & y == 0
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n
Carpe
n
ter
fix select hand
l
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
c
hanges
t
o c
o
mments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carp
e
nt
e
r
add __
s
match_not
e
("hell
o
world")
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan C
a
r
p
e
nter
patch
u
p
the new che
c
k_locki
n
g
.
c re
p
lacement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Carpenter
move chec
k
_wine_locking
.
c over
check_locking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
delete the old
c
h
eck_l
o
cking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
F
i
x
crashing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan Car
p
e
nter
s
e
parate
o
u
t
the
*
_
bh() lock handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan Car
p
enter
fixe
s
for un
i
f
i
ed
w
in
e
& ke
r
nel locking scr
i
pt
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan
Ca
r
p
e
n
ter
ge
t
_ty
p
e() re
t
u
r
n pointer for &foo type
expres
s
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
D
an
Ca
r
penter
print
m
e
ssage on false comp
a
res
b
e
c
ause of signed
v
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpen
t
er
s
u
p
p
re
s
s
gcc
w
arning
.
whitespace
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
Merge bran
c
h 'master
'
of
/home/dcarpenter
/
progs/sparse
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
an Carpenter
clean up kfree_skb() check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
add __
s
m
a
tch
_
cur_
s
list() debug function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
Car
p
ent
e
r
id is suppose
d
t
o
be unsigned sho
r
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n Carpenter
fix crash
i
ng
b
u
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
Start ca
r
ing about the
t
ype
s
a little
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
an Carpenter
cleanup: uses ARRAY_
S
IZE() macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan
Carpenter
Print name inst
e
ad of ID in debug ou
t
p
u
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpent
e
r
Add --project=kernel to kchecker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Start
merging the kerne
l
locking and win
e
locking checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
an Carpenter
han
d
le if (*
p
tr ==
5)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carpenter
declare char* as const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan Car
p
enter
More r
a
n
ge fi
x
es
.
(
D
e
l
e
te
and merge duplic
a
te
s
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpe
n
ter
P
o
p the pre
_
c
o
n
dition_stack
at the correc
t
po
i
nt
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
D
an Carpenter
f
i
x issue with
ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
F
i
x get_imp
l
ie
d
_
value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan C
a
rpenter
Fi
x
neg
a
te bug
.
(D
e
referen
c
ing undefined
f
alse
p
ositive)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan C
a
rpenter
Update comment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpen
t
er
wine
:
wine_
c
h
e
c
ker
.
sh for c
h
eck
i
ng individual
f
i
l
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan C
a
r
penter
win
e
:
add more functi
o
n
s
that don't
r
e
turn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n
Carpenter
revert part o
f
f4a45
9
292e339
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
smatch_e
x
tra: improv
e
a
n
d f
i
x assignment handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpen
t
er
scoped_sta
t
e() make the
parameter order match every
t
hing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpen
t
er
checks: r
e
move some show
_
special()
c
alls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Car
p
enter
smatch_helpe
r
.
c rem
o
ve many calls
to show
_
sp
e
cia
l
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Car
p
enter
s
mall clean
u
ps
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next