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
overflow: remove strncpy() false positives
2012-06-18
Dan Car
p
enter
overfl
o
w: remove s
t
rncp
y
()
f
a
ls
e
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
Me
r
g
e
branch '
d
evel'
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carpenter
b
uf_
s
ize:
t
urn off
b
uf size for &addresses
un
l
ess
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
an Ca
r
penter
flow: handle t
h
e __noreturn_
_
attribute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpen
t
e
r
buf_
s
ize: remov
e
the &* and
[
0]
from around the
po
i
n
t
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
sparse:
Add 'e
r
ror' to ignored attrib
u
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
s
parse: A
d
d
'
__ve
c
t
o
r
_size__' to ignored attributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
sm
_
buf: don't
r
eturn the
m
aximum store buffer size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan
C
a
r
p
en
t
er
b
u
f_size:
r
e
t
urn the size of &foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
b
u
f_si
z
e:
ad
d
kmal
l
oc
_
a
rra
y
(
)
and sock_kmall
o
c
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carp
e
nter
buf_size: if the member s
i
ze is not
known th
e
n store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
arpenter
Merg
e
branch '
b
uf_siz
e
' int
o
de
v
el
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Merge git
:
//git
.
kernel
.
org/pub/scm/devel/spa
r
s
e
/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: first get
t
he size in
bytes t
h
en convert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
enter
b
u
f
_size
:
remov
e
cast_ratio()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: fix bytes_per_element() fo
r
strings a
n
d a
r
rays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carp
e
nter
buf_si
z
e: delet
e
some duplicate code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
bu
f
_size: prefer t
h
e dec
l
a
r
ed
array
s
ize
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpente
r
buf_siz
e
: str
c
p
y() only
s
ets the size of th
e
desti
n
ation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
buf_s
i
ze: ignore casts in g
e
t_arra
y
_size_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size
:
create
a
n eleme
n
ts_to
_
bytes() fu
n
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf_size: separate bytes_per_element() into its o
w
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
bu
f
_size: using
-
>
b
it_size doesn'
t
work
for vo
i
d pointers
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
Carp
e
nt
e
r
buf_s
i
ze: use get_store
d
_size_bytes() dire
c
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
buf_
s
ize
:
make get_stored_siz
e
_bytes() a
s
eparate fu
n
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: p
u
l
l
b
ytes_to_elements() in its
own funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carp
e
nter
buf_size: calc
u
l
ate bytes per element b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
C
a
rpente
r
b
uf_size
:
add a
b
asic
v
alidatio
n
t
e
s
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
a
rpe
n
ter
bu
f
_si
z
e: if
t
he size is va
r
ia
b
le
p
ick the
l
arger one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size: mo
v
e
get_size_fr
o
m_strlen()
i
nto it'
s
own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
bu
f
_size: p
u
ll get
_
size_from_initializer() into s
e
parate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Carpenter
buf_si
z
e: 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
C
arpe
n
ter
buf_size: p
u
l
l
handling of
normal arrays into sepa
r
ate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
a
r
penter
buf_size: mov
e
s
ome fu
n
c
t
i
ons aro
u
nd
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Car
p
ent
e
r
buf_size: add modification hoo
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
C
a
r
pe
n
ter
debug: ad
d
a way t
o
deb
u
g buffer sizes
__s
m
atch_buf_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpe
n
ter
Or
vs and: warn about bit
w
i
se ANDs tha
t
always
giv
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carp
e
n
t
er
Or vs
and: if (
f
oo
&
ZERO) is nons
e
nse
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan
C
arpenter
function
_
hash: make it easier to h
a
ndle a
fi
l
e with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
Dan Car
p
enter
signed:
un
b
rea
k
the
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
o
ver
f
l
ow: upda
t
e valid
a
t
io
n
t
est
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpe
n
ter
flow: handle struct initialization bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carp
e
nter
flow: handle
EXPR
_
OFFSETOF and EXPR_AL
I
G
NOF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan C
a
rpenter
overflow
:
ignore "
x
=
&foo[ARRAY_SIZE(foo)];"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan
Carpenter
overflow: white sp
a
ce c
l
e
anups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan C
a
rpent
e
r
i
m
plied: the
base s
l
ist
is no
t
spec
i
al
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpente
r
slist
:
ch
a
nge format
f
or
deb
u
g o
u
tp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carp
e
nt
e
r
expr
e
ssio
n
s: introd
u
ce some more exp
r
ession
al
l
ocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
D
a
n
C
ar
p
e
nter
validation: update dereference ch
e
ck output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
i
mp
l
ied: certain
states
should b
e
le
f
t
as is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpen
t
e
r
slist: put the sm_state
itself into ->possible not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
D
a
n
Carpenter
slist: cleanu
p
merg
e
_hooks API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
D
an C
a
rp
e
nter
e
x
tra: don't
create a new merged esta
t
e if ->right
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carp
e
n
t
er
estat
e
s:
reuse same estate for
extra_undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan C
a
rpen
t
er
co
n
stra
i
n
ts: get ri
d
of add_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints:
r
emo
v
e some dea
d
c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carp
e
nter
constr
a
ints: fix set_eq
u
iv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpen
t
er
con
s
trai
n
ts
:
add_r
e
lated() should take a related_l
i
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpen
t
er
co
n
straints:
sort
t
he ->related
l
ist
properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: r
e
place g
e
t_comm
o
n
_re
l
ationship() with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carp
e
nter
slis
t
:
move add_pool() to smatch_implied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
Dan
C
arpenter
bit
_
shift: add t
e
st_
b
it() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
Dan Carpente
r
flow: si
l
ence false posi
t
ives
caused by hairy fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carp
e
nter
imp
l
i
e
d: re
n
ame
-
>
my_po
o
l to ->pool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
a
r
penter
slist: r
e
na
m
e add_possib
l
e() => copy_possibles()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpente
r
or_vs_an
d
: ignore *p++ || *p++
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpente
r
t
racker:
fix a sm
a
ll me
m
ory lea
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpenter
m
odificat
i
on: re
m
ove
c
a
l
ls to del
e
te_
s
tate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Carpenter
c
h
e
c
k_dereference: e
n
able this
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Ca
r
pent
e
r
db: store whether functions are global or st
a
tic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carpenter
tracker:
r
emove unus
e
d cl
o
ne_tracker_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
slist: buffer overflow
in debugging code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n C
a
rpenter
user
_
data: fi
x
N
U
LL d
e
reference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db: white space c
l
eanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db:
move parame
t
er_implications into the databa
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Ca
r
p
ent
e
r
r
a
n
g
es: add p
o
ssib
l
y_true/false_r
a
nge_lists_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
D
an Carpenter
ove
r
f
low: automa
t
ically list func
t
ions that take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
m
odifi
c
ati
o
n_hooks
:
complete rewrite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
Dan Carpent
e
r
db:
print the
SQ
L
queries when
--d
e
bug is on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan
C
ar
p
en
t
er
cleanup:
use
v
alid_
p
tr_min/max
.
get rid
of P
O
INTER
_
MAX
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
extra: derefer
e
ncing a poin
t
e
r
m
ean
s
it is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
i
m
plied: cleanup debug
o
utput
a little
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan
C
ar
p
ente
r
slis
t
: pull s
h
ow_sm()
int
o
a
sepa
r
at
e
func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpente
r
check_kern
e
l: ERR_PTR()
r
e
tu
r
n
s
non-NULL (m
o
stly)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
dereference che
c
ks
:
use the cross fu
n
ction
inf
o
from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n C
a
r
p
e
nter
*new* check_de
r
eferences_param
:
list functio
n
s
t
h
at
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Carpenter
*ne
w
* ret
u
rn
s
:
merg
e
all
slists from al
l
returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Car
p
enter
db: add call_implies
t
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
arpente
r
flow: print a dif
f
e
r
e
n
t
filename
when
--info
o
ption
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Carpente
r
deref: fix a typo in the
e
rror message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
D
an Carpen
t
er
use
r
_d
a
ta: track use
r
data that is retu
r
ned to other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
D
an Carp
e
n
t
er
bo
o
l_im
p
licati
o
n
s
: remove debugging out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
Dan Carpenter
fix
co
m
pile on Ub
u
ntu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
generisize
.
pl: st
r
ip all strings not jus
t
the first
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
b
u
f_size: Add
a NU
L
L
check to g
e
t_array
_
size_by
t
es()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Ca
r
pe
n
t
e
r
*new* size
o
f
_pointer: using sizeo
f
(p) where sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
overflow:
c
h
eck memcpy() to see
i
f
we'
r
e comp
a
ring
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n Carpenter
extra: don't reset &argum
e
nts until the other checks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
an Carpenter
flow: c
h
ange ho
w
"for (i = 0; ; i++) {
.
.
.
" is
hand
l
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n
Carpenter
*new* or_vs_and: c
o
mplain about if (x != 3 || x !=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next