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
call tree: initial upload
2010-01-01
Dan Carpe
n
te
r
call tree: initial upload
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpen
t
er
d
m
a on stack:
move dat
a
to
s
match_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpenter
tr
a
ce_params
.
pl: rewrote so
it's faster
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
C
ar
p
enter
a
d
d
--p
a
ram-mapper bac
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n
Carpenter
cleanup up option pars
i
ng a little
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Car
p
enter
add option: --info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan C
a
rpen
t
er
redo ho
w
op
t
ions are p
a
rsed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpenter
cle
a
n
up: de
b
ug_implie
d
_states => option_
d
e
b
ug_i
m
plied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
c
leanup: debug_states =
>
o
ption_debug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carpenter
par
a
m_mapper:
a
dd --param
-
mapp
e
r opti
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
nt
e
r
dma on
stack: eliminate
s
ome false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
Add dma fu
n
ctio
n
s t
h
at map to u
s
b_control_
m
sg()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
an Carpent
e
r
a
dd smatch_scripts/trace_params
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Car
p
en
t
e
r
p
aram
_
mapper: in
i
tial commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpente
r
dma_on_stack: &foo means it'
s
an error to
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan
Car
p
e
nter
u
pdate smatch
_
data
t
o 2
.
6
.
3
3
-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan C
a
rpente
r
chec
k
_over
f
l
o
w: fi
x
crashing bug (divide b
y
zero)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan C
a
r
p
enter
check_o
v
erfl
o
w: fix
crashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan
C
arpenter
add
a check for
p
assing stack v
a
r
iables to dma fu
n
ctio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpenter
check_used_re
t
u
rns: ig
n
o
re inb, inw,
and
inl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
u
pd
a
te vali
d
ation
t
e
st
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
check_overflow:
handle arrays inside s
t
r
u
cts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
Fi
x
cra
s
hing bug: func(a & b);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carp
e
nter
warn about if
(
x); type
c
o
d
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpenter
pre
c
eden
c
e:
warn ab
o
ut: if (!a
&
b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Da
n
Carpenter
err_ptr: it's
p
erf
e
ctly ok to return both nu
l
l
and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n Carpent
e
r
whi
t
e spac
e
change
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpe
n
ter
Re
m
ove hack for handling
S
teve Roste
d
t's if conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Ca
r
p
en
t
e
r
c
h
e
c
k_unu
s
e
d
_ret
.
c: fix
che
c
k for local
var
i
ables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Da
n
C
arpenter
check_unused_ret
.
c: igno
r
e unreachab
l
e a
s
sign
m
ents
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
If --deb
u
g
is passed the mess
a
ges from the first
pass
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Da
n
C
arpenter
Add
a
che
c
k
for u
n
used assignm
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Da
n
Carpenter
simple check f
o
r fo
r
m
at
string vulne
r
ability
commit
|
commitdiff
|
tree
2009-12-17
D
an Carpenter
Handle
EXPR_FORCE_CAST in __split_
e
xpr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
D
an
Carpenter
[pat
c
h 2/2] redefine SYM_HOOK e
n
tirely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
D
a
n Carpenter
[patch 1/2
]
Ch
a
nge definition of SYM_HO
O
K
i
n smat
c
h_hook
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
D
a
n Carpe
n
t
e
r
&(foo->bar) is not reall
y
a
derefe
r
ence
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan C
a
rpenter
change expressio
n
_stack to expression_list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
D
a
n
C
a
r
p
enter
clean up
.
DEREF_HOOK han
d
ling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
C
a
rpenter
che
c
k_s
i
g
ned: m
a
ke it depend on --spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan
Carpenter
chec
k
_lo
c
k
s:
a
dd raw_local_irq_enable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan C
a
rpenter
a
dd c
h
eck fo
r
precedence errors lik
e
if
(
x & y ==
0
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpen
t
e
r
fix select handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Car
p
enter
cha
n
ges
t
o comment
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Car
p
ente
r
ad
d
__smatch_note("hello world")
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n
Carpenter
patch up the
new check
_
loc
k
i
n
g
.
c replacement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n
Ca
r
pente
r
move chec
k
_
w
i
n
e
_locking
.
c ov
e
r check_locking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
delete the
old check_lock
i
ng
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
F
i
x cra
s
h
i
ng bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpent
e
r
s
e
para
t
e
o
ut the *_bh() l
o
ck
h
a
n
dl
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan
Carp
e
nter
fixes for unified wine & ke
r
n
e
l l
o
cking
scri
p
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
get_type() return p
o
in
t
er
f
or &foo type e
x
pres
s
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan
C
arpenter
print message on
f
alse
c
o
m
p
a
r
es because of signed vs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan C
a
rpent
e
r
su
p
press gcc
w
a
rning
.
whitespace
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
Mer
g
e bra
n
ch 'master
'
of /home/dcarpenter/pr
o
gs/s
p
a
rse
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
C
a
rpenter
clean up kfree_skb() check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
add __smat
c
h_cur_
s
list()
d
e
bug f
u
ncti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
Carpe
n
ter
id
i
s
supposed t
o
be unsign
e
d short
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carp
e
nter
fix crashing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpent
e
r
Start caring abou
t
the types
a
little
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan C
a
rpenter
cleanu
p
: uses ARRAY_SI
Z
E()
macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Da
n
Carpenter
Print name instead of ID in debug out
p
ut
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan
C
arpenter
A
d
d
--project=
k
ernel to
kchecker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Start mergin
g
th
e
ker
n
el locki
n
g and wine l
o
c
king checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan
Carpen
t
e
r
handle if (*ptr == 5
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Ca
r
p
e
n
t
er
d
eclare ch
a
r* as con
s
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
D
a
n
Carpenter
More r
a
n
g
e
fixes
.
(Delete and mer
g
e duplicates)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpenter
Pop
the pre_con
d
it
i
on_stack at the
c
or
r
ect point
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpente
r
f
i
x is
s
u
e
with ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpente
r
Fix get
_
im
p
l
i
e
d
_val
u
e(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Fix negate bug
.
(Dereferencing undefined
f
alse posi
t
i
v
e
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
D
an
Carpen
t
e
r
Update comment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
D
a
n
Carp
e
nter
wine:
wine_checker
.
sh for check
i
ng indi
v
idual files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
D
a
n
C
arpen
t
e
r
w
i
ne: add mor
e
f
u
nct
i
ons that d
o
n't retu
r
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n
Carpenter
revert
part of f4a45
9
292e339
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
smatch_extra: improve and
f
ix
assign
m
e
nt
handlin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpent
e
r
scoped_state() make the parameter order match everything
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
c
h
eck
s
:
remov
e
s
o
me show_
s
p
e
cia
l
(
) calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Ca
r
pent
e
r
smatch_helper
.
c remove
m
any call
s
to show_special()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
small clean u
p
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
fix bug with functi
o
n implications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
C
a
rpen
t
e
r
exit and ExitP
r
oce
s
s don't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpenter
smat
c
h_extra
.
c: remove som
e
show
_
special() c
a
lls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpen
t
er
check_deref_check: g
e
t
rid of
s
ome false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Carpenter
spelling: m
e
m
e
ry =
>
memory
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpente
r
di
s
gu
s
ting hack to sto
p
fal
s
e positive
b
uffer overflow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
D
an Ca
r
pen
t
er
F
i
x
+=
a
nd -= handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpen
t
er
wine: fix
some lock na
m
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
D
a
n C
a
rpenter
wine: RpcRaiseExc
e
ption never returns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
a
d
d option --full-path
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpente
r
wi
n
e: c
h
eck
for lo
c
king bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
Dan C
a
r
p
ent
e
r
Fix
s
ome reve
r
se
d
if conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
free can handle nul
l
pointers: if
(
foo) free(foo);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Car
p
e
nter
wine: check fo
r
W
toA c
r
oss calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carp
e
nter
Add INVALID_HANDLE_VALUE check for wine
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpe
n
ter
recompile all the checks
if smatch_extra
.
h changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
an Carpen
t
e
r
[patc
h
9/9] last patch
t
o r
e
mov
e
U
NDEF
I
NED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
rpent
e
r
[
patch
8
/many
]
deal wit
h
varia
b
l
e_
n
on_zero() (UNDEFIN
E
D)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpente
r
[pat
c
h 7/many] no UNDEFINED
from get_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carp
e
nter
[pa
t
ch 6/many] remove UNDEFINED from last_stmt_val()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next