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
Remove hack for handling Steve Rostedt's if conditions
2009-12-18
Dan Carpe
n
ter
Remove hack for ha
n
dling St
e
ve R
o
stedt's if condi
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n Carpenter
check_unused_ret
.
c: fix chec
k
f
o
r
local variables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
c
h
eck_u
n
use
d
_ret
.
c: ignore
u
nrea
c
hable a
s
signmen
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
D
an C
a
rpenter
If --debug is
p
ass
e
d the messa
g
es from the first
pass
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carp
e
nter
Add
a check f
o
r
u
nused assignmen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpe
n
ter
s
imp
l
e check for
f
ormat strin
g
v
u
lnerability
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
H
a
n
dle EXPR_FORC
E
_CAST in __split_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[patch 2/2
]
re
d
ef
i
n
e SYM_HOOK entirely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan C
a
rp
e
nter
[p
a
t
ch 1/2]
C
hange definition of SYM_HOOK in sma
t
ch_hoo
k
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
D
an Carp
e
nter
&(foo->bar) i
s
not really a derefer
e
nce
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
C
a
r
penter
c
hange expression_stack
to expression_list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan
Carpenter
c
lean up
.
DEREF_HOOK handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpen
t
er
c
h
eck_
s
igned: make i
t
depend on --spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan
C
arpenter
che
c
k_lo
c
ks: a
d
d
r
aw_local_irq_enable()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
arpenter
add check f
o
r precedence errors like if (x & y =
=
0
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
fix se
l
ect han
d
l
ing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
C
a
rpenter
c
hanges to comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpenter
add __smatch
_
n
ote("h
e
l
lo w
o
rld")
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan
Carpenter
patch up the new check_locking
.
c
repla
c
ement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan
Carpenter
move
c
heck_wine_l
o
cking
.
c over che
c
k_locking
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpent
e
r
delete th
e
old check_
l
o
c
kin
g
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Car
p
enter
Fix crashi
n
g b
u
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpenter
separat
e
out the *_bh(
)
lock h
a
ndling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Ca
r
penter
f
i
x
es for unified wine & kernel lock
i
ng script
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
get_ty
p
e
(
) return pointer for
&
foo
type expr
e
ssio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
pri
n
t message on
f
alse compares because o
f
si
g
ned vs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Car
p
e
nter
suppre
s
s gcc wa
r
ning
.
whi
t
e
s
pace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
Carpenter
M
erge b
r
anch '
m
a
ster' of /home/dcar
p
enter/prog
s
/sparse
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpent
e
r
clean up kfree_skb() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpen
t
er
a
dd
__smatch_c
u
r_slist() d
e
b
ug function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
id
i
s s
u
p
p
o
s
ed to be
u
nsigned short
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
fix crashing
bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
an Carpenter
Start car
i
ng
about the types a littl
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Car
p
ente
r
cle
a
nup:
u
s
es
A
R
R
AY_SIZE() macro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Prin
t
na
m
e instead of ID in debug out
p
ut
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
A
d
d
-
-
project=kernel
t
o kcheck
e
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Start m
e
r
g
i
ng the
k
ernel locking and wine lock
i
n
g
ch
e
cks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
h
andle if (*pt
r
=
= 5)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan
C
arpe
n
t
er
d
ecl
a
r
e cha
r
* as
c
onst
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
D
a
n
Carpenter
More range fixes
.
(Delete and merge duplicates)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
D
a
n
C
arpenter
Pop the pr
e
_condition_stack
a
t the cor
r
e
c
t
p
oin
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
D
a
n Carpenter
fix issue with ranges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n Carpenter
Fi
x
get_implied_
v
alue()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Fi
x
negat
e
bug
.
(
D
ereferenc
i
ng und
e
fin
e
d false p
o
s
itive)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan
C
arpenter
Update comme
n
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carp
e
n
ter
wine: wine_che
c
ke
r
.
s
h for
c
hecking individual files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wine: add m
o
re
f
unctions that don't ret
u
rn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
rev
e
r
t
part of f4a459292e
3
39
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Carp
e
n
t
er
sm
a
tch_
e
xtra: improv
e
a
nd
f
ix assign
m
ent handl
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Ca
r
p
enter
scoped_state() m
a
ke
the p
a
r
ameter order match everything
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
checks: remove some sh
o
w_specia
l
()
c
alls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an
C
arpe
n
ter
smatch_helper
.
c
r
emo
v
e
m
any calls to sh
o
w
_s
p
ecial()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carpen
t
er
small cle
a
n ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an Car
p
enter
fix bug with
f
unction implica
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
exit and ExitProcess don't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
a
rpen
t
er
s
m
atch_
e
xtra
.
c
:
remov
e
so
m
e
show_s
p
ecial() ca
l
ls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpenter
check_d
e
ref_check: get rid
of some false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carp
e
n
ter
spelli
n
g
:
memery =
>
memory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan C
a
rpenter
disgusti
n
g hack to st
o
p f
a
lse positive buffer
overflo
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan
C
arpenter
Fix
+
=
an
d
-= handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpe
n
t
e
r
wine
:
fix
some lock
n
ames
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
a
n
C
a
rpe
n
ter
wine:
R
p
c
RaiseException n
e
ver returns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
add option --full-p
a
t
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Da
n
C
arpenter
wine: check
f
or locking bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Da
n
Carpenter
Fix som
e
rev
e
r
s
e
d if co
n
ditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
free can
h
andle nul
l
pointers: i
f
(foo) free
(
f
oo);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arpenter
w
i
ne: check for WtoA cross
c
alls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpente
r
Add INV
A
L
ID_HANDLE_VA
L
UE check for wine
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arpenter
recompile all the c
h
ecks if smatch_extra
.
h changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arpent
e
r
[
patch 9/9] last patch to remove UNDEFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpen
t
er
[
p
atch 8/many]
dea
l
wi
t
h va
r
iable_non_zer
o
() (U
N
DEFIN
E
D)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
[patch
7
/m
a
ny] no U
N
DEFI
N
E
D
from
g
et
_
value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carp
e
nter
[patch 6/many] remove
U
N
D
E
FINED from
last_st
m
t_val()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 5/many] get rid of a few m
o
re UNDEFINEs sma
t
ch_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
D
an
C
a
rpenter
[p
a
tch 4/ma
n
y] get rid of UNDEFINE
D
in smatch_rang
e
s
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 3/man
y
]
remove
UNDEF
I
N
E
D
from get_implied_(min
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
ter
[patc
h
2/many] ge
t
_implied_value() shou
l
d not return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
pe
n
ter
[patch 1/many]
g
et rid o
f
UN
D
EFINED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
Add validation test for check
_
held
_
dev
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
Make s
o
me kernel speci
f
ic stuf
f
depe
n
d on
-
p
=
ker
n
el
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpenter
Add
a new (
s
oon to be mand
a
tory) --p
r
o
ject
=
o
ption
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carp
e
nter
Ma
k
e smatch
i
ns
t
all
a
ble
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n C
a
rpe
n
ter
try handle do {} wh
i
l
e
(
i
-
-
>
0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan C
a
r
pen
t
er
try ha
n
dle ++
a
nd -- better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
I
m
p
rove handling: do {} while (
-
-contin
u
e >=
0)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
S
mall cle
a
nup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-23
Dan C
a
rpent
e
r
kfree_skb() warnings ar
e
not spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Dan C
a
rpenter
Hand
l
e
dereferences lik
e
*foo no
t
just
foo->bar
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-21
Dan
Carpe
n
ter
Get rid of
t
he
b
itw
i
s
e
or check
.
It
d
idn't
find
bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-20
Dan Carpenter
ad
d
__raw_sp
i
n_loc
k
/unlo
c
k(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-18
Dan C
a
rpenter
Make ran
g
ed functions pas
s
the as
s
ignment ex
p
r
ession
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-17
D
a
n
Car
p
e
nte
r
M
ake variable initial
i
zation into assi
g
nment
stat
e
m
en
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-16
Dan Carpenter
D
e
le
t
e
check_in
i
tiali
z
er
_
deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-14
Dan Carpenter
Modify the return hook to
p
ass an expression in
s
te
a
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
Do clear the ra
n
ge info so ea
r
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Da
n
Carp
e
nt
e
r
introduce is_error
_
r
e
turn()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
make fu
n
ction declarati
o
n static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-12
Dan
Carpen
t
er
Do not acc
i
dent
a
lly delet
e
.
h
files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan
C
a
rpe
n
ter
New missing de
v
_put() ch
e
ck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpenter
H
a
ndle i
f
((dev = foo()) == N
U
LL
)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next