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
introduce: get_dinfo()
2010-01-08
D
an
C
a
r
pent
e
r
in
t
roduce:
get_din
f
o()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n Carp
e
nter
check_o
v
erf
l
ow: ha
n
dle
addre
s
se
s
di
f
ferently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
smatch_extra: c
l
ean up
.
s
t
ate
c
an never be &merged
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpe
n
t
er
check_overflow:
i
gnore the last member o
f
s
t
ructs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpen
t
e
r
smatch_extra: I do
n
't
l
ike emp
t
y ranges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
add smatc
h
_scripts/gen_array_bound
s
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan C
a
rpente
r
smatch_
d
ata/ke
r
nel
.
array_bounds
.
r
e
move
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Ca
r
penter
che
c
k_over
f
low: an a
n
"
error:
"
p
refix to a printf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n
Carp
e
nte
r
smatch
_
scripts/show_u
n
r
e
ach
a
b
l
e
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Da
n
C
arpe
n
ter
new
script: show_ifs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpent
e
r
intr
o
duce getting_a
d
dress
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Car
p
enter
upda
t
e
smatch_sc
r
ipts/ because
o
f --info format chang
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Car
p
e
nter
check offset a
f
t
e
r
u
se:
ignore f
o
o = &array[bar];
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
check_overf
l
o
w: move s
o
me more stu
f
f
u
nder the
--info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
an Ca
r
penter
clean u
p
o
u
tput: warn
i
n
g
:
=> w
a
rn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
modification_hook: -- and ++ a
r
e modifications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-06
Dan Carp
e
nter
It makes
se
n
se t
o
check an array offset if it has been
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
D
an
Carpenter
check_overflow: separate the tw
o
t
y
pes of st
a
te
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
Fix precedence/crashin
g
b
ug check_o
v
er
f
low
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpente
r
c
heck_overflow:
check for
limiting offset
after
u
sing it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Ca
r
penter
introduce alloc_s
t
ate
_
num
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan
C
a
rp
e
nter
clean
u
p:
rename a
l
loc_state() => alloc
_
sm_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan
Ca
r
penter
introduce g
e
t_fuzz
y
_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan
C
arpenter
c
all_tr
e
e
.
pl
:
make
i
t an
i
n
t
eracti
v
e pr
o
gram
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
create g
e
t_implied_range_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan
Car
p
e
n
ter
sm_info: fix fo
r
mattin
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carpenter
c
all tree: initial upload
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan
C
arpen
t
er
dma on stack
:
move
d
ata
t
o s
m
atch_dat
a
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
D
a
n Carpenter
t
race_params
.
p
l
: rewrote so it's
f
ast
e
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Carpenter
add --param
-
map
p
e
r
back
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n
Carpente
r
c
l
eanup up o
p
tion pa
r
sing a little
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add opt
i
on:
-
-
i
n
fo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
pe
n
ter
r
edo
how options are parsed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
cleanup: debug_implied_states => option_debug_implied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpenter
clea
n
u
p
: debug_
s
tates => op
t
ion_de
b
ug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Car
p
enter
par
a
m_mapper: add
-
-
p
a
ram-ma
p
per
option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
d
m
a
on stack
:
eliminate som
e
fa
l
se positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
nter
Add dma functio
n
s that map to usb_
c
ontrol_msg()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add smatch_sc
r
ipts
/
t
race_par
a
ms
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
pa
r
am
_
mapper: ini
t
ial
c
ommit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Car
p
en
t
er
dma_on_stack: &foo means it's an error t
o
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpen
t
er
update smatch_data to 2
.
6
.
33-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
D
an Carpen
t
e
r
che
c
k
_over
f
l
o
w:
f
i
x
crashin
g
bug (divide by ze
r
o)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpent
e
r
check
_
overflow:
fix crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Dan Car
p
enter
add a
c
h
e
ck
fo
r
passing
stack variables
to
d
ma f
u
nctions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpen
t
er
che
c
k_use
d
_returns: ignore inb, inw, and inl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan
Carp
e
nter
update
valid
a
t
ion tests
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
D
a
n Carpenter
chec
k
_overflow: han
d
le
arrays inside str
u
cts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
Fix cras
h
ing b
u
g:
f
unc
(
a & b);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpenter
warn about
i
f
(x
)
;
type co
d
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpenter
pre
c
e
d
ence:
w
ar
n
about: if (!a & b)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Ca
r
pe
n
ter
e
r
r_
p
t
r:
it
'
s
p
erfe
c
tly ok to retur
n
both null
and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan
Carpenter
white
s
pace c
h
ang
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
Remov
e
hack for handling S
t
eve Rostedt's if
co
n
ditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
che
c
k_
u
nuse
d
_
r
et
.
c: fix check for loc
a
l
v
ariables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpe
n
ter
check_un
u
s
e
d_ret
.
c: ignore unreacha
b
l
e
as
s
ignments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan
Carp
e
n
ter
I
f
-
-debug is
passed th
e
me
s
s
ages from the first pass
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan
C
arpen
t
er
Add a chec
k
for
unused assig
n
ments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
D
an Carpenter
simple check for f
o
rmat
string vulnerability
commit
|
commitdiff
|
tree
2009-12-17
D
a
n
C
a
rpenter
Handle EXPR_FORC
E
_CAST in __split_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[
p
atch 2/2] redefine
S
Y
M_HOOK entirely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
D
a
n
C
arpenter
[patc
h
1/2] Change
d
efinit
i
on o
f
S
YM_HOOK in sm
a
tch_hook
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
D
a
n Carpent
e
r
&(foo->bar) is not really a dereference
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
D
a
n Carpenter
ch
a
n
g
e expression_stack t
o
expression_list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
clean up
.
DEREF_HOOK handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carp
e
nt
e
r
c
h
eck_signed: mak
e
it depend on --spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan C
a
rpente
r
check_locks: add r
a
w_local_irq_enable
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpente
r
a
d
d che
c
k for precedence errors like if
(x &
y
=
= 0
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carp
e
n
ter
fix s
e
lect
h
andling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
an Carpent
e
r
c
h
anges
to c
o
mmen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan C
a
rpen
t
e
r
add __s
m
atch_note
(
"hello
w
orld")
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpente
r
pa
t
ch
u
p
the
n
ew ch
e
ck_l
o
cking
.
c
r
eplacemen
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Car
p
e
nter
move check_wine_locking
.
c
over check_locking
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n
C
ar
p
e
nter
delete
t
he old check_loc
k
ing
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
Fix cras
h
ing bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
D
an
C
a
r
p
e
nter
sep
a
rat
e
out
the
*
_bh() lock handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Da
n
Carpe
n
t
e
r
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
get_type() retur
n
p
oint
e
r for &foo
type expressions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpe
n
ter
pr
i
nt message on false compares because of si
g
n
ed v
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpent
e
r
s
u
ppre
s
s gcc warning
.
whitespace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpe
n
te
r
Merge branch 'ma
s
te
r
' of /h
o
me/dcarp
e
nter/p
r
ogs
/
sparse
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpen
t
e
r
clean u
p
kfree_skb()
c
he
c
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carp
e
nter
a
d
d
_
_smatch_cur_slist() debug fu
n
ction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpent
e
r
i
d
is su
p
posed to b
e
u
n
sign
e
d short
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n
Carpen
t
er
f
i
x
crashing bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
Start caring about
the ty
p
es a l
i
ttle
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carpenter
cleanup: uses ARRAY_SIZE()
macr
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Print name inste
a
d
of
ID in deb
u
g
o
u
t
put
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Ad
d
--project=k
e
rnel to kchecker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Start merg
i
ng th
e
ke
r
n
e
l lock
i
ng and wine locking checks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan C
a
rpen
t
er
ha
n
dle if (
*
ptr == 5
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carpent
e
r
decl
a
re
c
ha
r
*
a
s c
o
nst
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carp
e
n
ter
More
r
an
g
e fixes
.
(Del
e
te a
n
d m
e
rge
d
uplicates)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
D
a
n Carpenter
Pop the pre_cond
i
tion_stack at the correct poin
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpen
t
er
fi
x
issu
e
with ran
g
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Fix get_implied_
v
al
u
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Fix negate bug
.
(
Derefere
n
c
ing
u
ndefined false posit
i
ve)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan C
a
rpenter
Update comment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carp
e
n
t
e
r
w
i
n
e
: w
i
ne_
c
hecker
.
sh f
o
r checking ind
i
vidual files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Da
n
Carpenter
wine:
a
dd mor
e
func
t
i
o
ns
that
d
on't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next