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
smatch_data: update the data director to the latest code
2012-08-14
Dan C
a
r
pe
n
t
er
s
matc
h
_
d
ata: upda
t
e
t
he data direc
t
o
r
to the latest
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
ent
e
r
db: caller_
i
nfo: fi
x
more fall out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
e
r
d
b
:
t
y
p
e
_size: silence a perl warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
db: caller_info:
u
p
d
a
te fi
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 Ca
r
pe
n
ter
extra: get_i
m
pli
e
d_ran
g
e_list()
s
h
oul
d
ret
u
rn 0 if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
ser_da
t
a: u
s
e
the
new return_states database table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
user_data: sysc
a
lls are
a
source of u
s
er data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_dat
a
: if "ptr
"
i
s
user data then "*ptr" is user
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carp
e
nter
use
r
_data: add is_user_macro()
s
t
ub
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
se
r
_data: skb->data is us
e
r data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
e
x
tra:
make
a
function stati
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Ca
r
pen
t
er
db: create r
e
tu
r
n_stat
e
s
t
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
db: add
g
e
t_return_id() and return marke
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
db: improve
e
r
ror
message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: ca
l
ler_info changes: store the caller,
para
m
=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: add return_
v
a
lues tab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
er
r
_ptr_
d
eref: remove
dupl
i
cate conflicting code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Dan C
a
rpe
n
ter
f
unction_hooks:
move
registr
a
tion to the right place
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Omair Mohammed Abdull
a
h
Fix bug in Makef
i
le t
h
a
t c
a
uses l
i
nking to fai
l
commit
|
commitdiff
|
tree
2012-08-09
Dan C
a
rp
e
nter
d
e
re
f
_chec
k
: remove dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Ca
r
penter
misc w
h
i
te sp
a
ce fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan
C
arpenter
implie
d
: change debugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan
C
arpenter
che
c
ks:
get rid of
s
ome del
e
te_st
a
te(
)
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
C
arp
e
n
ter
deref_check: fix a fals
e
positi
v
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Christophe
r
Li
Fix a
b
ug with var
i
ables
n
amed "x86_64"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan Ca
r
pente
r
sparse: comm
e
n
t
out an inte
r
nal error
m
essage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpente
r
Merge g
i
t:
/
/g
i
t
.
kern
e
l
.
org/pub/scm/d
e
vel/sparse
/
chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan C
a
rpen
t
er
*ne
w
* assign_vs_compare:
if ((x = <co
n
sta
n
t>)) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpent
e
r
ranges: int
r
oduce rl_con
t
iguous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n C
a
r
p
enter
dere
f
_check: s
i
lence so
m
e false positive
o
n cro
s
s function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Ca
r
p
e
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
D
an
Carpe
n
ter
f
i
ll_
d
b_return_impl
i
e
s
: de
l
et
e
the correct table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpe
n
ter
pointer_m
a
th: check ALIGN() macro math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
helper: han
d
le if
(
WARN_ON(i == AR
R
A
Y
_
S
IZ
E
(foo
)
) retur
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-02
Jon
a
than Ne
u
schäf
e
r
smatch_script
s
:
fix
s
pelli
n
g of "usag
e
"
commit
|
commitdiff
|
tree
2012-07-02
Jonathan
N
e
u
schäf
e
r
sm
a
tch: fix
s
ev
e
ral typos
commit
|
commitdiff
|
tree
2012-06-22
D
a
n
C
a
rpenter
a
ssigned_
e
xpr: move c
h
eck_ass
i
gned_
e
xpr() to smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpent
e
r
ma
c
ro
_
side_effects: only enable when --s
p
ammy is
us
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
ignore_si
d
e_effec
t
s: ad
d
some more macr
o
s
t
h
at
h
ave
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpenter
b
u
f
_si
z
e: add -
-
spammy
t
o vali
d
ation tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
overflow:
r
em
o
ve strncp
y
() false
positive
s
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
Da
n
Carp
e
nter
buf_size: turn of
f
buf siz
e
for &addresse
s
unle
s
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpe
n
ter
flow: h
a
n
d
le the
_
_
n
oreturn__ attr
i
bute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpen
t
er
buf_size: re
m
o
ve th
e
&
*
a
nd [0]
f
r
o
m
a
r
oun
d
the poin
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
sparse: Add 'er
r
or' to ign
o
red attribute
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI
M
ot
o
hiro
sparse: Add '__ve
c
tor_size__' to ignored attributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carp
e
nt
e
r
sm_buf: don't return the
m
aximum store
b
uffer size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan C
a
rpenter
buf_size: r
e
turn the
s
ize of &foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan
Carp
e
nter
buf_size: add kmalloc_array
(
)
a
nd
s
o
ck_kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
arpenter
b
u
f
_size: if the member size is
not known then store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan C
a
rp
e
nter
Merge b
r
anch 'buf_size' i
n
to devel
commit
|
commitdiff
|
tree
2012-06-15
D
an Carpen
t
er
Merge g
i
t://git
.
kernel
.
org/pub/scm/de
v
el/sparse/sp
a
rse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size:
f
irs
t
get the siz
e
in byt
e
s
t
h
en convert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
bu
f
_siz
e
:
r
emo
v
e
cast
_
rat
i
o()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
buf_size: fix byte
s
_per
_
element(
)
f
o
r strings a
n
d arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nter
buf_s
i
ze
:
del
e
te some dup
l
ica
t
e co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_size: prefer the declared array
s
ize
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
bu
f
_size: strc
p
y() only sets the s
i
ze of t
h
e destina
t
io
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
C
a
rp
e
nter
buf_
s
ize: ignore casts i
n
get
_
array_size_bytes
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
buf_si
z
e: crea
t
e an elements_
t
o_
b
ytes() func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
buf_siz
e
:
s
e
p
a
rate
bytes_per_element()
int
o
its own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
b
u
f
_si
z
e: using
-
>b
i
t_size doesn't work for void poin
t
e
r
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpe
n
ter
b
uf_si
z
e
: use g
e
t_stored_size
_
bytes() d
i
rectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_size: make get
_
s
t
ore
d
_
size_bytes()
a
separate funct
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
b
u
f_s
i
ze: p
u
ll bytes
_
to_elemen
t
s() in its own
f
u
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:
c
alc
u
late bytes per
e
lem
e
nt be
t
te
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_s
i
ze: add
a basic
vali
d
at
i
on test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
Car
p
enter
b
uf_size: if the
size is variable pick t
h
e larger one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carp
e
nter
buf_size: mo
v
e ge
t
_size_f
r
om_str
l
en() into it'
s
own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n Carpenter
buf_size: pull get_size
_
from_initializer() into separa
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Carpe
n
ter
buf_size: mov
e
get_stored_
s
ize() out
o
f get_array_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
ar
p
ent
e
r
bu
f
_size: pul
l
handling of normal a
r
r
ays
into separ
a
te
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpent
e
r
b
uf_
s
ize
:
m
o
ve so
m
e fu
n
ctions around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
Car
p
e
n
t
er
buf_s
i
ze: add modification hoo
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
d
e
bug: add
a
way to de
b
ug
buffer sizes __smat
c
h
_buf_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or
v
s and:
w
arn about b
i
twise
ANDs t
h
at al
w
ays giv
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or vs and: if (foo & ZERO)
i
s nonsense
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
fu
n
ction_has
h
: ma
k
e
it eas
i
er to handle a f
i
le with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
D
an C
a
rpenter
signed: unb
r
eak the che
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Da
n
Carpenter
overflow: update valida
t
ion test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpen
t
er
flow: hand
l
e
s
truct initiali
z
a
t
ion b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n
Ca
r
penter
flow: handle EXPR_OFFSETOF
a
n
d
EXPR_ALIGN
O
F
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n
Ca
r
penter
overflow:
i
gnore "x =
&
f
o
o[ARRAY_SIZE
(
foo)];"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan
C
ar
p
ente
r
overflow: white space c
l
eanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpe
n
ter
i
m
plied
:
t
he base slist is no
t
special
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n Carpente
r
slist:
c
hange format for de
b
ug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan
C
arpenter
expres
s
ions: introduc
e
some more express
i
on allocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan
C
arpenter
val
i
dation: update d
e
ref
e
ren
c
e check outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
implie
d
: certain st
a
tes should
b
e left
a
s
i
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Car
p
ent
e
r
s
list: put the sm_state
it
s
elf into
-
>possible not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
D
a
n
Carpente
r
slist: cleanup merge_hooks
A
PI
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpe
n
t
e
r
e
xtra:
do
n
't create
a new
m
erged
estate
i
f ->right
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpente
r
estates: reuse
s
a
me estate
f
or ext
r
a_undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carp
e
nter
constraints: ge
t
rid of
a
dd_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpe
n
ter
constraints:
r
emove some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpenter
c
onstraints: f
i
x set_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Carpenter
constr
a
i
n
t
s: add_
r
elated()
shou
l
d take a
related_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Car
p
e
nter
c
onstraints: sort the ->related l
i
s
t prop
e
rly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n C
a
r
p
e
n
t
er
constraints: replace
g
et_common_rel
a
ti
o
ns
h
ip() wi
t
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next