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
sm_info: fix formatting
2010-01-02
Dan
Carpenter
sm_i
n
fo:
fix format
t
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-01
Dan
Carpente
r
call tr
e
e: ini
t
ial upload
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan
Carpente
r
dma on
s
t
a
ck: move data to s
m
a
tch_d
a
ta/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpen
t
er
trace_p
a
ram
s
.
pl: r
e
wrote so
it's
f
aster
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add --param-ma
p
p
er back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpen
t
er
cleanup up opti
o
n
p
arsing a little
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpenter
add option:
-
-info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
redo how options are parsed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
an Carpent
e
r
cl
e
anup: debug
_
impl
i
ed_states => option_de
b
ug_implied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
cleanup: debug_states => opti
o
n_deb
u
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpent
e
r
par
a
m_mapper: add --param-map
p
er
o
p
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
d
m
a on
stack: el
i
minate some
fa
l
se
p
o
si
t
ives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpen
t
er
A
d
d dma functions that map to usb
_
c
ontro
l
_msg()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add
s
ma
t
c
h
_script
s
/trace_params
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
C
arpenter
pa
r
am_mapper:
i
ni
t
ial commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
dma_on_stack:
&foo mean
s
it's an error to
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Da
n
C
a
rpenter
u
pd
a
t
e smatch_data to
2
.
6
.
33-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpenter
check_overflo
w
: fix c
r
ashing bug (divi
d
e by z
e
r
o)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Car
p
e
nt
e
r
check_overflow:
f
ix crashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpe
n
t
e
r
a
dd a check
f
or pass
i
ng stack var
i
ables to dma functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
D
an
Carpenter
check_
u
sed_r
e
turns:
i
gnore inb, inw
,
and inl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Da
n
Car
p
enter
upd
a
te validation t
e
sts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
D
a
n Carpenter
check_overfl
o
w: ha
n
d
l
e arrays inside structs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
D
a
n Carpen
t
er
Fix crashing b
u
g:
func(a & b);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan C
a
rpe
n
t
e
r
warn abo
u
t i
f
(x
)
; type code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpen
t
e
r
precedence
:
warn about:
i
f
(!a
& b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
D
a
n
C
arpenter
er
r
_ptr: i
t
's
per
f
ec
t
l
y
o
k
t
o
return both
null and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan C
a
rpenter
white
s
p
ace chang
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
R
e
move hack fo
r
h
a
ndling Steve Rostedt's
i
f condit
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
D
an Ca
r
penter
check_u
n
use
d
_ret
.
c: f
i
x
c
heck
f
o
r
l
o
cal
v
a
riables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n
Carpente
r
ch
e
ck_unused_ret
.
c:
ign
o
re
unreachab
l
e as
s
ignme
n
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Ca
r
p
enter
I
f
--de
b
u
g
is passed the messag
e
s from the
f
i
rst
p
ass
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan
Carp
e
nter
Add a
c
heck for unused assignments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
simple check for fo
r
m
at string
vulner
a
bi
l
ity
commit
|
commitdiff
|
tree
2009-12-17
Dan
C
arp
e
nt
e
r
H
a
n
dle
E
XPR_FORCE_CAST in __split_expr
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[p
a
t
c
h 2/2] redefine SYM_
H
O
OK entirely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpent
e
r
[pat
c
h
1/2] Chan
g
e
definition of SYM_HOOK in
s
m
atc
h
_hook
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpen
t
er
&(foo->bar) is not really a dereference
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpen
t
e
r
change e
x
pressi
o
n_stack to expre
s
sion_l
i
st
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan
Carpenter
clea
n
up
.
DER
E
F_H
O
OK handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
c
heck_signed: m
a
ke
i
t dep
e
nd on --spa
m
my
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
D
a
n Car
p
ente
r
check_lo
c
ks: add raw_loc
a
l_i
r
q_
e
na
b
le()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Ca
r
p
enter
add check for pre
c
ede
n
ce erro
r
s like if (
x
& y == 0
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
f
i
x
s
elect handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
changes
to co
m
ment
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan C
a
rp
e
nter
add __smatch_n
o
te("hello world")
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
an Carpenter
patch up the new check_l
o
ck
i
ng
.
c replaceme
n
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpenter
mo
v
e
c
h
e
ck_
w
ine_locking
.
c over check_lockin
g
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpente
r
delete the old check_loc
k
ing
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
an Carpent
e
r
F
i
x crashin
g
b
u
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan C
a
rpenter
separat
e
out t
h
e *_bh() lo
c
k handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpenter
fixes
for
uni
f
ied wine & kernel lock
i
ng script
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
D
a
n Carpenter
g
et
_
type
(
) return pointer f
o
r &foo type expression
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
print message o
n
f
a
lse compares because
o
f
signed vs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan C
a
rpen
t
er
su
p
press gcc warning
.
wh
i
tespace
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
Merge branch 'master' of /home/dcarpenter/progs/sparse
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carp
e
nt
e
r
c
l
ean up kfree_sk
b
()
c
heck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
arpenter
add
__smatch_cur
_
slist() debu
g
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
id is sup
p
o
s
ed t
o
be u
n
signed
s
hort
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
fix crashin
g
bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
C
a
r
p
enter
Sta
r
t caring a
b
out the ty
p
e
s a little
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan
Carpenter
cleanup: uses ARRAY_SIZE() macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carp
e
nter
Print name instead of
I
D
i
n d
e
bug
o
u
tput
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
an Carpenter
Add --
p
roject=kern
e
l
to kche
c
ker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
an
C
arpe
n
ter
Start m
e
rgin
g
the
k
ernel
l
ockin
g
and wine locking checks
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
D
an Ca
r
penter
declare char* as const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan
C
a
rpenter
More range fixes
.
(Delete
a
n
d
merge duplica
t
es)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Da
n
Carp
e
n
ter
Pop the
p
re_condi
t
ion_stac
k
at
t
he correct
p
oint
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
Dan Ca
r
penter
fix issu
e
with
ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carp
e
nte
r
Fix get_impli
e
d_valu
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpent
e
r
Fix
negate
b
ug
.
(Dereferencing undefin
e
d false
posi
t
iv
e
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Car
p
enter
Up
d
ate
com
m
ent
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan
Ca
r
p
e
nter
wine: wine
_
checker
.
sh
f
or
c
h
eckin
g
i
n
divi
d
ual files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
D
an Carpenter
wine: add more functions that don't retu
r
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpenter
rev
e
r
t
part of f4
a
459292e339
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
a
rpenter
s
m
atc
h
_e
x
tr
a
: improve an
d
fix
a
ss
i
gnment handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carp
e
nter
scoped_state(
)
make the parameter orde
r
ma
t
ch everyt
h
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
checks: remove some show_special()
c
a
lls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Ca
r
penter
smatch_
h
elper
.
c
rem
o
ve many calls t
o
show_s
p
ecial()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
small
c
lean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Carpenter
fix
b
ug with function implications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpe
n
ter
exit and ExitProces
s
d
on't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
smatch_e
x
tra
.
c: r
e
move so
m
e
sh
o
w
_
specia
l
()
c
alls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Car
p
enter
check
_
deref_check: get
r
i
d o
f
som
e
false
p
o
si
t
ives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
an Carpe
n
ter
s
pelling
:
memery =>
m
e
mory
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Da
n
Carp
e
nter
d
i
s
gusting
h
ack to stop fa
l
se positive buffer overflow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpent
e
r
Fix +=
an
d
-= handlin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
w
i
ne:
fix some lock
names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Da
n
Carpente
r
w
ine:
RpcRaise
E
x
ce
p
tion nev
e
r returns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-27
Dan Carpenter
a
dd op
t
ion --ful
l
-p
a
t
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpenter
w
in
e
: check
f
or lo
c
k
ing
bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-26
Dan Carpenter
F
i
x some reversed if co
n
ditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan C
a
rpenter
free can handle nu
l
l pointers: if (
f
oo) free(foo);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan Carpenter
wi
n
e: check for
W
t
o
A cros
s
c
alls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpenter
Add INVALID_HAND
L
E_VALUE check for
wine
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Dan
C
arpen
t
e
r
recompile all the
checks if sm
a
tch_extra
.
h
c
h
an
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
a
n Carpen
t
er
[
p
atc
h
9/9] last
p
a
t
c
h t
o
remove UNDEFINED
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
D
an Carp
e
nter
[patch 8/
m
any] deal
with variable_non_zero()
(
U
N
D
EFINED)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-25
Da
n
Car
p
enter
[patch 7/many] no UNDEFINED from get_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next