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
precedence: warn about: if (!a & b) {...
2009-12-22
Dan Carpen
t
er
precede
n
ce:
warn about: if (!a &
b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpenter
err_pt
r
: it's p
e
rfectl
y
ok to
return both
n
ull and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
D
an Carpe
n
ter
wh
i
te space chang
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Da
n
Carpenter
Rem
o
v
e
hack for han
d
ling Steve
Rostedt
'
s if conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpe
n
ter
c
h
eck_unu
s
ed_r
e
t
.
c: fix check f
o
r lo
c
al variables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
check_unused_
r
et
.
c: ignore unreach
a
ble assignments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan
C
a
r
penter
If --debug
i
s
p
a
ssed the messages from the
f
irst pass
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Da
n
Carpenter
Add a check for unuse
d
assignmen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
s
i
mple c
h
eck
f
or format string vulnerability
commit
|
commitdiff
|
tree
2009-12-17
Dan Car
p
enter
H
an
d
l
e EXPR
_
FORCE_CAS
T
i
n
_
_
split_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
D
an Carpenter
[
p
atch 2/2] red
e
f
i
n
e
SYM
_
HOOK entire
l
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpen
t
er
[patch 1/
2
] Chang
e
definition of
SYM_HOOK in smatc
h
_hook
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan
C
arpenter
&(fo
o
->bar) is not really
a
der
e
ference
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan C
a
rpent
e
r
change expressio
n
_s
t
a
c
k t
o
expression_list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
Carpenter
c
lean up
.
DER
E
F_
H
OOK hand
l
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
Carp
e
nte
r
check_signed
:
make
i
t depend on --s
p
a
m
my
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Ca
r
penter
chec
k
_lock
s
: add r
a
w_local_irq_enabl
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
add check for prec
e
denc
e
erro
r
s like if (x & y == 0
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Ca
r
pe
n
ter
fix select handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
c
h
anges to comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Car
p
enter
add
__smatch_not
e
("hell
o
world")
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Car
p
ent
e
r
patch up the new check_locking
.
c
replacement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Ca
r
penter
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
Dan Carpenter
delete th
e
old check
_
locking
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpe
n
ter
Fix crashing b
u
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpenter
separate out the *_bh() l
o
ck handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpenter
fixes f
o
r unified
w
i
n
e & kernel
l
ocking scri
p
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan
Carpent
e
r
get_type() r
e
turn pointer for &foo type expressions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carp
e
nter
prin
t
message on
f
a
lse
compares bec
a
use o
f
s
i
gn
e
d v
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan
C
a
r
pente
r
suppress gcc warning
.
whitespace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpe
n
t
er
Mer
g
e
branch 'master' of /
h
om
e
/dcarp
e
nter
/
progs/sparse
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpen
t
er
clean up kfree_skb() che
c
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan C
a
rpenter
a
d
d
__sm
a
tch_cur_slist() debug fu
n
ction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
an Ca
r
pe
n
t
er
i
d is
supp
o
sed t
o
be unsigne
d
s
ho
r
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
C
arpenter
f
ix crashi
n
g bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
Carpenter
S
tart c
a
ring about
t
he
t
ype
s
a litt
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
c
l
eanup: us
e
s ARRAY
_
SIZE() macro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Print name
i
n
stead of ID in
debug out
p
ut
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Add --project=kernel to kche
c
ker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan C
a
r
pen
t
er
Sta
r
t merging the kernel locking and win
e
locking che
c
k
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
an
Carpenter
handle i
f
(*ptr == 5)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
declare char* a
s
const
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Da
n
Carpen
t
e
r
More
r
ange fixes
.
(Delete and merge
d
uplicate
s
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Da
n
Carpenter
P
o
p
the pre_con
d
i
t
ion_stack
at the
co
r
rect point
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpenter
f
i
x issue with
r
a
nges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan C
a
rpenter
Fix get_
i
mplied_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Fix negate bug
.
(Der
e
ferencing
u
n
define
d
false
p
o
sitive
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carp
e
nter
Update comm
e
nt
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wine: wine_checker
.
s
h
fo
r
chec
k
ing individual file
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wine: add
m
ore
fu
n
ctions that don'
t
ret
u
rn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
revert part o
f
f
4
a459292e339
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Car
p
en
t
er
sm
a
tc
h
_e
x
t
ra: improve
and
f
ix
a
ssignment
handli
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
scoped_stat
e
() make t
h
e
param
e
ter order 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_
s
pec
i
al() calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpent
e
r
s
m
atc
h
_helper
.
c
re
m
ove many c
a
lls to
s
how
_
spec
i
al
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carpen
t
e
r
small clean
u
ps
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carpenter
fix bu
g
with f
u
nction implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
r
penter
exit and Ex
i
tProcess don't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Car
p
e
n
ter
smatch
_
extra
.
c: rem
o
ve some
sh
o
w_special() calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
check_
d
eref_check: get rid
of some
false posit
i
ves
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpenter
spellin
g
:
memer
y
=>
memor
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
disg
u
sting hack to stop fal
s
e positive buffer overf
l
ow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan C
a
rpenter
Fi
x
+= and -= handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan
C
a
r
p
enter
wine:
fi
x
som
e
lock names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
a
n Carpenter
wine: RpcRaise
E
x
c
eption never
re
t
ur
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
an
Ca
r
penter
add
opti
o
n --fu
l
l-path
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Michael St
e
faniuc
Fix a typo
.
commit
|
commitdiff
|
tree
2009-11-26
Dan Carp
e
nter
wine: check
for locking bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpenter
Fix some reversed
i
f
c
onditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
free can hand
l
e
n
ull po
i
nte
r
s: if (foo) free(foo);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
an Carpenter
wine: check for
W
toA
c
r
o
ss calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Car
p
ente
r
A
d
d IN
V
A
L
ID_HANDLE_VALUE check f
o
r wine
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carpente
r
rec
o
mpile all
the checks if smatc
h
_extra
.
h ch
a
nges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
a
r
penter
[pat
c
h 9/9] last patch to remove UND
E
F
I
NED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Ca
r
penter
[pat
c
h 8/many] deal with
v
ariable_non_zero() (UNDEF
I
NED)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpen
t
er
[pat
c
h 7/man
y
] no
U
NDEFINED from ge
t
_value(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
[patch 6
/
m
any] rem
o
ve UNDEFI
N
ED
f
rom last
_
stmt_val()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
a
r
p
e
nter
[patch
5/man
y
] get rid of a few
m
ore UND
E
FIN
E
s smatch_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carp
e
n
t
er
[patch 4/many] get r
i
d of
U
NDEFINE
D
in
s
match_ranges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
an Ca
r
penter
[pa
t
ch
3
/
m
any] remove UNDEFINE
D
from
get_implied_(
m
in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n
Carpente
r
[patch 2/many
]
get_implied_value() should not return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patc
h
1
/
many] get rid of
U
NDEFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
Add v
a
lidation te
s
t
for check_held_dev
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
M
a
ke some kernel sp
e
cific
s
tuf
f
depend on
-p=ke
r
n
el
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carp
e
nt
e
r
Add
a
n
ew (s
o
on to b
e
mandatory) --project= o
p
tio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
D
a
n Ca
r
pen
t
er
Make smatch installable
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
try handl
e
d
o
{} whil
e
(
i-- > 0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carp
e
nter
try
h
a
n
dle ++ and --
b
etter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan
C
a
rpenter
Improve handling: do {} w
h
ile (-
-
c
o
n
t
i
n
ue >= 0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Ca
r
penter
Sma
l
l cl
e
anup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Ca
r
penter
kfree_skb() warnings a
r
e
n
ot
spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carpenter
H
a
n
dl
e
de
r
efe
r
ences like *f
o
o no
t
j
ust foo->b
a
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carpenter
G
et rid of the b
i
twise or
c
heck
.
I
t didn't find
b
ugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-20
D
an Carpenter
add _
_
raw_spin_
l
ock/
u
nlock()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-18
Dan Carpenter
M
a
ke
ranged functions p
a
s
s
the a
s
signm
e
nt e
x
pression
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-17
Dan C
a
rpenter
Make variable initializat
i
o
n
into assignment statement
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-16
Dan Carpenter
Del
e
te check_initializer_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-14
Dan Car
p
ente
r
Modify the return hook
to pass an
expr
e
ssion instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
Do clear the range info s
o
early
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
in
t
roduce is_erro
r
_re
t
urn()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next