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_overflow: handle arrays inside structs
2009-12-23
Dan Carpenter
check_
o
ver
f
low: ha
n
dle
arrays inside s
t
ructs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan
C
arpen
t
er
Fi
x
cras
h
ing bug: fun
c
(a & b
)
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpe
n
ter
warn about
if
(
x); type
code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan C
a
rpenter
precede
n
ce:
warn about: if
(!a & b
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan C
a
r
penter
err_ptr: it's pe
r
fectly o
k
to
return both
n
ull
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n Carpenter
w
h
ite sp
a
c
e cha
n
ges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan
Carpenter
Remov
e
hack for
h
andli
n
g Steve
R
ostedt's if
c
ondit
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
c
h
eck_unused_ret
.
c: fix check for local variabl
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
check_
u
nu
s
ed_ret
.
c
:
ignore unr
e
acha
b
le a
s
signments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
I
f
--debug
is passed t
h
e messages from
t
he first pass
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan Car
p
ente
r
Add
a
check fo
r
unused assignments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan Ca
r
p
enter
si
m
ple ch
e
ck for format
string vulnerability
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
Handle E
X
PR_FO
R
C
E_CA
S
T
in __spli
t
_
e
xpr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan C
a
rpenter
[patch 2/2] redefine S
Y
M_HOOK enti
r
ely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan
Carpenter
[patc
h
1/2] Change definition o
f
SYM
_
HOOK in smatch_h
o
ok
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carp
e
nter
&(foo->bar) is not
r
eally a deref
e
rence
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
D
a
n
Carpent
e
r
change expression
_
s
tack
to expression_l
i
st
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
Carpenter
clean up
.
DEREF_HOOK handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Car
p
enter
che
c
k_signed: make it
d
epend
o
n -
-
s
pammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
Carpenter
che
c
k_locks:
add ra
w
_local_irq_enable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
Carpenter
add
c
heck f
o
r
preceden
c
e errors like if (x & y
== 0
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpent
e
r
fix sel
e
ct
h
andling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Ca
r
p
e
nter
changes t
o
c
omments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpen
t
er
add __smatch_
n
o
t
e("hel
l
o
w
orld")
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
patch up the new check_locking
.
c replaceme
n
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
an Carpenter
move c
h
eck_wine_lo
c
king
.
c
over c
h
eck_loc
k
ing
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
dele
t
e
th
e
old ch
e
ck_locking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
F
ix
cras
h
ing
b
ug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpenter
separ
a
te o
u
t
the
*_bh() lock handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpenter
fixes for unified wine & kernel
locking scr
i
pt
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpen
t
er
get_type() return
poin
t
er for &f
o
o type expr
e
ssi
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
pr
i
nt m
e
ssa
g
e on false c
o
m
pares be
c
au
s
e
o
f s
i
gned vs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan
C
arpen
t
e
r
suppress gcc warning
.
w
h
ite
s
pace
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
arpenter
Merge branch '
m
aster' of
/
home
/
dcarpenter/prog
s
/
spar
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
Carpenter
clean up kfree_s
k
b(
)
c
h
eck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
add _
_
smatc
h
_cur_s
l
ist() debug function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
arpen
t
e
r
id i
s
su
p
posed to
be un
s
i
g
n
e
d short
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
f
i
x crashing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Ca
r
penter
Sta
r
t caring
a
bout th
e
t
ypes a little
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpe
n
t
er
clean
u
p: uses
A
RRAY
_
SIZE(
)
macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Car
p
enter
Print name instead of ID in debug outpu
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carpenter
Add --proj
e
ct=kernel to kchec
k
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Start merging the k
e
rnel locki
n
g and wine lock
i
n
g
c
hecks
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 Carpenter
d
e
c
lare char* as const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
D
a
n Carpenter
More r
a
n
ge fixes
.
(Dele
t
e and merge
duplicates)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan Car
p
ente
r
Pop the pre_cond
i
tio
n
_stac
k
at the
c
orrect
p
oint
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpente
r
fix is
s
ue
with range
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
D
an Car
p
enter
Fix get
_
i
mplied_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan C
a
rpenter
F
i
x
negate bug
.
(Dereferencing
u
nd
e
fined f
a
lse po
s
i
t
ive)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Da
n
Carpenter
Updat
e
comment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
w
in
e
: wi
n
e
_check
e
r
.
sh
f
or c
h
e
c
king individu
a
l fi
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpe
n
ter
wine:
add more f
u
ncti
o
ns
t
h
a
t
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
a459292e
3
3
9
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpent
e
r
smatch
_
extra
:
impro
v
e and fix assignment handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
scop
e
d_state() make the parameter
o
rder matc
h
eve
r
yt
h
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
checks:
r
emove some show_
s
pecial() calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
an
Carpent
e
r
smat
c
h
_helper
.
c
remove many ca
l
ls to show_spec
i
al()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Car
p
enter
s
m
all clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpen
t
er
fix bug with function impl
i
ca
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carp
e
n
t
er
exi
t
a
nd Exit
P
rocess d
o
n't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arpenter
sm
a
tch
_
e
xtra
.
c:
remove so
m
e show_speci
a
l() calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
check_
d
ere
f
_check: get rid of
s
o
me fa
l
se positi
v
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpen
t
er
s
p
e
l
l
i
ng: memery => mem
o
r
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan C
a
rpenter
disgu
s
t
i
n
g
hack t
o
s
top false po
s
i
ti
v
e buffer ov
e
rflow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
D
a
n Carpen
t
er
Fix +=
and -= handli
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
wine: fix some lock names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan C
a
r
penter
wine: RpcRaiseExcept
i
on ne
v
e
r returns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
add optio
n
--f
u
ll-pat
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Michael Stefaniu
c
Fix a typo
.
commit
|
commitdiff
|
tree
2009-11-26
D
an Carp
e
nte
r
wine: check for l
o
c
k
ing bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
D
a
n
C
arpe
n
te
r
Fix
s
ome reversed if conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
free
c
an h
a
ndl
e
n
ull pointers: if (foo
)
fr
e
e(foo);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n
C
arpenter
wine: check for
W
toA cross calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
an Carp
e
nter
Add INVALID_HANDLE_VALUE ch
e
ck for wine
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n
Carpen
t
e
r
recompile
a
ll the check
s
if smatch_extra
.
h
c
hanges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
[patch 9/9
]
last pa
t
ch to remove
U
N
D
EFI
N
ED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carp
e
nter
[
patch 8/many] deal with variabl
e
_non_
z
ero() (UNDEFINED
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch
7
/many]
no UNDE
F
I
N
ED from
g
e
t_valu
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Ca
r
penter
[patch
6/many] remove UND
E
FINED from
last_stmt_
v
a
l
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch
5
/man
y
]
g
et rid of a few more UNDEFIN
E
s s
m
a
t
ch_extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carp
e
n
t
er
[patch 4/m
a
ny] get rid of
UNDEFINED in sma
t
ch_ranges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[
p
atch 3/many] remove UNDEFINED fr
o
m g
e
t_implied_(min
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
an Carpe
n
ter
[p
a
tc
h
2
/many] g
e
t_implied_v
a
lue() should not ret
u
rn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
an C
a
rpenter
[
p
atch 1/many] get
r
id of U
N
DEFINED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
Add validation test for
check_held_d
e
v
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arpenter
Make some kernel spec
i
fic s
t
u
ff depend on -p=k
e
rnel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
Dan Carpenter
Add a new (soon
to be mand
a
tory) --pr
o
j
e
ct
=
option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
Dan Car
p
enter
M
a
ke
s
match
insta
l
lable
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
try
h
andle
d
o
{}
while
(
i-- >
0
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n C
a
rpe
n
ter
t
r
y
h
an
d
le ++ and -- better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan
C
a
r
penter
Improve ha
n
dling: do {} while (--co
n
tinue >= 0)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
Smal
l
cl
e
anup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
D
an Ca
r
penter
kfree_
s
kb
(
)
warning
s
ar
e
not
spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carpente
r
Handle d
e
references lik
e
*foo
n
ot just foo->bar
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carp
e
n
t
er
Ge
t
ri
d
of the
bitwis
e
or ch
e
c
k
.
It didn
'
t
find bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-20
Da
n
Carpenter
a
d
d __raw_spi
n
_
lock/
u
nlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-18
D
an Carp
e
nter
Ma
k
e r
a
nged functions pass the a
s
s
ig
n
m
e
nt express
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-17
Dan Carpent
e
r
M
ake var
i
able ini
t
ial
i
zation in
t
o
a
ssignment sta
t
e
m
e
nts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-16
Dan
Carpenter
De
l
et
e
check_initializer_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next