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
redo how options are parsed.
2009-12-30
D
an Carpe
n
ter
redo how options are
p
a
r
s
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n
Carpenter
cleanup
:
debug_i
m
plied
_
sta
t
es =>
option_debug_implie
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
an Carpenter
c
l
e
anup: de
b
ug_stat
e
s => option_
d
ebug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
an Carpenter
param_mapp
e
r:
a
dd --param-mapper o
p
t
i
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Carpenter
dma on stack: eliminate some false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpente
r
Add dma functio
n
s
t
h
a
t
map to usb_cont
r
ol_msg
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpenter
add smatch_scripts/trace_pa
r
ams
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Carpente
r
param_mapper: initial co
m
mit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
p
e
n
t
er
dma_on_stack: &foo m
e
ans it'
s
an error too
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
D
a
n
C
arpenter
update smatch_
d
ata to 2
.
6
.
3
3
-r
c
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpenter
c
h
eck_
o
verf
l
o
w
:
f
ix crashin
g
bug (divide by zero)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Car
p
e
n
ter
check_overflow: f
i
x cras
h
ing
bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carp
e
n
t
e
r
add
a
check
f
or passin
g
s
tack variables t
o
dma fu
n
ct
i
o
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan
C
arpenter
check_used_retu
r
ns
:
ig
n
o
re inb, in
w
, a
n
d inl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpen
t
er
up
d
ate val
i
d
ation tes
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carp
e
n
t
er
check_overfl
o
w: handle
arrays
i
n
side str
u
cts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan
Carp
e
nter
Fix crashing
b
u
g
:
func(a & b);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Ca
r
penter
w
ar
n
about i
f
(x); type c
o
d
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan
Carp
e
n
t
er
p
receden
c
e: warn about:
i
f (!
a
& b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Da
n
Carpenter
err_ptr: it's
p
erfectly ok to return b
o
t
h
null and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpente
r
wh
i
te space c
h
anges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
Rem
o
ve hack for hand
l
ing Steve Rostedt's if conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n
Carpente
r
check_unused_re
t
.
c: fix ch
e
ck for local variable
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan
C
arp
e
nter
check
_
unused_ret
.
c: ignor
e
unre
a
chable assig
n
m
ents
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan C
a
rp
e
nter
If -
-
d
e
bug i
s
passed the message
s
f
r
om the
first pass
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Da
n
Carpen
t
er
Add a
c
hec
k
for unus
e
d assignm
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
si
m
pl
e
ch
e
ck for fo
r
m
at stri
n
g vul
n
e
rability
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
Ha
n
dle EXPR_FORCE_CAST in __split_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan C
a
rpenter
[patch 2/2]
redefine SYM_HOOK entirely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
D
a
n Carpe
n
ter
[pat
c
h 1/2] C
h
a
nge
definition of SYM_
H
OOK in
s
m
atch_ho
o
k
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
&(foo->bar
)
is not really a
d
ereference
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
change
e
xpre
s
sion_stac
k
to
expression_list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan
Carpent
e
r
cl
e
an up
.
D
EREF_HO
O
K
h
andling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
Carpent
e
r
chec
k
_
s
ign
e
d: make i
t
depend on
-
-spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
check_locks:
add raw_l
o
cal_irq_enable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
ad
d
check
for p
r
e
c
edenc
e
err
o
rs li
k
e if
(x
& y == 0
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Car
p
enter
fix
s
elect hand
l
i
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
changes to comment
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
arpent
e
r
add _
_
smatc
h
_not
e
("hel
l
o world")
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpe
n
te
r
pa
t
c
h
up the ne
w
check_locki
n
g
.
c replac
e
ment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
move check_wine_loc
k
ing
.
c over che
c
k_locking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carp
e
nter
d
elete the old check_
l
o
cking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Ca
r
penter
Fix crashing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
D
a
n
Carpenter
sepa
r
ate
out the *_bh()
lock ha
n
dling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Da
n
Ca
r
pente
r
fix
e
s for uni
f
ie
d
win
e
& kernel loc
k
ing scrip
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
ge
t
_type() return
p
ointer for
&foo t
y
pe expressions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
print message on fa
l
se comp
a
re
s
b
e
ca
u
se
of signe
d
vs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
suppre
s
s gcc warning
.
whitespace
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n Carpenter
M
erge branch '
m
aster' of /hom
e
/
d
ca
r
penter/p
r
ogs/spars
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Ca
r
p
e
nter
clean u
p
kfree_skb() che
c
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpe
n
t
er
add __s
m
atch_cur_slist(
)
debug
f
unc
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
Carpenter
id is s
u
p
p
o
s
ed
t
o be
unsigned shor
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan C
a
rpen
t
er
fix
c
ra
s
hing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
a
rpente
r
Start caring about the types a little
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Car
p
enter
cleanup: uses ARRAY_SIZE
(
) macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n
C
arpenter
Print name in
s
tead of ID in debug outpu
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan
Car
p
enter
Add --project=kernel to kch
e
cker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan
C
arpenter
Start me
r
ging the kernel locking and wine locking
c
hecks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpent
e
r
handle
if (*ptr == 5)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan C
a
rpenter
d
e
cl
a
re char
*
as
con
s
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan
Carpenter
More ra
n
ge fixes
.
(Delet
e
and merge du
p
licates)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Da
n
Carpe
n
t
er
Pop
the p
r
e_cond
i
tion
_
stack at
the correct poi
n
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpenter
f
i
x issue
w
ith ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Car
p
ente
r
Fix
g
et_impl
i
ed_
v
a
l
u
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
F
i
x negate
bug
.
(
D
ere
f
erencing
undefined false p
o
sit
i
ve)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Ca
r
pen
t
er
Update comment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan
Car
p
enter
w
i
ne: w
i
ne_check
e
r
.
sh f
o
r ch
e
c
k
i
ng individual files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan
Carpenter
w
ine:
add
more f
u
nctions that d
o
n't
r
eturn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpenter
revert pa
r
t of f
4
a459292e
3
39
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Carpenter
s
m
a
tch_extra: improve and fi
x
assignment
h
andling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
scoped_stat
e
() make
the pa
r
ameter order match everyt
h
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Car
p
ente
r
checks: remove some show_special(
)
calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpe
n
ter
smatch_helper
.
c r
e
move many c
a
lls to show_spe
c
ial()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
sm
a
l
l clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpenter
fix bu
g
w
ith function
imp
l
ic
a
tions
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
Da
n
Ca
r
pent
e
r
smatch
_
ext
r
a
.
c: remove some show
_
special() calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpe
n
ter
chec
k
_deref_check
:
get rid
o
f
s
o
m
e
false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Car
p
e
n
t
e
r
spelling: memery => memory
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
disgu
s
t
i
ng h
a
ck to stop false
p
o
sitive
b
uffer overflow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpent
e
r
Fix
+= a
n
d
-
= hand
l
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
D
a
n
C
arpen
t
er
w
i
ne: fi
x
some
lock name
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Car
p
enter
wine: RpcRaiseException
n
ever returns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Da
n
Carpenter
add
o
ption --full-pa
t
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
D
a
n Carpe
n
ter
wine: ch
e
ck for l
o
cking bu
g
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpen
t
er
Fix some
r
eversed
i
f co
n
diti
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
a
rpenter
free can handle null pointers: if (foo) fre
e
(foo);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carp
e
nter
w
i
ne: check for
W
t
oA cros
s
c
alls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
ent
e
r
A
d
d
INVALID_HAND
L
E_V
A
L
U
E chec
k
for w
i
ne
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
r
e
compile all the che
c
ks if
sma
t
c
h
_extr
a
.
h
c
h
ange
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patc
h
9/9] last patch to r
e
move U
N
D
E
FINE
D
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
penter
[patch 8/many
]
dea
l
with var
i
a
ble
_
non_z
e
ro
(
) (UN
D
EFINED)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
enter
[p
a
tch 7/many] no UNDEFINED f
r
o
m get_value
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[
p
at
c
h 6/ma
n
y
]
remo
v
e UNDE
F
INED f
r
om last_
s
tmt_val()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[pa
t
ch 5/many] get
r
id of a few more UNDEFINEs smatch_e
x
tra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
[pa
t
ch 4
/
many]
g
et
r
id
o
f UNDEFIN
E
D in smatch_
r
a
nges
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 3/many] remove UNDEFI
N
ED
fr
o
m
get
_
implie
d
_(min
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carpen
t
er
[pa
t
ch 2/
m
an
y
]
g
e
t
_implie
d
_value() sh
o
uld not retu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Ca
r
pe
n
ter
[patch 1/many] g
e
t
rid
of UNDEFINED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
rpenter
Add validation t
e
st for check_he
l
d_de
v
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next