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 Carpenter
Rem
o
ve hack f
o
r handling Steve Rostedt
'
s if
c
o
n
d
itions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpen
t
er
check_unus
e
d_ret
.
c: f
i
x check for local variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
check_u
n
used_
r
et
.
c:
ignore unrea
c
hable
a
ssig
n
men
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Ca
r
p
enter
If --debug
i
s passed the
messages fr
o
m the first
pass
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Da
n
Carpenter
Add a che
c
k f
o
r unu
s
ed assignments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
si
m
ple check
f
or form
a
t string vulnera
b
il
i
ty
commit
|
commitdiff
|
tree
2009-12-17
Dan C
a
r
p
e
n
ter
Handle E
X
PR_FORC
E
_CAST
i
n __split_exp
r
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[patch
2
/2
]
red
e
fi
n
e SYM_HO
O
K
entirely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carp
e
nter
[patch 1/2] Chan
g
e
d
e
f
inition
of SYM_HOOK in smat
c
h_hook
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
Carpente
r
&(foo->bar
)
is
not really a der
e
fe
r
ence
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
Carpenter
change
exp
r
ession
_
stack t
o
expression_l
i
st
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpen
t
er
cle
a
n up
.
DER
E
F
_
H
O
OK h
a
ndling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan C
a
rpenter
ch
e
ck
_
signed
:
make
it de
p
end
o
n
--spamm
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Ca
r
p
e
nter
check_lock
s
: add raw_local
_
ir
q
_e
n
able()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
add check for pr
e
cedence errors like if
(x & y == 0
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpenter
f
i
x s
e
lect han
d
ling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Car
p
enter
changes to comme
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
add __smatch_note("hello world")
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Car
p
enter
patch up the n
e
w
check_locking
.
c repla
c
e
ment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Ca
r
penter
m
ove check_w
i
ne_locking
.
c
over ch
e
ck_lo
c
king
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
an Carpenter
de
l
e
t
e th
e
o
l
d check_locking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan C
a
rpenter
Fix crash
i
ng bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan
Carpenter
separate out the *_bh() l
o
ck
h
andli
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan C
a
rp
e
nter
fixes f
o
r unified wine & kernel locking scr
i
p
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
D
a
n Ca
r
penter
g
e
t_type() re
t
urn pointer for &foo type expressions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan
C
arpenter
pri
n
t messag
e
on false compare
s
becaus
e
of signe
d
vs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan
C
arpenter
suppress gcc warning
.
whi
t
espace
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
Carpente
r
Merge branch 'master' of /home
/
d
c
arpenter
/
prog
s
/s
p
a
r
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
Car
p
ent
e
r
clea
n
up kfre
e
_
skb()
c
heck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
arpe
n
ter
ad
d
__sma
t
ch
_
cur_slist() debug function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
i
d
is s
u
pposed to
b
e unsigned s
h
ort
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
Carpenter
f
ix
crashin
g
bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carp
e
nt
e
r
Start car
i
ng abo
u
t
t
he types a li
t
tle
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Da
n
Carpenter
cleanu
p
: uses AR
R
AY_SIZE()
m
acro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Ca
r
penter
Prin
t
n
ame in
s
tead of ID in debug output
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan
C
arpenter
Add --project=kernel to
k
c
h
ec
k
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n
Carpenter
Start mergi
n
g the
kernel lo
c
kin
g
a
n
d wine locking ch
e
cks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
handle if (
*
ptr == 5)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpente
r
de
c
lare
char*
as const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carp
e
nter
More
rang
e
fixes
.
(Delete and
m
erge dupl
i
cate
s
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpenter
Po
p
th
e
pre_c
o
n
dition_stack at the correct p
o
int
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
D
a
n Carpenter
fix issue wi
t
h ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpe
n
ter
Fix get
_
im
p
li
e
d_value
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n
Carpenter
Fix negate bug
.
(
D
erefer
e
nci
n
g unde
f
i
n
e
d false p
o
sitive)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
U
p
date comment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
D
a
n
C
arp
e
nter
wine: wine
_
checker
.
s
h
for checking individual files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpent
e
r
wine:
add more functi
o
ns t
h
at don't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
revert part
of f4a459292e339
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carpenter
smatch_
e
xtra
:
impro
v
e and fix assignm
e
nt h
a
ndl
i
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
an Car
p
ente
r
s
cop
e
d
_state() mak
e
th
e
p
arameter order
match everything
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carp
e
nter
checks: remove so
m
e sh
o
w_special
(
) ca
l
ls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpe
n
ter
smatch
_
h
elp
e
r
.
c
remove man
y
c
a
ll
s
to s
h
ow_
s
pecial()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpent
e
r
sma
l
l clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carpe
n
ter
fix
bu
g
with
f
unction implication
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carpen
t
e
r
exit and ExitP
r
ocess d
o
n
'
t return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
smatch_ex
t
ra
.
c
: remove s
o
me s
h
ow_speci
a
l()
c
alls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
chec
k
_d
e
ref_che
c
k: get ri
d
of s
o
me false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
an Car
p
ent
e
r
sp
e
l
l
ing
:
memery => memory
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
disgusting hack
t
o s
t
op false positive buffer ove
r
flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Da
n
Carpenter
Fix += a
n
d -=
h
andling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
D
a
n Carpenter
wine: fi
x
so
m
e lock names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Ca
r
penter
wine: RpcRaiseExc
e
ption never retur
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpente
r
add option --full-
p
ath
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpenter
wine: check
for locking bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
Dan
C
a
rpen
t
er
Fix some rev
e
rsed
i
f conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
an
Carpenter
free
can hand
l
e null pointers: if (foo) fr
e
e(foo);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpent
e
r
wine: check for Wt
o
A
cr
o
s
s calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
r
p
enter
Add INVALID_
H
ANDL
E
_VAL
U
E
check for wine
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arpenter
r
ecompil
e
all the che
c
ks if sm
a
tch
_
extra
.
h changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
pent
e
r
[p
a
tch 9/9] last
p
atch to remov
e
UNDEFI
N
ED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
a
rpenter
[patch 8/man
y
]
deal with va
r
i
able_non_z
e
r
o(
)
(UNDEF
I
NED)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[pat
c
h 7/many]
n
o UNDEFINED from get_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arpenter
[pa
t
ch 6/many]
remo
v
e UNDEFINE
D
f
r
om last_stmt_val
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n
Carpen
t
e
r
[
pa
t
ch 5/many] get rid of a few
m
o
r
e UN
D
EF
I
NEs sm
a
tch_extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
r
pen
t
e
r
[
patch 4/m
a
ny] get
r
id
o
f UNDEFINED in
s
m
atch_ranges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[pa
t
ch 3/ma
n
y] rem
o
ve UNDEF
I
N
ED f
r
om get_i
m
plied_(min
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carpenter
[pa
t
ch 2/many
]
g
et_implied_value() s
h
ould not re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[pa
t
ch
1/m
a
ny] get rid of UNDEFINED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
Add validati
o
n test for che
c
k_held_dev
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
r
pen
t
er
M
a
ke som
e
ker
n
e
l
s
pecific stuff
depend
o
n -p=
k
ernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carp
e
n
t
er
Add
a new (soon to b
e
mandatory) --project= o
p
tion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
Dan C
a
rpente
r
Make smat
c
h installable
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carp
e
n
ter
try handle do {} whi
l
e (i
-
- > 0)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
try handle ++ and -- better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan
Carpenter
Improve hand
l
i
n
g: do
{
}
w
hile
(
-
-conti
n
ue >= 0
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
Small c
l
ea
n
up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
D
an Carpenter
kfre
e
_skb(
)
w
ar
n
ings are not spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carp
e
nter
H
a
n
d
le dereferences like *foo not ju
s
t foo->bar
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carpenter
Get rid of t
h
e bitw
i
se
or check
.
It didn't find bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-20
D
a
n Carpenter
add __raw_spin_
l
ock/unlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-18
Dan Carpenter
Mak
e
ranged
f
un
c
ti
o
ns
p
a
ss th
e
a
ssi
g
nment express
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-17
Da
n
Carpenter
M
ake variable
i
nitializa
t
ion
i
nto assi
g
n
m
e
n
t
statement
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-16
D
an Carpenter
D
elete
check
_
in
i
ti
a
lizer_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-14
Da
n
Carpent
e
r
Modify the
r
et
u
r
n
ho
o
k
t
o
pa
s
s an expr
e
s
s
i
o
n instead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
Do clea
r
the range inf
o
so early
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
introduce
i
s_err
o
r_
r
eturn
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
D
an Carpe
n
t
e
r
make
f
uncti
o
n
decl
a
ration static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-12
Dan
Ca
r
pen
t
er
Do
n
ot accidentally delete
.
h fi
l
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
Dan C
a
rpenter
N
e
w m
i
ssing de
v
_put
(
)
c
heck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpenter
Handl
e
if ((dev = f
o
o()) == NULL) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next