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
check_unused_ret.c: ignore unreachable assignments
2009-12-18
Dan Carpente
r
check_unused_ret
.
c: ignore unrea
c
hable assignments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan C
a
rpenter
I
f -
-
debug is pa
s
sed
t
he messages
f
rom the first pass
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
D
an Ca
r
p
e
n
te
r
Add a check for unused
ass
i
g
nme
n
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
D
a
n
C
arpenter
simple
check
f
or f
o
rmat
st
r
in
g
vulnerability
commit
|
commitdiff
|
tree
2009-12-17
D
a
n
C
arpenter
Handle
EXPR
_
FORCE_CAST in __s
p
lit_ex
p
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan
C
a
rpenter
[patc
h
2/2] redefine SYM
_
HOOK entirely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpent
e
r
[patch 1/2]
Ch
a
n
g
e def
i
nition of SYM_HOOK in smatch_hook
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
Carpenter
&(foo->ba
r
) is no
t
really a de
r
eference
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
change
expressio
n
_stack to expressio
n
_
li
s
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
clean up
.
DE
R
EF_HOO
K
handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carp
e
nter
check_
s
i
gned:
make it
depend
on --s
p
ammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
c
heck_loc
k
s: a
d
d raw_local_irq
_
enable()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
an Carpent
e
r
add c
h
e
ck for precede
n
c
e
errors like if
(
x & y =
=
0
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
a
r
penter
fix se
l
ect
h
andlin
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
a
rp
e
n
t
er
changes
to comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Ca
r
penter
add __smatch_n
o
t
e(
"
hell
o
world")
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
arpenter
patch up th
e
new
c
he
c
k
_loc
k
i
ng
.
c replacement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpe
n
ter
move check_wine_lo
c
king
.
c over check_loc
k
ing
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Carp
e
n
ter
delet
e
th
e
old check_locking
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpen
t
er
Fi
x
crashin
g
b
u
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Da
n
Carpenter
separate
out the
*_bh() lock h
a
n
d
ling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
D
an Car
p
enter
f
i
x
es for
unified wine
& k
e
rn
e
l
locking script
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Da
n
Carpente
r
get_ty
p
e() return pointer for &foo type ex
p
ress
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Car
p
enter
print messa
g
e
on false compares because of signed vs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan
Carpe
n
ter
suppr
e
ss gcc warning
.
w
h
itespace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpente
r
Merge branch
'
m
a
ster'
of /home/dcarpenter/
p
rogs/spa
r
se
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Ca
r
penter
clean up kf
r
ee_skb() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
an Carpenter
add __smatch_c
u
r_
s
lis
t
() debug function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n Carpente
r
id i
s
suppo
s
ed to b
e
unsig
n
ed sh
o
rt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
f
ix cr
a
shing bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpent
e
r
Start caring about th
e
t
ypes a little
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
cle
a
n
u
p: uses ARRAY_SIZE() m
a
cro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpente
r
Print name inste
a
d of ID in de
b
ug outp
u
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan
Car
p
enter
Add --proj
e
ct=kernel
t
o kc
h
e
c
ker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpente
r
Star
t
m
erging th
e
kernel locking a
n
d wi
n
e
l
o
c
k
ing checks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan C
a
rpenter
handle
if (*pt
r
==
5)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpe
n
t
e
r
declare char* as cons
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan
Carpenter
M
ore
r
a
nge fixes
.
(D
e
lete and merge
d
uplicates)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan C
a
rpen
t
er
Pop
the
pre_condition_sta
c
k at the correct point
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpenter
f
i
x
i
ssue with
ra
n
g
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Fix get_imp
l
ied
_
v
alue
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
F
ix n
e
g
ate bug
.
(
Derefer
e
nci
n
g
undefined f
a
lse pos
i
tive)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
D
an Carpenter
Upda
t
e co
m
ment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan
Carpenter
wine:
w
i
ne_c
h
ec
k
er
.
sh f
o
r
checking indivi
d
ual f
i
les
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan C
a
rpenter
wine
:
ad
d
more fun
c
tions that don'
t
return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Ca
r
penter
re
v
e
rt p
a
rt o
f
f
4
a459292e339
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carpenter
sm
a
tch
_
extra: i
m
prove a
n
d
fix assignment h
a
ndling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Car
p
e
nt
e
r
scoped_state() make the param
e
ter or
d
er match ev
e
rything
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arpenter
c
hecks: remove some
s
how_s
p
ecial()
c
a
l
ls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arpenter
s
mat
c
h_helper
.
c
r
emove many calls to show_spec
i
al()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n C
a
rpenter
s
m
all
clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpente
r
f
ix bug with
function implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Car
p
enter
exit
and
E
xi
t
P
r
ocess
don't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
smatch_extra
.
c
:
re
m
ove som
e
show_special()
c
alls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpente
r
ch
e
ck_deref_check:
get r
i
d o
f
some fals
e
positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
spelling: meme
r
y =
>
memory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
disgustin
g
hack to
stop false positive bu
f
fer overfl
o
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan C
a
r
p
en
t
e
r
Fix
+
= and -= handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
a
n Ca
r
p
e
nter
wine:
f
ix some
l
ock names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
an Carpe
n
ter
w
ine: Rpc
R
aiseExcepti
o
n never retur
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan
C
arpente
r
add option --ful
l
-p
a
th
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpenter
wine: che
c
k fo
r
locking bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
D
a
n
Ca
r
p
en
t
er
F
ix some rev
e
rs
e
d if conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Carpenter
free can handle null pointers: if (foo)
f
ree(foo);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Car
p
enter
w
ine: check for WtoA cross
ca
l
ls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
Add
INVALI
D
_HANDLE
_
VALUE chec
k
for
w
ine
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpent
e
r
recompil
e
all the check
s
if
smatch_extr
a
.
h chan
g
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 9
/
9] l
a
st patch to re
m
o
ve U
N
DEFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arpent
e
r
[patch 8/
m
any
]
deal
w
ith v
a
riable
_
n
on_zero() (UNDEFINED)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
an Car
p
ent
e
r
[patch 7
/
many] no UNDEFINED from get_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch
6
/
m
a
ny
]
rem
o
ve UNDEFINED
from last_stm
t
_v
a
l()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 5/
m
any] ge
t
rid
o
f
a few more UNDEFINEs smatch_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
pe
n
ter
[
patch 4/many] get rid of UN
D
EFINED in
sm
a
tch_ranges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Car
p
enter
[
pa
t
c
h 3/many] remove UNDEFINED from get_implied_(m
i
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
[pat
c
h 2/
m
any]
g
et_implied_value() should not return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[pat
c
h 1/many] get rid of UNDEFIN
E
D
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Ca
r
penter
Add va
l
idation
test for check_held_dev
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Car
p
enter
M
ake
s
ome
k
e
rnel specific stuff
d
epend on -p=kernel
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Car
p
ent
e
r
A
dd a ne
w
(soon to
be
m
andator
y
) --proj
e
ct= o
p
tion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan
C
arpenter
Mak
e
smatch ins
t
allable
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n
Carpenter
t
r
y handle
d
o {} while (i-- > 0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
try han
d
le
++
and -- better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpente
r
Improve handling: do {}
w
hile (-
-
continue
>
= 0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
Smal
l
cleanu
p
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n
Car
p
en
t
er
k
f
ree_skb
(
) warnin
g
s are not spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Dan
C
arpente
r
Hand
l
e deref
e
rences li
k
e *foo
n
ot
j
ust foo-
>
bar
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
D
an Carpenter
Get rid
o
f the bi
t
wise or
che
c
k
.
It
d
idn't fin
d
bug
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-20
Dan Carpenter
add __raw_spin_lo
c
k/unlock()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-18
Dan Ca
r
p
e
n
ter
Make
ra
n
ged fu
n
ctions pass
t
he assi
g
nment exp
r
ession
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-17
D
an Carpenter
Make va
r
iable
initiali
z
a
t
ion i
n
to a
s
si
g
nment
s
t
a
te
m
ents
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-16
Dan Carpenter
Delete
c
heck_ini
t
ializer_
d
ere
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-14
D
a
n Carpenter
Modify the
retu
r
n hook to
p
as
s
an expressio
n
instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carp
e
nte
r
Do clear
t
h
e range info so early
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan
C
arpenter
intr
o
duce
is_e
r
ror_return()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
make function decl
a
ra
t
i
on s
t
atic
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-12
D
a
n
C
arpenter
Do not accidentally
d
elete
.
h files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
D
a
n
C
ar
p
enter
N
ew mis
s
ing dev_put(
)
chec
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpe
n
ter
Handle if ((dev = foo())
=
= NULL) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan
Carpente
r
sil
l
y false
posi
t
i
v
e: r
e
turn fo
o
; <-
fo
o
possib
l
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
D
a
n
C
arpent
e
r
Update
s
m
a
tch
_
data to
2
.
6
.
32-r
c
6
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next