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 Carp
e
nter
buf
_
s
i
ze,
db: i
f
a struct member
s
i
z
e
i
s set in
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-09
Dan Car
p
enter
check_kernel: fix ERR
_
PTR() false positiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpen
t
er
logical_i
n
stead_of_bitwi
s
e:
f
oo = (1
<< x) &&
y
;
is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-15
Dan Carpenter
lock
i
n
g: _bh lock fun
c
tio
n
s are nes
t
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpe
n
ter
extra
:
i
ntroduce filte
r
_
r
ange_li
s
t
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpente
r
kernel: h
a
nd
l
e
I
S_E
R
R() properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
p
e
nter
db_
i
nfo: remove unused prin
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpente
r
extra,
function
_
h
o
oks, db: change cross function
a
na
l
ysis
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
ar
p
enter
db: remove the return_info table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
smatch_data
:
update the d
a
ta d
i
recto
r
to the l
a
t
est
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: call
e
r
_i
n
fo: fix more fall out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: type_siz
e
:
s
ilen
c
e a perl
war
n
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
e
r
d
b:
caller_info: update fi
x
u
p_kernel
.
sh to th
e
n
e
w
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpent
e
r
e
xtra: get_implied_
r
ange_list(
)
should
retu
r
n
0
i
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
p
ente
r
u
ser_data:
u
s
e the new r
e
turn_stat
e
s database table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_
d
ata: syscalls are
a
source of user
d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Ca
r
pent
e
r
user_d
a
ta: if
"
p
t
r" i
s
user data then "*ptr" is use
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
ser_data:
add is_user_macro() stub
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_d
a
t
a:
skb->data is use
r
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
C
arpent
e
r
extra: make a funct
i
on static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpenter
d
b: create return
_
s
tates table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
d
b: ad
d
ge
t
_
r
e
turn_id()
a
nd return markers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Ca
r
penter
db: impr
o
ve err
o
r message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db
:
caller_info changes: sto
r
e th
e
caller
,
param =
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: add return_va
l
u
es t
a
b
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
er
r
_ptr_deref: r
e
move du
p
licate
conflic
t
i
ng code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
D
a
n Carpe
n
ter
f
unc
t
i
o
n
_
hooks
:
m
ove
r
egist
r
ation to the ri
g
ht
p
lace
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Dan C
a
r
penter
deref_check
:
remove dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
misc white space
f
i
x
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n Carpenter
implied: change debugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n Car
p
e
n
ter
checks
:
ge
t
rid of some de
l
et
e
_state() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carp
e
n
t
er
deref_
c
heck:
fix a false
p
o
sitive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
D
an Carpenter
s
p
a
rse: comment out an intern
a
l error messa
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carp
e
nter
Merge git:
/
/git
.
k
e
r
nel
.
org
/
pub/scm/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*new
*
assign_
v
s_compare:
if
(
(x
= <constant>)) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpent
e
r
ranges:
i
n
troduce rl_conti
g
uous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
dere
f
_che
c
k
:
silence
s
o
me false positive on c
r
os
s
functio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_db_call_implies: check correct
v
ariab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan
Carpenter
fill_db_r
e
turn_impl
i
es: delete the
correct ta
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
poi
n
t
er_
m
a
th:
check A
L
IGN() macro math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Da
n
Carpenter
hel
p
er: h
a
n
dle i
f
(W
A
RN_ON
(
i
== ARRAY_SIZE(foo)) return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Car
p
e
n
ter
assig
n
ed_expr: move check_
a
ssigned_expr(
)
t
o smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
D
an Carp
e
nter
macr
o
_side_effects:
only enab
l
e when --spammy
is used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Da
n
Car
p
enter
ig
n
o
r
e_s
i
d
e
_
e
ffects: add some more macros that h
a
v
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carp
e
nter
buf_size: add
-
-
spammy to
v
ali
d
atio
n
tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpen
t
er
ove
r
flow: remove st
r
ncpy() fal
s
e positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpen
t
er
Merge branch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpen
t
er
buf_size:
t
urn off
bu
f
size for &a
d
dresses un
l
ess
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
flow: handle
t
h
e __noreturn__ attribute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpenter
buf
_
size: rem
o
ve t
h
e &* and [0] fro
m
aroun
d
the pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
sm_buf:
don't
r
e
t
urn the maximu
m
store buff
e
r
s
i
ze
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan
Ca
r
p
e
n
ter
buf_size: return th
e
size of &foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
D
a
n Ca
r
p
enter
buf_size: add
k
mallo
c
_array() an
d
sock_kmall
o
c()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Da
n
Carpenter
buf_size: if the member size is not known
t
h
e
n
s
tore
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Car
p
e
n
t
e
r
Merge branch '
b
uf_si
z
e' into devel
commit
|
commitdiff
|
tree
2012-06-15
Da
n
Carpenter
Merge gi
t
://
g
it
.
k
e
rnel
.
o
rg/pub/scm/
d
evel/spa
r
se/sp
a
rse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
enter
buf_size: fi
r
st g
e
t
t
he siz
e
in b
y
tes then convert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_size: remove cast_ra
t
io()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size:
f
i
x by
t
es_per_element() for st
r
ings and arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
buf_s
i
ze:
delet
e
s
ome duplicate code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
bu
f
_size: pref
e
r the declar
e
d array
s
ize
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
a
rpenter
b
uf_si
z
e
:
strcpy() only sets t
h
e size of
the destinati
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
buf_size: ignore cast
s
in get_arra
y
_size_bytes(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: create an ele
m
e
nts_to_byte
s
() fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
p
e
nter
buf_
s
ize: sepa
r
a
te bytes
_
per_
e
l
e
ment() into its
own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_size: us
i
ng ->bit_size
d
o
esn't wo
r
k for void p
o
inters
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an
Ca
r
penter
buf_size: use
ge
t
_
s
tored_
s
ize
_
bytes(
)
d
i
rec
t
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpente
r
buf_size:
make ge
t
_
s
t
ored_siz
e
_byte
s
() a
s
epara
t
e function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpe
n
t
e
r
buf_
s
ize: pull
b
ytes_
t
o_eleme
n
ts() in its own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpen
t
er
buf_s
i
ze:
c
a
lculate bytes per element bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
e
n
te
r
buf_size: add
a
b
a
s
i
c v
a
lidat
i
on test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_
s
i
ze:
i
f th
e
siz
e
i
s
var
i
able
p
ick
t
he
lar
g
er one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf
_
size
:
move get
_
size
_
fr
o
m_strlen()
into it's own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size:
pull g
e
t_size_f
r
o
m
_initi
a
lizer()
into separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n Carp
e
nter
b
u
f_si
z
e: move get
_
stored_size() out of g
e
t_array_
s
iz
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpe
n
ter
buf_size: pull handli
n
g of
normal arrays i
n
to
s
epar
a
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size
:
m
o
ve some functions
a
round
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpe
n
ter
buf_s
i
ze:
add
m
od
i
f
i
cation hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan C
a
rp
e
nter
debug: ad
d
a way to debug buffer size
s
__smat
c
h_buf_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or vs and: warn
about
bitwise ANDs
t
hat alw
a
ys give
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carp
e
nter
O
r
vs and: i
f
(foo & ZERO)
i
s
n
o
nsense
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan C
a
rpen
t
er
f
u
nc
t
ion_h
a
sh:
make it e
a
s
i
er to handle a file wi
t
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
Dan
C
arpenter
sign
e
d: unbreak the check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
overflo
w
:
update v
a
lidatio
n
t
e
st
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
D
an Carpent
e
r
flow: handle struct initiali
z
a
t
i
o
n better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n
Carpe
n
ter
flow: handl
e
E
X
P
R
_
O
FFSET
O
F an
d
EXPR_ALIGNO
F
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan
C
arpenter
overflow
:
ignore "x = &foo[A
R
RAY
_
SIZE(fo
o
)];"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Ca
r
penter
overflow:
whit
e
s
p
ace cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan C
a
rpente
r
implied: the base sl
i
st is not spec
i
al
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
an
C
arpenter
sli
s
t
: change format for de
b
ug ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n Carpe
n
te
r
ex
p
ressions: intr
o
duce som
e
m
ore expressi
o
n
a
l
l
ocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
D
a
n Carpenter
va
l
i
dation: update
de
r
eference check output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan C
a
rpenter
implied:
c
e
rtain states shou
l
d be left
a
s is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan C
a
rpente
r
slist:
put th
e
s
m
_state its
e
lf
i
nto
-
>possible not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpent
e
r
slist: cleanup merg
e
_hooks
A
PI
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
extra: don't cr
e
ate
a new merged esta
t
e i
f
->right
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carpenter
estates: reuse
s
ame estat
e
for ext
r
a_undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpenter
constrai
n
t
s
: get rid of add_equiv(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpen
t
e
r
constraints:
r
emove some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: f
i
x set_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next