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
db_info: remove unused print
2012-08-14
Dan Carpenter
db_info:
re
m
ove unused print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
n
ter
ex
t
ra, function_hooks, db: change cross functi
o
n analys
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b
: r
e
move the retu
r
n_in
f
o table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
sm
a
tch
_
d
ata: u
p
date the data dir
e
ctor to the late
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
arpenter
db: cal
l
er_i
n
fo: fix
mo
r
e
f
all out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
db: type_size: silence a per
l
warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: ca
l
ler_info:
u
pdate
f
ixup_kernel
.
sh t
o
the n
e
w
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra: get_implied_range_list(
)
should re
t
u
r
n 0 i
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
user_data
:
use the new
r
eturn_stat
e
s database table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an C
a
rpenter
user_
d
ata:
sysc
a
lls a
r
e a source of u
s
er data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpen
t
er
u
ser_data:
i
f "ptr"
i
s user da
t
a then "*ptr" is user
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Car
p
enter
user_data: ad
d
is_user_macr
o
() s
t
ub
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
user_data: skb->data is user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
ext
r
a: make a fu
n
ction static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: c
r
eate
r
eturn_stat
e
s
t
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
db: a
d
d get
_
return_id
(
)
a
nd return
marke
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
db:
i
mpro
v
e
err
o
r message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b
: caller_
i
nfo changes: store the calle
r
, pa
r
am =
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db:
a
dd re
t
u
rn_values tab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
err_p
t
r_deref: remove dupli
c
ate con
f
lic
t
ing
c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpenter
functi
o
n_hooks:
m
ove reg
i
stration to the right plac
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
O
ma
i
r Mohammed Abdullah
Fix bug in Makef
i
le that causes linking to
fail
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpenter
deref_check: remove dead
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Car
p
enter
mi
s
c
w
hi
t
e space f
i
xe
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Ca
r
penter
implied: chang
e
debugging ou
t
pu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
an Carpenter
c
hecks: get rid of some delete
_
state() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan
C
a
rpe
n
ter
de
r
ef_
c
heck: fix a fals
e
positive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Ch
r
istopher
Li
Fix
a
bug with variables name
d
"
x
8
6_64"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan
C
arpenter
sparse: c
o
mment out an internal
e
rror message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan
C
arpenter
Merge
g
it://g
i
t
.
ker
n
el
.
or
g
/pub/sc
m
/devel/spars
e
/
c
hris
l
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Da
n
Carpe
n
ter
*new* ass
i
g
n
_vs_compare: if ((x = <co
n
s
t
ant>
)
)
{
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n Carpenter
ranges:
i
ntroduce rl_contiguous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan
Carpenter
deref_chec
k
: silence some false posit
i
v
e
on cro
s
s f
u
nction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
an Carpe
n
t
er
fill_db
_
call_implies: check
c
orrect v
a
riable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_db_return_implies: de
l
et
e
the correct table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
D
a
n
Carpenter
p
o
inter_
m
ath: chec
k
ALI
G
N() macro math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
D
a
n Carpenter
help
e
r
:
handle
if
(WA
R
N_ON(
i
=
= ARRAY_SIZE(foo)) return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neuschäfer
smatch_scripts: fix spell
i
n
g
of "usage"
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neuschäfe
r
sma
t
ch
:
f
ix s
e
veral
t
ypos
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpen
t
er
assigned_expr: move check_assigned_exp
r
() to smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Car
p
enter
macro_side_e
f
f
ects: only ena
b
le when --spammy
is used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan
Carpe
n
ter
ignore
_
side_effec
t
s:
a
dd some more m
a
cros that hav
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpe
n
ter
buf_size: add --sp
a
m
m
y
to validation t
e
sts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
an
C
arpenter
overflow: re
m
ove strncpy() false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
Merge
branch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carp
e
nter
b
uf_size
:
t
ur
n
o
f
f buf size for &addresses unless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carp
e
n
t
e
r
flow:
h
andle the __noreturn__ at
t
ri
b
ute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpent
e
r
bu
f
_siz
e
: remove the &* and [0]
f
rom
around the poi
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
K
OSAKI Mot
o
hiro
sparse: Add '
e
rror'
t
o
i
gnored attrib
u
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohir
o
sparse: Add '__vector_size__' to ign
o
red
a
ttributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Car
p
ent
e
r
sm_buf: don't ret
u
r
n t
h
e max
i
mum store buffer size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
buf_size: return the size of &foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Car
p
enter
b
uf_size: ad
d
kmalloc_array() and
s
o
ck_k
m
alloc(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
buf_size: if
t
he membe
r
size is n
o
t know
n
t
h
en st
o
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carp
e
nter
M
er
g
e
bran
c
h 'buf_size' into de
v
el
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
arpent
e
r
Merge gi
t
://
g
it
.
k
ernel
.
org/pu
b
/scm/devel/sparse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Da
n
C
a
r
p
enter
b
u
f_size: first get the size
in bytes the
n
con
v
e
r
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size:
r
e
m
o
ve
cast_
r
atio()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
C
a
rp
e
nt
e
r
buf_size: fix bytes
_
per_
e
l
ement() for str
i
ngs and ar
r
a
ys
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
buf_size:
delete some duplic
a
t
e
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size:
p
refer the declared ar
r
ay
s
ize
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
e
r
buf_si
z
e: strcpy
(
) only sets the size of
t
he destination
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
C
a
r
penter
buf_size: ignore
casts
in get_a
r
ray_size_bytes(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Ca
r
p
enter
buf_size: cr
e
ate an elements_to_bytes() f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
buf_s
i
z
e
:
separate bytes_per_eleme
n
t() i
n
t
o its own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
buf_siz
e
:
u
sing ->
b
it_size doesn't
work for void pointers
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size:
u
s
e get_stored_size_byt
e
s() di
r
ect
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f
_s
i
ze: make get_stored_
s
ize_b
y
tes
(
)
a
separat
e
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_size: pu
l
l bytes_to_el
e
ments() in
i
ts
own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_size: c
a
lculate bytes per e
l
ement better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf_size:
a
d
d
a basic valid
a
t
i
on
test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpe
n
ter
bu
f
_size
:
if the size is variable pick the
l
arger one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
b
uf_siz
e
: m
o
ve
g
e
t_size
_
from_s
t
rlen() in
t
o it's own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n Car
p
enter
buf
_
size
:
pull get_size_f
r
o
m_i
n
itia
l
izer() into separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Car
p
enter
b
u
f_size: mov
e
g
et_st
o
r
e
d
_
si
z
e()
o
ut o
f
g
e
t_arr
a
y_size(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Carpenter
buf_size: pull handl
i
ng of norm
a
l array
s
into separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpente
r
buf_size: move some funct
i
ons around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n
Carpente
r
buf_size
:
add
mo
d
ification hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan C
a
rpen
t
er
debug: add a way t
o
debug buff
e
r si
z
es __sm
a
tch_buf_s
i
ze()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or v
s
and:
w
arn about bitwise ANDs
that always give
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Da
n
Carp
e
nter
Or
v
s and: if (foo & ZER
O
)
is
nonsen
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
D
a
n Carpent
e
r
function_hash: mak
e
i
t easi
e
r to handle a
f
ile
w
ith
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
Dan Carpenter
s
i
gned: unbreak
th
e
chec
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpe
n
t
e
r
ove
r
flow
:
update validation
tes
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
flow: h
a
ndle stru
c
t initial
i
z
a
tion better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n
C
arpen
t
er
flo
w
: h
a
ndle EXPR_OFFSETOF a
n
d EXPR_ALIGNOF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carp
e
nter
ov
e
rf
l
ow: ignore "x =
&
foo[ARRAY_SIZE(foo)]
;
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n Carpenter
overflow
:
w
h
ite sp
a
ce cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
an Carpenter
implie
d
:
t
he
base sl
i
st is not special
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpente
r
slist: c
h
ange format for d
e
bug ou
t
p
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n Carpenter
expressi
o
ns: introduce
s
ome more expression allocat
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpente
r
validation: update der
e
ference check
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan C
a
rpen
t
er
implie
d
: c
e
rt
a
in states
s
hould be left as i
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
slist: p
u
t the sm_state itself into ->po
s
sible not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Car
p
enter
s
l
ist: cleanup
merge_h
o
oks API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
extra:
d
o
n
'
t
cre
a
te a new
m
erg
e
d estate if
->right
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Ca
r
penter
estates: reuse same estate f
o
r
extr
a
_undefine
d
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
cons
t
raint
s
:
g
e
t rid of add
_
equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
penter
c
o
nstraints: remove
s
ome
d
ea
d
c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Car
p
enter
c
o
ns
t
r
a
ints: fix set_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next