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 C
a
rpe
n
t
e
r
db_in
f
o: remove
u
nuse
d
print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
rpenter
extra,
f
unction_hoo
k
s, db: change
c
ross
f
un
c
tion analysis
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
d
b
: remove
the retu
r
n_info
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpe
n
ter
sma
t
ch_
d
ata: upd
a
te the dat
a
director to the la
t
est
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
db: caller_in
f
o: fix
m
or
e
fal
l
out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
rpenter
db:
t
ype
_
size: s
i
lence
a
perl w
a
rning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
db: caller_i
n
f
o
: upd
a
te
f
i
x
up
_
ker
n
el
.
sh to the new
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra: get_imp
l
ie
d
_ra
n
ge_list(
)
should
ret
u
r
n
0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
user_data: use the new return_st
a
tes
databa
s
e table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
C
arpenter
user_data
:
s
yscalls are a s
o
u
rce of user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
s
er_
d
ata
:
if "ptr
"
is
user data the
n
"*ptr" is user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
pen
t
er
u
s
er_data: add is_
u
s
e
r_m
a
cr
o
()
stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
use
r
_data: sk
b
->data is user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Ca
r
p
e
nter
extra: m
a
ke a function stat
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpe
n
ter
db: create return_states
t
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carp
e
nter
db:
a
dd get_retu
r
n_id() and
return markers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: impro
v
e e
r
ror messa
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
db: c
a
ller_inf
o
ch
a
nges: store the caller, param =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
r
penter
db
:
add
r
eturn
_
values table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
err_ptr_d
e
ref:
remov
e
d
uplicate
c
onf
l
ict
i
ng co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan
C
arpenter
f
u
nction_hook
s
: move re
g
i
stration to the right place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
O
m
air Mohammed A
b
dullah
Fix bug i
n
Ma
k
ef
i
le th
a
t
c
auses lin
k
ing to fai
l
commit
|
commitdiff
|
tree
2012-08-09
Dan Ca
r
p
e
nter
d
e
ref_check: remo
v
e de
a
d code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Ca
r
pent
e
r
misc w
h
ite s
p
ace fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carp
e
nter
implied: change d
e
buggin
g
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpent
e
r
c
h
ecks
:
get
rid of some
d
elete_state() call
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpen
t
er
deref_chec
k
: fix
a
fa
l
se p
o
sitiv
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
C
h
ristopher L
i
F
i
x a bug with variables
n
amed
"
x86_6
4
"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carpenter
sparse:
c
om
m
ent
o
u
t
an
i
nte
r
nal err
o
r m
e
ssage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpenter
M
erg
e
git://git
.
kernel
.
org/pu
b
/sc
m
/devel
/
sparse/
c
hrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*new* ass
i
gn_
v
s_compare: if
(
(
x
= <constan
t
>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
ranges: in
t
roduc
e
rl_c
o
nti
g
uous(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n
Carpen
t
er
deref_chec
k
: sil
e
nce s
o
m
e fals
e
positiv
e
on cross
functio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n
Car
p
en
t
er
fill_db_call_imp
l
ies:
check
c
orrect variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpenter
f
i
ll_db_
r
eturn
_
implies: de
l
ete the c
o
rrect
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan C
a
rpenter
pointer_math: check
AL
I
G
N
() macro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
D
an Car
p
enter
help
e
r:
h
andle if (WAR
N
_ON(i ==
A
RRAY_SIZE(foo)) ret
u
r
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
J
o
n
athan Neu
s
chäfer
sma
t
ch_scripts: f
i
x spelli
n
g
of "
u
sage"
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Ne
u
sc
h
ä
f
er
smatch: fix sev
e
ral typos
commit
|
commitdiff
|
tree
2012-06-22
Dan Ca
r
penter
assigned_expr:
m
ove che
c
k_assigned_expr() to
smat
c
h
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Ca
r
penter
macro_side_effects:
o
nly enab
l
e whe
n
--spamm
y
is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
D
a
n Carpenter
ig
n
ore
_
side
_
effects: add so
m
e more macros that have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpente
r
buf_size:
a
d
d --spammy t
o
v
a
li
d
ation test
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
overfl
o
w: remove
str
n
cpy(
)
false
p
ositives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Ca
r
pen
t
er
Merge branch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpent
e
r
buf_size: turn of
f
buf size
f
or &addresses un
l
ess
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an Carpenter
fl
o
w: han
d
le the __nore
t
urn__ attribute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpen
t
er
buf_size: remove the &* and [0] from
a
round the
p
ointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motoh
i
ro
s
p
arse: Ad
d
'erro
r
' to ignored attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
K
OSAKI Moto
h
iro
sparse: Add '__vec
t
or_size__' to
i
gnored attri
b
u
t
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan
C
a
rpenter
sm_buf: don't return
t
he maximum
store bu
f
f
e
r size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n Carpe
n
ter
buf_size: return the size of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpente
r
b
uf
_
siz
e
: add kmalloc_array() and sock_kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Ca
r
p
e
nter
buf_size: if the
me
m
ber size
is not kno
w
n then sto
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpen
t
er
Merg
e
branch 'buf
_
size' into devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpen
t
e
r
Merge gi
t
:
/
/git
.
kernel
.
or
g
/pu
b
/
scm/devel/spar
s
e/sp
a
rse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Car
p
ent
e
r
buf
_
size: f
i
rst get
the
s
i
ze in by
t
es then c
o
n
v
e
rt
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpenter
b
uf_size: remove cast_ratio
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an
C
arpen
t
er
buf_siz
e
: fix by
t
es
_
per_
e
lement() for str
i
ngs a
n
d
arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
b
uf_si
z
e: delete some duplica
t
e code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
buf_si
z
e:
p
r
e
fer the dec
l
ar
e
d
array size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
buf_size: strcpy() only sets
t
he size of the d
e
stination
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf_size: ignore casts in get_array_siz
e
_
bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
b
u
f
_
si
z
e: c
r
eate an elements_to_bytes() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
buf_size:
separa
t
e bytes_per_element() into i
t
s
o
wn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
n
ter
buf
_
s
i
ze: using ->bit_size does
n
't work for void
p
ointers
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n C
a
rpenter
buf_size
:
use get_stored_size_byt
e
s() directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
buf_si
z
e:
m
ake get_sto
r
ed_size
_
b
y
t
es(
)
a sep
a
rate
f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
Carpenter
buf_size: pu
l
l byt
e
s_
t
o_e
l
ements() in
i
ts own
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: calculate bytes per el
e
ment better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
buf_size: a
d
d a
basic validation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
ar
p
enter
buf_size: if the size is v
a
riable
pic
k
th
e
larger
one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpente
r
buf_size: move get_size_from_strl
e
n(
)
into it's o
w
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpent
e
r
buf_size: p
u
l
l
get_size_from_initializer(
)
into separat
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Car
p
enter
buf_
s
ize:
m
o
ve get_st
o
r
ed_size() out of
g
e
t
_array_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
C
a
r
p
enter
b
uf_size: pull handling of
normal a
r
rays
into
separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size:
mo
v
e som
e
functions ar
o
und
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpe
n
t
e
r
buf_size: add modifica
t
ion
h
ooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpenter
debug: add a way to debug bu
f
fer sizes __smatch_
b
u
f_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Da
n
Carpenter
Or
vs an
d
: warn a
b
out b
i
t
w
ise ANDs that always give
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
D
a
n
Carp
e
n
ter
Or vs and: if (foo & ZERO)
is nonse
n
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
fun
c
tion_ha
s
h: make it easier to
hand
l
e a file
w
i
th
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Dan Carpenter
sig
n
ed: unbrea
k
the
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
overflow: upda
t
e
v
alidation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
D
an Carp
e
nter
flow: handle struct
i
nitialization be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Ca
r
pen
t
er
flow:
h
andle EXPR_O
F
FSETOF and EX
P
R
_AL
I
GNOF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n Ca
r
penter
overflow: ignore "x = &foo[
A
RRAY_SIZE(foo)]
;
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
overflow: white space
cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n
C
arpenter
im
p
lied: the
b
ase s
l
i
s
t
i
s not special
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Ca
r
pen
t
er
slist
:
change form
a
t fo
r
debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carp
e
nter
exp
r
e
ssi
o
ns:
introduce some more
e
x
p
ression al
l
oc
a
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
valid
a
tion:
u
pdate deref
e
r
ence
c
h
e
ck output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
implied: certain
states should
b
e lef
t
a
s
is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan
Carpent
e
r
slist: put t
h
e sm_state itself in
t
o ->
p
ossib
l
e not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Da
n
C
arp
e
nter
s
l
ist: c
l
ea
n
up merge_hooks API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
extra: don't create a new merged est
a
te if
-
>
r
ight
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carpenter
estates
:
reuse s
a
me estate for ext
r
a_undefi
n
e
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpent
e
r
c
ons
t
raints: get rid o
f
a
d
d
_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpenter
cons
t
raints: r
e
mo
v
e some dead c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: fix s
e
t_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next