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
user_data: syscalls are a source of user data
2012-08-14
Dan Carpe
n
ter
user
_
data: sys
c
alls are a s
o
urce of user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
s
e
r_data: if "ptr"
i
s use
r
d
a
ta th
e
n "*
p
tr" is use
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
user_data: add is_use
r
_macro
(
) stu
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: skb->data is
u
ser da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
extr
a
:
m
ake a funct
i
on
stati
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b
: create ret
u
rn_sta
t
es
tab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Car
p
ent
e
r
db:
a
dd get_return
_
id() and return ma
r
kers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an
C
arpenter
d
b
: improve
e
rror message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Ca
r
penter
db
:
cal
l
er_info changes: store the caller, param =
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
db: add retur
n
_values
t
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
err_
p
tr_deref: r
e
m
ove
d
uplicate conflic
t
ing co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Dan Ca
r
penter
functi
o
n_hooks: move registration t
o
the
right
place
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Omair Mohammed Abdullah
Fix bug in Makefile that
cause
s
li
n
king t
o
fa
i
l
commit
|
commitdiff
|
tree
2012-08-09
Dan Car
p
e
n
ter
der
e
f_check: remove dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n Carpenter
misc
whit
e
space fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
an Carpenter
implied: chan
g
e debugging
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
checks: g
e
t
rid
o
f some delete_st
a
te()
c
alls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n
Carpenter
deref_check: fix a fal
s
e positive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
C
h
rist
o
pher Li
Fix a
bug with var
i
ables named "x86_64"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan
C
arpenter
s
par
s
e: comment out an in
t
ern
a
l error message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan
C
arpenter
Merge git://git
.
kernel
.
org/pub/sc
m
/devel/sparse/c
h
risl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan
C
arpe
n
ter
*new* assign_vs_compare
:
i
f
((x = <constant>))
{
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
r
anges: introduce r
l
_contig
u
ous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
an
Carpenter
dere
f
_check:
s
i
l
enc
e
s
o
m
e
false positive on
c
ross function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
f
i
ll_db_
c
all_implies: ch
e
c
k
corr
e
c
t
var
i
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_db
_
return_impl
i
es: delete t
h
e correct t
a
b
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
pointer_
m
ath: ch
e
ck ALIGN() ma
c
r
o m
a
th
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpent
e
r
helper: handle
i
f
(
WARN_ON(i ==
ARRAY_SIZ
E
(foo)) return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-02
Jo
n
athan Neu
s
chäfer
smatch_sc
r
ipts: fi
x
spelling of "usage
"
commit
|
commitdiff
|
tree
2012-07-02
Jon
a
than Neuschä
f
er
smat
c
h: fix several t
y
pos
commit
|
commitdiff
|
tree
2012-06-22
Dan Carp
e
nter
assigned_
e
xpr: m
o
ve check_assigned_expr() to s
m
a
t
c
h
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
D
an Carpenter
macro_side
_
e
f
fect
s
: on
l
y en
a
ble when
--spammy
i
s used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
D
an Carp
e
nte
r
ignore_side_effects: add
s
om
e
mo
r
e macr
o
s that
h
ave
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpen
t
er
b
u
f
_
size:
a
dd
--spammy
t
o v
a
lidation test
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Car
p
enter
overf
l
ow:
r
e
move strncpy() fal
s
e
positiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
Merge b
r
a
n
ch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Ca
r
penter
buf
_
s
ize: turn off buf size for
&addresses
u
nles
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carpenter
flow: handle t
h
e __noreturn
_
_ attribute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpent
e
r
bu
f
_size: remove the
&
*
and [0] from a
r
o
u
nd the point
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Moto
h
ir
o
sparse: Add 'error' to ignored attributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Mot
o
hiro
sparse: Ad
d
'__vector_size__'
t
o ign
o
red attrib
u
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpen
t
er
sm_buf: don't return
the max
i
mum st
o
r
e
buffer s
i
ze
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan
C
a
r
penter
buf_si
z
e: return t
h
e size o
f
&foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carp
e
nter
bu
f
_size: add
k
malloc_array() and
s
ock_
k
malloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Ca
r
pen
t
er
buf_size: if the member size is not kno
w
n then store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpen
t
er
M
er
g
e branch 'buf_size'
i
nto devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Car
p
e
n
ter
Merge
g
i
t://git
.
kernel
.
org/pub/
s
cm/devel/sp
a
rse/
s
pars
e
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
bu
f
_size: first
g
et the size in bytes then convert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
bu
f
_
s
ize:
r
emove
cast_ratio()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpente
r
buf_
s
ize: fix
b
yte
s
_pe
r
_element() for s
t
rings
a
nd arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rp
e
nter
bu
f
_siz
e
: delete s
o
me dupli
c
ate co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpen
t
e
r
buf_si
z
e: prefe
r
t
he decl
a
red array size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nter
buf_size: strc
p
y() only sets the s
i
ze
o
f
t
h
e dest
i
nation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an
Carpente
r
buf_size: ignore cast
s
in ge
t
_
array_size_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: crea
t
e
an element
s
_
to_
b
yte
s
() fun
c
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Ca
r
penter
b
u
f_size:
s
eparat
e
bytes_per_element(
)
in
t
o its
own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Car
p
enter
buf_size: using ->
b
it_size d
o
es
n
't
w
ork for void
p
ointers
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpe
n
ter
b
u
f_size
:
u
se get_stored_si
z
e_
b
yte
s
() directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpent
e
r
b
uf_
s
ize: ma
k
e get_stor
e
d_siz
e
_
b
ytes() a separate
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nter
buf_size: pull byte
s
_to_
e
le
m
ents() in its
own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_size: ca
l
culate
b
ytes per element better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
buf_size: add
a basic validation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carp
e
n
t
er
buf_size:
i
f th
e
siz
e
is variable p
i
ck the la
r
ger one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpe
n
ter
buf_size: move
get_size_from_
s
t
rlen() into it's ow
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
b
u
f
_s
i
ze: pull g
e
t_size_from_initializer() into separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
pe
n
ter
buf_size: move get_stored_size
(
) out of
get_array_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_si
z
e: pull
h
and
l
i
ng
of normal arrays
into separa
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carp
e
nt
e
r
b
u
f_size: mo
v
e som
e
functions aro
u
nd
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Carpe
n
ter
buf
_
s
i
ze: add modification h
o
oks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpen
t
er
debug: add a way to d
e
b
u
g
b
uffer sizes __smatch_buf_si
z
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
D
an Carpenter
Or vs
and: wa
r
n
ab
o
ut bitw
i
se ANDs
that
a
lways 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
n
onsens
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan
C
ar
p
enter
function_hash: m
a
ke it ea
s
ie
r
to handle a file
w
ith
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
D
a
n
C
arpenter
si
g
ned: unbreak the
c
heck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
overflo
w
: update
v
al
i
da
t
i
on test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carp
e
n
ter
flow: handle struct initializat
i
on better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Da
n
Carpenter
f
l
ow
:
handle
EXPR_OFFSETOF
a
nd EXPR_ALIG
N
OF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpen
t
er
ove
r
flow: ignore "x = &
f
oo[A
R
RAY_SIZ
E
(foo)];"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Da
n
Carpent
e
r
overflow:
wh
i
te space cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Ca
r
p
enter
i
mplied: 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
Dan Carpenter
slist: cha
n
ge format
fo
r
debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
an Ca
r
penter
exp
r
essions: intro
d
uce s
o
me more e
x
pression a
l
location
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Car
p
enter
valid
a
tion: update dere
f
er
e
nce check outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carp
e
nter
imp
l
ied: certain
state
s
should be left as is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
D
a
n Carpenter
slist: put the sm_stat
e
itself into ->possible
not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Da
n
Carpent
e
r
slis
t
:
clean
u
p me
r
ge_ho
o
ks API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan
Carpente
r
extra: don't create a new merg
e
d
e
state if
->rig
h
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
e
stat
e
s: reuse same
estate for extr
a
_undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
penter
con
s
tra
i
n
ts: get rid of add_e
q
uiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpenter
con
s
traints:
remove some dea
d
co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
a
r
penter
c
o
nstraints: fix set_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpent
e
r
constraints: add_related() should take a related_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpe
n
ter
constrai
n
ts: sort the
-
>
re
l
ated list p
r
ope
r
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: replace
g
et_com
m
on_relat
i
onshi
p
() with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
slist: move add_pool()
t
o smatch_implie
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
D
a
n
Carpen
t
er
b
i
t_
s
hift: add
t
e
s
t_bit() f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
Dan Carpenter
flow: silenc
e
false pos
i
tives caused by
hair
y
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
implied: rename ->my
_
pool
t
o ->poo
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpe
n
ter
slist: re
n
a
m
e add_possi
b
le
(
)
=
>
copy_possibles()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carpenter
or_v
s
_a
n
d: ignor
e
*
p
++ || *p++
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next