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
s
match_data/k
e
rnel
.
array_bounds
.
r
e
move
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan
C
ar
p
enter
check_overflow: an
a
n "er
r
o
r
:
"
pref
i
x to a printf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carp
e
n
ter
smatch_s
c
ri
p
t
s/show_unreachable
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Ca
r
penter
new s
c
ript: sho
w
_
i
fs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
introd
u
ce gett
i
ng_addres
s
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan
Carpenter
update
smatch_scripts/ be
c
a
use o
f
--i
n
fo format cha
n
ges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpen
t
er
check offset af
t
er use:
ignore f
o
o = &array[bar];
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan
C
arpen
t
er
check_over
f
l
o
w: move
s
o
me more stu
f
f under
the
-
-inf
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
clean up
output: warnin
g
:
=>
w
arn
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Da
n
Carpen
t
er
m
o
dific
a
tion_hook: -- and ++ a
r
e modificatio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-06
D
a
n Ca
r
pe
n
ter
I
t makes sense to ch
e
ck
a
n ar
r
a
y off
s
et if it
h
as been
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
D
a
n Carpenter
check_overf
l
ow:
separate th
e
tw
o
types of states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan C
a
rpent
e
r
F
i
x
p
rece
d
ence/crashin
g
bug check_overflow
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Car
p
ente
r
check_overflow: check f
o
r limi
t
ing offset
a
f
ter u
s
ing it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan C
a
rpenter
i
n
troduce
a
lloc
_
state_nu
m
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
D
an Carpenter
cleanup
:
rename alloc_
s
tate() => alloc_sm_state(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpen
t
er
in
t
roduce
g
et_fuzz
y
_max
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Da
n
Carpenter
call_tree
.
pl: make
i
t an interactive p
r
ogram
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan
C
arp
e
n
ter
create get_impli
e
d_r
a
nge_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpen
t
er
sm_info: fix
forma
t
tin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carpenter
call tree
:
initial
u
pload
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
D
an
Carpe
n
te
r
dma on stack:
mo
v
e da
t
a to smat
c
h_da
t
a/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpen
t
er
trace_params
.
pl:
r
e
w
rote so i
t
's faster
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpenter
add --param-mappe
r
back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
penter
c
l
eanup up opt
i
on parsing a
little
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add
o
p
tion: --info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
redo how
op
t
ion
s
are
p
arsed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
c
lean
u
p: debu
g
_implied_states
=
> option_d
e
bug_
i
mplied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Carpente
r
c
l
eanup: d
e
bug
_
s
tates => opti
o
n_debug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
ter
par
a
m_mapper: ad
d
--
p
aram-mapper option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
an Carpenter
d
m
a on
s
ta
c
k:
eliminate some fa
l
s
e
p
ositives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arp
e
nter
A
d
d
d
m
a
fu
n
c
t
ions that m
a
p to usb_con
t
rol_msg
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carpente
r
add smatch_s
c
ripts/trace_par
a
m
s
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
param
_
m
a
p
p
e
r
: init
i
a
l commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpen
t
e
r
dma_on_stack:
&foo means it's an error too
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpe
n
ter
up
d
ate smat
c
h_data to
2
.
6
.
33-r
c
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
D
an Carpenter
check_ove
r
flow:
f
i
x
crashing b
u
g (divide by zero
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpenter
c
h
eck_ov
e
rflow: fix cras
h
ing
b
ug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
D
a
n
C
ar
p
enter
add a check fo
r
pass
i
ng s
t
ack varia
b
les t
o
dma f
u
nctions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpenter
check_used_returns: ignore inb, inw,
and inl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
up
d
ate validation te
s
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Da
n
Ca
r
p
e
nter
chec
k
_overfl
o
w: handle arrays inside st
r
uct
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
D
an Carpen
t
er
Fix crashing bug:
func(a
& b);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Ca
r
penter
warn a
b
out if(x); type code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan
Carpent
e
r
p
r
ecedence:
wa
r
n
abo
u
t: if (!a & b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpen
t
er
e
rr_ptr: i
t
's
perf
e
ctly o
k
to re
t
urn both null
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Da
n
Carpenter
white
s
pace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan
Carp
e
nt
e
r
Remov
e
ha
c
k for ha
n
dling Ste
v
e Rost
e
dt's if conditio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
c
h
e
ck
_
unused
_
ret
.
c
:
f
i
x
c
h
e
ck for local variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
D
an
C
arpenter
check_u
n
used_ret
.
c
:
ignore u
n
reachable
a
s
sig
n
ments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan
C
a
r
pen
t
er
If -
-
debug
is pa
s
sed
t
he
m
essages from the first pass
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
D
a
n Carpe
n
ter
Add a check for unused as
s
ignmen
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
sim
p
le check f
o
r format string vu
l
nerabilit
y
commit
|
commitdiff
|
tree
2009-12-17
Dan
Carpenter
Handl
e
EXPR_FORCE_CAS
T
in __split_
e
xpr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
D
a
n Carpenter
[patch 2/2] redefine SYM_HOO
K
enti
r
ely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpente
r
[pa
t
ch 1/2] Ch
a
nge defini
t
io
n
of
S
YM_HOOK
in smatch_ho
o
k
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpe
n
ter
&(foo
-
>bar) is n
o
t really a
dereferenc
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
cha
n
ge expre
s
si
o
n_stack to
e
xpression_list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
c
l
ean up
.
DEREF
_
HOOK handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
c
heck_
s
igned
:
m
a
ke it dep
e
nd
on --spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
D
an Carpenter
check_
l
ocks
:
add raw_local_
i
rq_enable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
add c
h
e
ck for precedence error
s
l
ike
i
f
(
x & y
== 0
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
an Carpenter
f
i
x select handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
changes to comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
add
_
_smatch_note("h
e
llo world")
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Ca
r
penter
pa
t
ch up the ne
w
check_locking
.
c
replacement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
Carpenter
move
check_wine_locking
.
c
over c
h
e
c
k_locking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
Carpenter
d
el
e
te t
h
e old c
h
eck_lo
c
king
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
Fix cr
a
shing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan C
a
rpent
e
r
separate out the
*_bh()
l
ock
h
andl
i
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan Ca
r
p
enter
fixes for
u
n
i
fied wine & kerne
l
lock
i
ng script
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
g
e
t
_
type(
)
r
e
turn
pointer for &foo type expressions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
D
a
n Ca
r
penter
print
message on f
a
lse compares because
o
f signed vs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan
C
arpenter
suppress gcc warning
.
whi
t
espa
c
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
Carpenter
Merge branch 'mast
e
r' of /hom
e
/dc
a
r
penter/p
r
ogs/spa
r
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
Carpen
t
er
clean up kfree_skb(
)
check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n Carpenter
add __smatch_cur
_
slist() deb
u
g function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
Carpen
t
er
i
d is su
p
posed to
be unsigned short
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
arpenter
fix crashing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
arp
e
nter
Start
car
i
ng abou
t
the types a little
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
clea
n
up: uses ARRA
Y
_SI
Z
E(
)
macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Pr
i
n
t
name ins
t
ead
o
f ID
i
n debug output
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
an Carp
e
nter
Add
-
-proje
c
t=
k
ernel to kch
e
c
ker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Start m
e
rging the kernel
l
ocking and wine
l
ocking
c
he
c
ks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpente
r
handl
e
if (*p
t
r == 5)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Car
p
enter
declare c
h
a
r
*
as const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpenter
More r
a
nge fixes
.
(Delete and
m
erge du
p
licates)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan C
a
rpenter
Pop th
e
pre_conditi
o
n_
s
tack at
t
he co
r
rect point
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpenter
f
i
x issue w
i
th rang
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n
C
arpe
n
ter
Fix get_implied_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan
C
arpen
t
er
Fix
negat
e
bug
.
(Dere
f
erencing
undefined false p
o
si
t
ive)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Da
n
Carpen
t
er
Update
c
omment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan
Carpenter
win
e
: wine_chec
k
er
.
sh f
o
r chec
k
i
n
g individual f
i
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wine
:
add more f
u
ncti
o
n
s that don't re
t
u
rn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
revert p
a
rt of f4a459292e339
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Carpenter
sm
a
tch
_
extra: improve
a
n
d
fix
a
ssignment
handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arpe
n
ter
s
coped
_
sta
t
e
(
) make the parameter
o
r
d
er ma
t
ch everything
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpenter
checks: remove some show_special() calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Ca
r
penter
sm
a
tch_helper
.
c remov
e
many ca
l
ls
to s
h
ow_special()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Car
p
enter
sm
a
ll clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next