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
Dan Carp
e
nter
int
r
o
d
u
ce: get_dinfo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
che
c
k_o
v
erflow:
hand
l
e
addre
s
s
es di
f
ferently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Da
n
Carpenter
smatch_ex
t
ra:
c
lean up
.
state can never be &me
r
ge
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan
C
arpenter
check_overflow
:
ignore the last member of st
r
ucts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan
C
arpenter
smatch_extra: I
d
o
n't lik
e
empty ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
add smatc
h
_scri
p
ts/gen_array_b
o
unds
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n Carpenter
sma
t
ch
_
data
/
kernel
.
array_bounds
.
re
m
ov
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Da
n
Carpenter
che
c
k_overflow: an a
n
"
err
o
r: " prefix to a pr
i
ntf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
rpenter
smatch_
s
cripts/show_un
r
ea
c
hab
l
e
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
new script:
sh
o
w_ifs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
intr
o
duce get
t
ing_address()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
rpenter
u
pdate
smatch
_
scripts/
becaus
e
of --info format
ch
a
nges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
rp
e
nt
e
r
check offset
a
fter use: ignore foo = &array
[
bar];
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n Carp
e
n
t
er
check
_
overflow:
m
ove some more stuff under the
--info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n Carp
e
nter
clean
up output: warning: =
>
wa
r
n:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
an Ca
r
penter
modification_hook: -- and ++
are modif
i
ca
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-06
D
an Ca
r
pente
r
I
t
m
a
k
es sense
to check an
array offset if
i
t h
a
s be
e
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
c
heck
_
overflow: separa
t
e the
t
wo types
of st
a
tes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Da
n
Carpenter
Fix prec
e
dence/c
r
ashing bug che
c
k_over
f
l
ow
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Da
n
Carp
e
n
ter
c
h
ec
k
_overflow: chec
k
f
o
r limiting offset
a
fter u
s
ing
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpente
r
introduc
e
all
o
c
_
state_n
u
m()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan C
a
rpenter
cleanup: rename
a
lloc_state() => a
l
l
o
c
_sm_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Car
p
ent
e
r
introdu
c
e
get_fuzzy_ma
x
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Ca
r
p
e
n
t
er
call_tree
.
pl: make it an int
e
r
a
c
t
i
ve
p
rogr
a
m
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan
C
arp
e
nt
e
r
cre
a
t
e get_implied_range_
l
ist
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
s
m
_info: fix formatting
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carpenter
call
t
ree: initial upload
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpe
n
ter
dm
a
on stack: move data to
s
m
atch_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpent
e
r
trace_para
m
s
.
pl:
rewro
t
e so
it
'
s
f
aster
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add --param-mapper back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpe
n
ter
cleanup up
o
pti
o
n parsing a little
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpent
e
r
a
d
d option: --in
f
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpente
r
redo ho
w
options
a
re
p
ar
s
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
penter
clean
u
p:
d
ebug_implied_
s
tates
=
> option_debug_implied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpent
e
r
cl
e
a
n
up: debug_state
s
=> o
p
t
i
o
n
_deb
u
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
param
_
mapper
:
add
--param-mapper option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
ter
dma on stac
k
: eliminate s
o
me
f
alse positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
a
rpent
e
r
Add dma functions that map to usb_co
n
trol_
m
sg()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
nter
add smatch_scr
i
p
t
s
/
trace_params
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Car
p
e
n
t
er
param_mapper: i
n
i
tial commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
an
Carpenter
dma_on_st
a
ck: &foo me
a
ns it's an error too
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Car
p
enter
up
d
ate sm
a
tch_data to 2
.
6
.
33-rc
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
D
a
n Carpen
t
er
check_overflow: fix cras
h
ing
bug
(
divide by
zero)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpenter
c
heck_overflow: fix cras
h
ing b
u
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpe
n
ter
add
a c
h
e
c
k
for passing s
t
ack variables t
o
dma func
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
D
a
n Carpen
t
er
che
c
k
_
used_returns: ig
n
ore inb, i
n
w,
and inl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpent
e
r
u
pdate
validation tests
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan
C
ar
p
enter
check
_
o
ve
r
f
low: handle arrays inside stru
c
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpente
r
Fix crashing bug: func(a
&
b);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpent
e
r
warn abo
u
t if(x); typ
e
code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan
C
arpenter
precedence:
w
arn abou
t
: if (!a & b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Ca
r
pen
t
er
err_ptr: it's pe
r
fectly
ok to return bo
t
h null and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan
Carpente
r
w
hi
t
e s
p
ace c
h
ang
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n C
a
rpente
r
Remove hack for h
a
ndling Steve R
o
stedt's if conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
check
_
u
n
used_
r
e
t
.
c
:
fix
c
heck f
o
r
local var
i
ables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan
C
arp
e
n
t
er
check
_
unu
s
e
d
_ret
.
c
: ignore
unr
e
achable assignments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
I
f --debug is passe
d
the
messages from the first pass
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan
Ca
r
pen
t
er
Ad
d
a
c
heck f
o
r
unused assignme
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
D
a
n C
a
rpenter
simple
check for format st
r
ing vulnera
b
ility
commit
|
commitdiff
|
tree
2009-12-17
Dan C
a
rpenter
Hand
l
e E
X
PR_FORCE_CAST
in __split_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[pa
t
ch 2/2] re
d
efine SYM_HOOK entire
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[p
a
tch
1
/
2] Change defi
n
ition of SYM_HOOK in s
m
a
t
ch_
h
ook
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
Carpenter
&(foo->ba
r
) is no
t
really a derefer
e
n
c
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpen
t
er
change expressi
o
n_sta
c
k
t
o
expressi
o
n_list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
D
a
n Car
p
e
n
ter
clean up
.
DEREF_HOOK handlin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan
Carpenter
check_signed: make it depend on --spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpen
t
er
c
heck_locks: add raw_l
o
c
al_irq_enable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
an Carpenter
add
c
he
c
k for prece
d
ence errors lik
e
if (x
& y
=
= 0
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n
Carp
e
n
ter
fix select handli
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpe
n
ter
change
s
t
o
comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpent
e
r
add
__smatch_note("hello world")
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpe
n
ter
patch up the n
e
w check_locking
.
c replacement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpenter
m
o
ve check_win
e
_
locking
.
c o
v
e
r
c
heck_lock
i
ng
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Ca
r
pent
e
r
de
l
ete the old check_locking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
Fix crashing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
D
an Carp
e
n
ter
separate out the *_bh() lo
c
k ha
n
dling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan
C
arpenter
fi
x
es for unified wine &
k
e
r
nel lo
c
k
i
n
g scri
p
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan
C
arp
e
nter
get_type() re
t
urn pointe
r
for &fo
o
type expressions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carp
e
nter
print
m
essage on false
com
p
are
s
be
c
au
s
e
of
signed vs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
s
uppress gcc warning
.
wh
i
tespa
c
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
Carpenter
Mer
g
e branch '
m
aster' of /ho
m
e
/d
c
arpenter/progs/
s
p
a
rse
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
cl
e
an up kfree_skb() che
c
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n
Carpe
n
ter
add __smatch_cu
r
_
s
list() d
e
bug f
u
n
ction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
an
C
a
r
pent
e
r
id is supposed to be
u
nsi
g
ned
s
hort
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Ca
r
penter
fix cras
h
ing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
an Carpenter
Start caring about t
h
e
types a little
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carp
e
n
ter
cleanup: us
e
s
ARRAY_S
I
ZE(
)
macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Car
p
enter
Prin
t
n
a
m
e
i
n
ste
a
d
o
f ID in debug outp
u
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Car
p
e
n
ter
Add --projec
t
=kernel to kche
c
k
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan
Carpenter
St
a
rt mer
g
i
ng the ker
n
el locking and wine locking checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Ca
r
pe
n
te
r
handle
i
f (*ptr ==
5
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
declare char* as const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carp
e
nter
More
r
ange
fixes
.
(Delet
e
a
nd
merge duplicates)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpenter
Pop
the pre_condition_stac
k
at the corr
e
c
t
point
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpenter
fix i
s
sue with ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Da
n
Carpenter
Fix get
_
implied_value(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpente
r
F
ix nega
t
e bug
.
(Dereferencin
g
u
ndefined f
a
l
s
e posit
i
ve
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n Carp
e
nt
e
r
U
p
da
t
e
c
omment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wine: wine_chec
k
er
.
sh for chec
k
ing individual files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
D
a
n
Carpent
e
r
wine
:
add
m
o
r
e fu
n
ctions that don'
t
return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next