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
dma_on_stack: &foo means it's an error too
2009-12-30
D
a
n Carpenter
d
m
a_on_stack: &foo means it
'
s an error too
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpenter
u
pdate smatch_data to 2
.
6
.
33-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpen
t
er
c
h
eck_overflow: fi
x
cras
h
ing bug (
d
ivi
d
e
by ze
r
o)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Car
p
ent
e
r
c
h
eck_overfl
o
w:
fix crashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan C
a
rpenter
ad
d
a
c
he
c
k
for
p
assing stack
v
a
r
iables to dma fu
n
ctio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Da
n
Carpenter
check_used_re
t
urns: ignore
inb
,
inw, and inl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
D
an Carpenter
upda
t
e valida
t
ion te
s
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
D
an Carpenter
ch
e
c
k_
o
v
e
r
flow: han
d
l
e ar
r
ays
inside
structs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
D
a
n Ca
r
penter
F
i
x
c
rashing b
u
g: f
u
nc(a &
b
)
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan
Carpenter
warn ab
o
ut if(x); type code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan
Carp
e
nter
precedence:
w
a
rn
about: if (!a
&
b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpen
t
er
err_ptr
:
it's
p
erfectl
y
o
k
to return bo
t
h
null
and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
white space changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
Remo
v
e
hack for han
d
ling
S
teve Rost
e
dt's if
conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan C
a
rpenter
check_unuse
d
_re
t
.
c
: fix check for local variab
l
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Car
p
e
n
ter
check_
u
nused_ret
.
c: ignore unreach
a
b
l
e assi
g
n
ments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
D
an Carpente
r
I
f
--debug is
pa
s
sed the
m
ess
a
ges fro
m
the first pass
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Da
n
Carpenter
Ad
d
a check for unuse
d
assignment
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan
C
arpente
r
simpl
e
c
h
eck for
form
a
t string vulner
a
bility
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
Hand
l
e EX
P
R_
F
OR
C
E
_
CA
S
T
in __split_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan
C
a
rp
e
nter
[patch 2/2] redefine SYM_HO
O
K entir
e
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[patch 1/2] Chang
e
d
e
finitio
n
of SYM_
H
OOK
i
n s
m
at
c
h_hoo
k
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpen
t
er
&(
f
oo-
>
bar)
i
s
not r
e
all
y
a
dereferenc
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
D
a
n Carpenter
change e
x
pression_stack
to expression_list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpe
n
ter
clean up
.
DEREF_
H
OOK
h
andling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpent
e
r
check_signed:
make it depend on --s
p
ammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan
Carpenter
check_locks: ad
d
raw_loca
l
_
irq_enable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan C
a
rpenter
add check f
o
r precedence errors lik
e
if (x & y == 0
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
fix select handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
changes to comm
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpe
n
t
er
ad
d
__
s
m
a
t
ch_not
e
("hello worl
d
"
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
Car
p
enter
patc
h
up
the
ne
w
c
heck
_
locking
.
c replacem
e
nt
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
Carpenter
mov
e
check_wine_locking
.
c over
c
heck_locking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Carpenter
delete the old che
c
k_locking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carp
e
nter
Fix cr
a
shing b
u
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan
C
a
r
p
enter
sepa
r
ate ou
t
t
h
e *_bh()
lock handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpenter
f
i
xes for unified wine &
k
er
n
el l
o
cking script
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
get_type() retur
n
po
i
nt
e
r for &f
o
o ty
p
e expressions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan
C
arpente
r
prin
t
mes
s
age on false compar
e
s because
of si
g
ned vs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
suppress gcc warning
.
whitespac
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
Merg
e
bran
c
h 'mas
t
er' of /home/dcarpe
n
ter/progs/sparse
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n
Carpen
t
er
cle
a
n up kfree
_
skb(
)
ch
e
ck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
a
d
d
__smatch_cur
_
slist() debug fun
c
tion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
an Car
p
enter
i
d
is suppose
d
to
be unsign
e
d short
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
C
a
rpenter
fi
x
cr
a
shing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpente
r
Start
c
a
r
ing about the ty
p
es a
little
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Ca
r
penter
cleanup:
uses ARRA
Y
_
S
IZE() macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan
C
arpe
n
ter
P
rint name i
n
stead of ID in debug output
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Add
--p
r
oj
e
c
t=kernel to kcheck
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
S
tart me
r
gin
g
t
h
e ke
r
nel lo
c
ki
n
g
and wine lo
c
king checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carpente
r
handle if (*ptr == 5)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carpenter
dec
l
are char*
as co
n
st
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Da
n
Carpenter
More rang
e
fixes
.
(Dele
t
e and mer
g
e
duplicat
e
s)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan Car
p
enter
Pop
the pr
e
_condition_
s
tack at
the correct point
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpe
n
ter
fix issue with ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan C
a
rpe
n
ter
Fix get_implied
_
value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Da
n
Car
p
e
n
ter
Fix negate bug
.
(Dere
f
erencin
g
undefined false positive)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n
Carpenter
Update c
o
mment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carp
e
nter
wine: wine_che
c
ker
.
sh for chec
k
ing indiv
i
dua
l
files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wine: add
m
o
r
e
functions t
h
a
t don't r
e
turn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carpent
e
r
revert part
o
f f4a459292e339
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carpenter
smatch_ex
t
ra: improv
e
and f
i
x
a
ssi
g
nme
n
t handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
scoped
_
state
(
) m
a
ke the para
m
e
t
e
r
order match eve
r
ything
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpente
r
chec
k
s:
r
emove some show_special() calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpen
t
er
smatch_helper
.
c
r
emo
v
e many c
a
lls
to show_sp
e
cial()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
small clean
ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Ca
r
pente
r
fix b
u
g with
function implications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
exit a
n
d ExitProcess don't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
smatch_extra
.
c: r
e
move so
m
e show_sp
e
cial() calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Carpe
n
ter
check_d
e
ref_check
:
get rid of some fal
s
e p
o
sitives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carpente
r
spelling: me
m
ery => memory
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
D
an Car
p
enter
disgusting
hack to stop false posi
t
ive
bu
f
fer overflow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Ca
r
pente
r
Fix +
=
and -= hand
l
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
D
a
n
C
a
rpenter
win
e
: fix some loc
k
names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
w
ine: Rp
c
RaiseException never returns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
D
a
n Carpent
e
r
add option --full-path
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
D
a
n Carpenter
wine
:
c
h
eck
f
o
r
locking bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpenter
Fix some
reversed if
c
onditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
free can handle nu
l
l
p
o
inters:
if (
f
oo) free
(
foo);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
wi
n
e: c
h
eck for WtoA
c
ros
s
calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carp
e
n
ter
Add
I
NV
A
LID_HAND
L
E_VALUE
c
h
eck
f
or wine
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpent
e
r
recomp
i
le all
the checks if smatch_extra
.
h changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpent
e
r
[
patch 9/9] last pa
t
ch to
remo
v
e
UNDEFINED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
[patch 8/m
a
ny] d
e
al with va
r
iable_non_zero() (UNDEFINED)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Ca
r
penter
[patch 7/many] no UN
D
E
F
INED
from
g
et_
v
alue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
an Carpen
t
er
[patch
6/many
]
remo
v
e UNDE
F
INED from last
_
s
t
mt_v
a
l()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch
5/man
y
] g
e
t rid of
a
few more
U
NDEF
I
NEs sm
a
t
ch_extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch
4
/
many]
get
rid
of U
N
DEF
I
N
E
D in smatch_ran
g
es
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patc
h
3/m
a
ny] re
m
ove UNDEFINED f
r
o
m get_implied_(min
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpe
n
ter
[p
a
t
ch 2
/
many] ge
t
_implied_value(
)
should
not return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carpente
r
[patch 1/many]
g
e
t rid
of
UNDEFINED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
pente
r
Ad
d
validati
o
n
t
es
t
for
check_h
e
ld_dev
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carpenter
Ma
k
e
some ke
r
nel speci
f
ic
s
t
u
ff
d
epend on -p=kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
Dan
C
arpenter
Add a ne
w
(
s
oon to be ma
n
datory)
-
-project= option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpe
n
ter
Mak
e
s
m
atch installable
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan
C
arpe
n
ter
try
h
an
d
l
e
do {} whi
l
e (i
-
- > 0)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n Carpenter
try h
a
ndle
+
+ and -
-
better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpen
t
er
Improve handling:
d
o {} while (--continue
>= 0)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpent
e
r
Small cleanu
p
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
kfr
e
e_skb
(
)
warnings are n
o
t spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next