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
buf_size, db: if a struct member size is set in the file that's the size
2012-09-11
Dan C
a
rpenter
buf_size
,
db: if a struct member size is set
in
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan Ca
r
pe
n
ter
check_kernel:
f
ix ER
R
_PTR() false
p
o
s
itives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
D
a
n Carp
e
n
t
er
logic
a
l_inste
a
d_of_bitwise: foo
=
(1 << x) && y; is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
Dan
C
arpenter
locking: _bh loc
k
functions are nes
t
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra: introdu
c
e filter_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpe
n
t
e
r
kernel: handle I
S
_E
R
R(
)
properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpenter
db
_
i
nfo: remove
u
n
u
sed print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
a
rpenter
e
xtra, function_h
o
oks, db: change cros
s
function analys
i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
C
arp
e
n
ter
d
b
: rem
o
ve the r
e
turn_in
f
o table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
sm
a
tch
_
d
ata: upda
t
e
the data director to the latest
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
pent
e
r
d
b
:
ca
l
ler_info
:
fix more fall out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
a
rpe
n
ter
d
b: typ
e
_siz
e
: silence a perl warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arp
e
nt
e
r
db: caller_in
f
o: upd
a
te fixup_kerne
l
.
sh to the new
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
extra:
g
et_implied_range_list() should return 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arp
e
nter
user_
d
ata: use the
new
return_states d
a
ta
b
ase
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Car
p
e
nter
user
_
dat
a
: syscal
l
s
a
re
a
source of user d
a
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
user_data:
if "ptr" is
us
e
r data then "
*
ptr" i
s
u
ser
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
use
r
_data: add i
s
_user_macro()
s
tub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
user
_
d
at
a
: skb->
d
ata
is
u
s
er da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
pent
e
r
e
x
tra: make
a
func
t
i
on
static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: create
r
eturn_states table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
db:
add get
_
r
eturn_id() and return mar
k
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db
:
improve error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
db: caller_info changes
:
store the caller, param =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
db: a
d
d return_values table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
err_ptr_deref: remove dup
l
icat
e
conflic
t
i
n
g code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan Car
p
enter
function_hoo
k
s: mov
e
r
egistra
t
io
n
to the right p
l
ace
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
O
m
air Mohammed
Abdullah
Fix bug in
Makefile that causes linkin
g
to
f
a
il
commit
|
commitdiff
|
tree
2012-08-09
Dan
C
a
rpenter
d
e
ref_ch
e
ck: remove
dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
m
i
sc white
spa
c
e fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpen
t
er
i
m
plied: chang
e
debugging
o
utp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpent
e
r
checks: get
ri
d
of some
delete_state() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n
Carpe
n
t
er
dere
f
_check: fi
x
a false positi
v
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
C
h
ristophe
r
Li
Fix a bug w
i
t
h
variables named
"
x86_64"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan
C
arpent
e
r
s
p
a
rse: comment out an internal
error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpe
n
ter
Merge git://git
.
kernel
.
org/pub/scm/devel/
s
parse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
D
an Carpenter
*new* a
s
sign_vs_compare: i
f
((x = <
c
on
s
tan
t
>))
{
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Car
p
ente
r
ranges: introd
u
c
e
rl_co
n
tiguous(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
Car
p
e
nter
d
e
ref_check: silence some fa
l
s
e pos
i
tive
o
n cross fu
n
ct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpe
n
ter
fill_db_call_implies: check correct variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpe
n
ter
fil
l
_db_re
t
urn_im
p
lies: delete th
e
corre
c
t table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Da
n
Carpenter
pointer_
m
a
th
:
check ALIGN() ma
c
ro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
h
e
lper: handle
if (WARN_ON(i =
=
ARRAY_SIZE(
f
oo)) r
e
tu
r
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan N
e
uschäfer
s
m
atch_scri
p
ts
:
fix spelling of
"usage"
commit
|
commitdiff
|
tree
2012-07-02
J
o
nathan
Neusc
h
ä
fer
smatch: fix several t
y
po
s
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
assign
e
d_
e
xpr: move check_assigned_expr() to smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Da
n
Carpenter
m
a
cro_side_e
f
f
ect
s
:
only enable when
--spa
m
my i
s
u
sed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpe
n
ter
ignore_side_effects: add some
m
ore macr
o
s
t
h
at have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an Ca
r
pe
n
ter
buf_
s
ize: add --spammy t
o
v
a
lidati
o
n
tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an Carpenter
o
v
er
f
l
o
w: remove
s
tr
n
cpy() false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpente
r
Merge branch 'de
v
el
'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpen
t
er
buf_size: turn off buf s
i
z
e f
o
r &addresses un
l
es
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
a
rp
e
n
ter
flow: handl
e
the
_
_noreturn__
a
ttri
b
u
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpe
n
ter
buf_size:
r
emove the
&* and [0
]
from arou
n
d
t
he
p
oin
t
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohi
r
o
spar
s
e: Add 'error' to ignored att
r
ib
u
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSA
K
I
Motohiro
s
p
arse: Add '__vector_size__' to ignored attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan
Ca
r
p
ent
e
r
sm_buf: don'
t
return the
m
ax
i
m
u
m store buffer size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan C
a
rpe
n
t
e
r
buf_size: return the size of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
arpenter
buf_size
:
add
kma
l
loc_a
r
r
a
y()
and
s
ock_kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
D
a
n
Carpenter
bu
f
_size: if the
m
e
m
b
er size is not kn
o
w
n
then stor
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan C
a
rpent
e
r
Merge branch
'
buf_size' i
n
to de
v
el
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Merge gi
t
://
g
it
.
kernel
.
or
g
/pub/scm/devel/s
p
arse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_size: first
get the
s
iz
e
i
n bytes t
h
en co
n
vert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_s
i
ze: remove cast
_
rat
i
o()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
C
a
rpenter
buf_size:
f
i
x
byte
s
_per_
e
lemen
t
() for strings and
a
rrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
buf_size:
d
elete
s
ome dup
l
icate code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carp
e
n
ter
bu
f
_size
:
pr
e
fer t
h
e d
e
clared arr
a
y size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Ca
r
pent
e
r
buf_si
z
e: s
t
rcpy() only
sets th
e
size
of the destina
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpenter
buf_s
i
ze: ig
n
o
re casts in
g
et_arr
a
y_size_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rp
e
nt
e
r
bu
f
_size:
c
reate
a
n
elements_to
_
b
y
t
es
(
)
func
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpent
e
r
buf_size: separa
t
e
b
ytes_per_element() into it
s
own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Ca
r
pente
r
buf_size: using ->
b
it_size doesn't work
for vo
i
d
po
i
nters
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: use
g
e
t_st
o
red_s
i
ze_bytes()
d
irectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
e
n
ter
buf_size: make get_stored_size_b
y
tes() a s
e
p
ara
t
e fu
n
ct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
buf_size: pull byt
e
s_to_
e
lement
s
() in its o
w
n
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
buf_size: calculate bytes per element
b
e
t
te
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
buf_
s
ize: add a basic validation tes
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carp
e
nt
e
r
buf_size: if the size is
v
ar
i
able p
i
ck the larger one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n Carpenter
buf_si
z
e:
m
ove get_size_from_strlen
(
) into it'
s
ow
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpen
t
er
bu
f
_size:
pull
g
et
_
size_f
r
om_initializer() into sep
a
r
ate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
penter
buf_s
i
ze:
m
o
ve get
_
s
t
or
e
d_
s
i
ze() out of get_a
r
ray_size
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan C
a
rpente
r
b
u
f_size: pull
h
andling of
normal arrays into separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
an
C
a
r
penter
buf_size: move some fu
n
ctions around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size: add
m
odif
i
cat
i
on hoo
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
an
Carpent
e
r
d
ebu
g
: add a way to debug
buffer size
s
__smatch_buf_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or vs and: wa
r
n about
bitwise
A
N
D
s
t
hat always give
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or vs and: if
(
foo & ZERO) is
nonse
n
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan
C
ar
p
enter
fun
c
tion_hash:
make it eas
i
er to ha
n
dle a file with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
D
a
n Carpent
e
r
si
g
ned: un
b
reak t
h
e check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan
C
arpen
t
er
overflow: upd
a
te valid
a
tio
n
test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
flow: handle
s
truc
t
initi
a
lization
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
D
an Car
p
ente
r
flow:
h
andle EXPR_OFFSE
T
OF and
E
XPR_
A
L
I
GNOF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Car
p
enter
overflow: i
g
nore "x = &f
o
o
[
ARR
A
Y_SIZE(foo)];"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan
C
a
rpenter
overflow: w
h
ite
s
pace cl
e
a
n
ups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
implied
:
t
he base sli
s
t is not spe
c
ial
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n Car
p
enter
sl
i
st: change fo
r
mat f
o
r
debug outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Car
p
enter
expr
e
ssions: introduce
s
ome mor
e
ex
p
ression al
l
ocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
D
a
n Carpe
n
t
e
r
validation: u
p
d
a
te dereference chec
k
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Da
n
C
a
rpent
e
r
implied: certain states should
b
e
left as
is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
D
an Car
p
e
n
te
r
slist: pu
t
th
e
sm_
s
tat
e
itself into
-
>pos
s
ib
l
e not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next