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
sparse: comment out an internal error message
2012-07-30
Dan
C
a
r
penter
sparse: comment
o
ut
an
in
t
ernal error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpenter
Merge git://git
.
kernel
.
o
r
g/pub
/
scm/devel/spars
e
/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Car
p
enter
*
n
ew
*
assign
_
vs_compar
e
:
if ((x = <c
o
nstant>)
)
{
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
ranges: introdu
c
e rl_co
n
t
i
g
uous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n
Carpenter
deref_check: s
i
lence s
o
me f
a
l
se po
s
itive on
c
ross function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpenter
fill_d
b
_call_impl
i
es:
c
heck
correc
t
va
r
i
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpente
r
fill_db_return_implies
:
delete the correct tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan Ca
r
pen
t
er
p
o
inter_math: check ALIGN
(
) macro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpe
n
ter
helpe
r
: handl
e
if (WARN
_
O
N(i
=
=
ARRAY_S
I
Z
E
(
foo))
r
etur
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpe
n
ter
a
s
signed_expr: move check
_
assigned
_
expr() to s
m
atch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
D
an
C
arpenter
macro_
s
ide_effects: only enable when -
-
spammy
i
s
u
s
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
ignore_side
_
ef
f
e
c
ts: add some m
o
re
m
acros that have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
C
arpenter
b
uf
_
size: a
d
d --spam
m
y
to validation tes
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Ca
r
pent
e
r
over
f
lo
w
: r
e
m
ove strncpy() false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Car
p
enter
M
e
rge
b
r
anch 'd
e
vel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
bu
f
_size
:
turn off buf
s
ize for &addresses
u
nless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpente
r
flow: handle th
e
_
_
n
oret
u
rn
_
_
a
t
tr
i
bute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carp
e
nte
r
bu
f
_
size: r
e
m
ove the &* and [0] from
a
roun
d
the p
o
int
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Da
n
Carp
e
n
t
er
sm_buf: don't r
e
turn the maximu
m
s
t
o
re buffer size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n
C
arp
e
nter
buf
_
s
ize: retu
r
n the size of
&f
o
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
buf_size: add kmal
l
o
c
_array() a
n
d s
o
c
k
_
kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
arpenter
buf_size
:
if the
m
ember
siz
e
is not kn
o
wn
t
hen store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Da
n
C
a
rpen
t
er
Merge branch 'buf_size'
into devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpente
r
Merge git://
g
i
t
.
ke
r
nel
.
org/pub/scm
/
dev
e
l/sparse
/
sp
a
rs
e
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: f
i
rs
t
get the
size in byte
s
t
h
en conve
r
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf_size:
r
emove c
a
st_ra
t
io()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: fix bytes_pe
r
_element() fo
r
s
t
rings
a
nd arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_si
z
e: delete some duplicate co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
ente
r
buf
_
size: prefer the d
e
cl
a
red array s
i
ze
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Ca
r
pen
t
er
b
u
f_size: strcpy() only sets the
s
ize of
t
he des
t
ination
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
a
rpenter
bu
f
_siz
e
:
i
gnore c
a
sts
in get_ar
r
ay_
s
ize_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
buf_size:
cr
e
a
t
e an
e
lem
e
n
t
s
_to_bytes() fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Car
p
enter
buf_size: se
p
arate bytes_per_element()
i
nto its own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpent
e
r
buf_size: usin
g
-
>
bit_size doesn't wor
k
for v
o
id pointer
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpenter
buf_size: u
s
e
get_
s
tored_s
i
ze_bytes()
directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
r
p
enter
b
u
f_size: make get_sto
r
ed_size_bytes() a
s
eparat
e
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_si
z
e: pull
bytes_to_elements()
i
n its own function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
b
uf_size
:
calculate bytes per e
l
ement 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 C
a
rpenter
buf_s
i
ze
:
if the
s
ize
i
s var
i
able pick the
larger one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
C
arpenter
buf_size: move
get_size_from
_
strl
e
n(
)
i
n
to it'
s
own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpente
r
buf_size: p
u
ll get_s
i
ze_
f
r
o
m
_initializer()
i
n
t
o separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
C
arpenter
b
u
f_si
z
e: move ge
t
_stored_size() out of get_arra
y
_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpenter
b
uf_siz
e
: pull handli
n
g
of no
r
mal a
r
rays into
separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpenter
bu
f
_size:
m
ove some functions
a
round
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpe
n
ter
buf
_
size
:
ad
d
mod
i
f
i
cation hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Carpe
n
ter
debug: add
a w
a
y to de
b
ug b
u
f
fer sizes __smatch
_
b
u
f
_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or vs a
n
d
: warn
a
bout
b
i
twise AN
D
s
tha
t
al
w
ays give
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or vs
a
nd:
i
f (foo
& ZERO) is nons
e
n
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carp
e
nter
f
un
c
t
i
o
n_hash:
ma
k
e it
easier
to handl
e
a fi
l
e with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Dan Carpenter
signed:
u
nbreak the che
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n Carp
e
n
t
e
r
o
verflow:
u
p
date valid
a
tion t
e
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpen
t
er
flow: handle struct initialization better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan
Carpe
n
t
er
flow: handle EX
P
R_OFFSETOF an
d
E
XPR_ALIGNOF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
D
an Carpenter
ov
e
rfl
o
w: ign
o
re "x = &foo[ARRAY_SIZE(foo)];"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
overflow: white space cle
a
nups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Car
p
en
t
er
i
m
plied: th
e
bas
e
s
l
ist is not specia
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
slist: change for
m
at for debug
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpen
t
er
ex
p
ressions:
i
ntroduce some
more
expression allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
val
i
dation: updat
e
dereference check
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
i
m
plied: cer
t
ain state
s
should be l
e
ft as is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan
Carpente
r
s
list: put
t
h
e sm_s
t
ate itself into ->pos
s
ible not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan C
a
rpenter
slist: cleanu
p
merge_hooks AP
I
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
D
a
n
Carpenter
extra: d
o
n't create a
new
m
erged e
s
tate if ->right
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
es
t
ates: reus
e
same e
s
t
a
te for ext
r
a_u
n
defined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
pen
t
e
r
c
onstraints
:
get rid
of
add_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
an Carpe
n
ter
constraints:
remove s
o
me dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpenter
constraints: fix set_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpe
n
ter
constraint
s
: a
d
d_related(
)
should take a relate
d
_
list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpenter
constraints:
sort the ->related
l
ist properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carp
e
nter
c
o
nst
r
aint
s
: re
p
lace get_com
m
on_relationship
(
)
w
i
th
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
C
ar
p
en
t
er
slist: move add_pool() to sm
a
tch_impl
i
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
Dan Carp
e
nter
bit
_
shift: ad
d
test_bit() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
D
a
n Car
p
e
n
t
er
flo
w
:
silence
f
alse posi
t
i
v
es caused by hairy
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Car
p
enter
implied:
r
enam
e
-
>my_p
o
ol to ->pool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
rpente
r
s
l
ist: re
n
ame add_possi
b
le
(
)
=>
copy
_
p
ossibles()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
or_
v
s_an
d
:
i
g
nor
e
*p++
|| *
p
+
+
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
an
C
arpenter
tracker: fi
x
a small
m
e
mory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpe
n
ter
m
o
d
ific
a
t
i
on: remove calls to d
e
lete_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpente
r
check_dereference: enable this
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
db:
s
tor
e
w
h
e
ther functions are
global or static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
nte
r
tr
a
cke
r
: remove unused clone_tra
c
k
e
r_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carpenter
slist: buf
f
e
r
overflow i
n
debugging code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carpenter
user_data: fix NULL derefer
e
n
ce
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db: white space cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
D
an Carpen
t
e
r
db:
m
ove para
m
e
t
er
_
im
p
lications into
the
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
D
a
n
Carpe
n
ter
range
s
: add possibly_true/false_range_lists
_
rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Ca
r
penter
overflo
w
: automatically list fun
c
tions
that take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
D
a
n Carpenter
modifica
t
ion_hooks: co
m
plete rewr
i
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
Dan Carpente
r
db: print th
e
SQL q
u
er
i
es whe
n
--debug is on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
D
an Ca
r
penter
cleanup: use valid_
p
t
r
_m
i
n
/
max
.
get
rid
of POINTER
_
M
AX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Da
n
C
arp
e
nte
r
extra: dereferencin
g
a pointe
r
m
eans it is va
l
id
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
implied: cleanup d
e
b
u
g output a little
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
slist: pull show_sm(
)
into a separate function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
check
_
ker
n
el: ERR_PTR() return
s
non-NULL (mostly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpe
n
ter
dereferen
c
e chec
k
s: u
s
e
t
he cross
f
unction info from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpe
n
ter
*new* ch
e
ck_derefere
n
ces_param
:
list functions that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new* ret
u
r
ns: merge all sl
i
s
t
s from all returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
db: add call_implies table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
Carpenter
fl
o
w: pri
n
t
a
different filename
w
h
e
n -
-
info o
p
t
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next