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
param_mapper: add --param-mapper option
2009-12-30
Dan Carpen
t
er
param_mapper
:
a
d
d --
p
a
r
am-mapper o
p
ti
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
an Ca
r
p
e
nter
dma
on stack: elimin
a
t
e som
e
fal
s
e positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpe
n
ter
Add dma functions that map to usb_
c
ontrol_msg()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
penter
a
dd smatch_script
s
/trace_pa
r
ams
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
para
m
_
m
a
pper: i
n
iti
a
l
c
o
m
m
i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
dma_
o
n_stac
k
: &foo
m
eans it's
an error
too
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
D
a
n Carpenter
up
d
ate s
m
atch_data to 2
.
6
.
3
3-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
D
a
n Carpente
r
c
h
ec
k
_overfl
o
w:
fix crashing bug
(
divide by zero)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
D
an Carpen
t
er
chec
k
_overf
l
ow: fix crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Da
n
C
a
r
p
e
nter
a
d
d
a ch
e
ck for pa
s
s
i
ng stack variables to dma functions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
D
an Carpen
t
e
r
ch
e
ck_used_return
s
:
ignore inb,
i
n
w
,
a
nd inl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpe
n
t
e
r
update
v
alidation tests
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
check_overflo
w
: handle arr
a
y
s inside st
r
u
ct
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan
C
arpenter
F
i
x cr
a
s
hing b
u
g: func(
a
& b);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpenter
warn about if(x); type cod
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carp
e
nter
prec
e
den
c
e
:
warn ab
o
ut
:
if
(!a & b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan C
a
rpe
n
ter
err_ptr: it's
p
e
r
fectly ok to ret
u
rn
b
oth null and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpen
t
e
r
white sp
a
c
e chang
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
D
an Ca
r
penter
Remove hac
k
f
o
r ha
n
dling Ste
v
e
R
ostedt's i
f
conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpen
t
e
r
check_unus
e
d_ret
.
c: fix check for l
o
c
al variables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpe
n
ter
che
c
k_unused_ret
.
c
:
ignore
u
n
rea
c
h
a
b
l
e a
s
signme
n
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan
C
arpente
r
If --d
e
bug is passed the messages
f
rom the
f
irst pass
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
Ad
d
a
c
heck for
u
nused assi
g
n
ments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Da
n
Carp
e
nter
simp
l
e che
c
k
for f
o
rm
a
t
s
t
ring vu
l
nerabilit
y
commit
|
commitdiff
|
tree
2009-12-17
Dan Ca
r
penter
H
a
n
d
l
e
EXPR_FORCE_
C
A
S
T in __split_ex
p
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
D
an Carpenter
[patch 2/2
]
rede
f
ine SYM_
H
OOK
entirely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[patc
h
1/2] Change
d
efinition of S
Y
M_HOOK in smatc
h
_
hook
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carp
e
nter
&(fo
o
-
>
bar) is no
t
r
e
a
l
ly
a der
e
ference
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
change
e
xpression_stack to expression_list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
clean up
.
DEREF_H
O
OK ha
n
dling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
check_sig
n
ed:
make it depend
o
n --spamm
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Car
p
enter
check_
l
ocks: add
r
aw_local_
i
rq_
e
nable()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Carpenter
add check for pre
c
e
denc
e
errors like
if (
x
& y == 0
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
an Carpe
n
t
er
fi
x
selec
t
handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan C
a
rpenter
change
s
to co
m
ments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpente
r
add __smatch_not
e
(
"
hello
w
orld")
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpe
n
ter
patch up the new check_locki
n
g
.
c r
e
placement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
move check_win
e
_lockin
g
.
c
o
ver check_
l
o
c
king
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carp
e
nter
dele
t
e the old check_locking
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpent
e
r
Fix
c
rash
i
ng bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Da
n
Carpenter
separ
a
te
o
ut
the *_bh() lo
c
k handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Car
p
e
n
ter
fixes for unified wine & kernel
loc
k
ing
script
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan
Carpent
e
r
ge
t
_
typ
e
() return pointer for &foo type expressions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan C
a
rpenter
pr
i
nt message o
n
false compar
e
s be
c
ause of
signed vs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpe
n
ter
suppress gcc warning
.
whitespace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n Ca
r
pen
t
er
Merge branch 'ma
s
ter' of /home/d
c
arpenter/progs/sparse
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
an
Carpent
e
r
c
l
e
an
up kfree_s
k
b()
che
c
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Ca
r
penter
add
_
_smatch_cur_slist()
de
b
ug function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n Carpenter
i
d
is
s
upposed to be
u
n
signed s
h
ort
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Car
p
e
nter
f
ix crashing b
u
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
Start c
a
ring ab
o
ut the types
a little
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
clea
n
u
p:
u
s
e
s
ARRAY_
S
I
Z
E() macro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpen
t
er
Print name instead of ID in debug o
u
t
put
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Ca
r
penter
Add --project=ker
n
el to kchecker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpent
e
r
Star
t
mergin
g
the kernel locking an
d
wine locking checks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carp
e
nter
han
d
le if (*ptr ==
5)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Da
n
C
arp
e
nter
d
e
clare char*
a
s
const
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpenter
More range fixes
.
(Delete and merg
e
duplicates)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan C
a
rpenter
P
o
p the pre_condi
t
ion_stack at the correct point
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpen
t
er
f
i
x issue with
ranges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n
Carpenter
F
ix get_implied_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan
C
a
rpenter
Fix negat
e
bug
.
(Dereferencing undefined false posi
t
ive)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Car
p
e
nter
U
pdate comme
n
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Da
n
Carpenter
w
ine: wine_checker
.
sh for ch
e
cking individual
f
il
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpe
n
ter
wi
n
e:
a
d
d more fu
n
ctions
that don't
ret
u
rn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n
Carpenter
revert part
o
f f4a459292e33
9
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
s
m
a
tch
_
extra:
i
mprove and fix assignm
e
nt handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carpenter
sco
p
ed
_
state() make the parameter ord
e
r match
e
veryth
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arp
e
nte
r
checks: r
e
move some show_spe
c
ial() calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
sm
a
tch_helper
.
c
remove many calls to s
h
ow_s
p
ecia
l
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
small clean up
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
fix
b
ug
with fun
c
tion implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arpente
r
e
x
it and
ExitProcess don't
r
etur
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carpenter
s
m
atc
h
_ex
t
r
a
.
c: re
m
ove
s
ome show_s
p
ecial(
)
calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
an C
a
rpen
t
er
c
heck_deref_ch
e
ck: get rid of so
m
e fals
e
positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpenter
sp
e
llin
g
: memery
=
> m
e
mo
r
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carp
e
nter
d
i
sgusting hack
t
o stop false positive
b
u
ffer overflow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan C
a
rpent
e
r
Fix += and -=
h
an
d
ling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
wi
n
e: fix
some lock
n
a
m
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
Dan
C
a
r
penter
wine: RpcRaiseException never returns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-27
D
an Carpenter
add optio
n
--ful
l
-
pa
t
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
Dan
Car
p
e
nter
wine: check for locking bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-26
D
an C
a
rpenter
Fix some
r
ev
e
rsed if conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
ente
r
free ca
n
h
a
nd
l
e null po
i
nters: if (foo) free(foo);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Ca
r
p
enter
win
e
:
c
h
e
ck for WtoA cross
ca
l
ls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
ter
Add INVALID_HANDL
E
_
V
A
L
U
E check for
wi
n
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
r
penter
reco
m
pile all the checks
i
f smatch_ext
r
a
.
h change
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
ar
p
en
t
er
[patch 9/9] last patch to re
m
ov
e
UNDE
F
INED
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch
8
/m
a
n
y]
deal with
v
a
riable_non_zero()
(UNDEFINED)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpente
r
[p
a
t
c
h
7/many] no UNDEFI
N
ED fr
o
m
g
et_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[p
a
tc
h
6/many] remove UNDE
F
INED
from
l
ast
_
stmt_val()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
a
r
pe
n
ter
[patch
5
/many
]
g
e
t rid of a few mo
r
e UNDEFI
N
Es
smatc
h
_e
x
tra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[
patch 4/many] get ri
d
of
U
NDEF
I
NED
i
n
s
m
atch_ranges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carpenter
[patch 3
/
ma
n
y
]
re
m
ove UND
E
F
I
NED f
r
o
m
g
e
t_implied_(
m
i
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 2/many
]
get_implied_
v
alue() should not return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
[patch 1/many] g
e
t rid
o
f
U
N
DEFINE
D
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
ent
e
r
Add
v
alid
a
tion te
s
t
for check
_
hel
d
_
d
ev
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-25
Dan
Carpenter
M
ake some ker
n
el specific stu
f
f
d
epend on -
p
=kernel
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
Dan
Ca
r
pente
r
Add a ne
w
(soon to b
e
mandato
r
y
) --projec
t
= option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-24
D
an Carpenter
Make smatch
installa
b
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next