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
sm_buf: don't return the maximum store buffer size
2012-06-16
Dan Ca
r
penter
sm_
b
uf: do
n
'
t
retur
n
the maximum store bu
f
fer size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
an
C
a
rpente
r
b
u
f_size: return the size of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carp
e
nter
buf_size:
add
k
malloc_arra
y
()
a
nd sock_k
m
alloc(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Da
n
Carp
e
nter
buf_size
:
if the member size i
s
n
o
t known then store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
D
a
n
Carpenter
Merg
e
b
ranch
'buf
_
size'
i
n
to
d
evel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Merge git://git
.
k
ernel
.
o
r
g/pub/scm/devel/spa
r
se/sp
a
rse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpente
r
buf_size:
fi
r
s
t get the size in bytes then convert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
buf_
s
ize: remove cast_ra
t
io(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
enter
buf_size: fix bytes
_
per
_
ele
m
e
n
t
() for
s
tr
i
ngs and arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
b
uf_
s
i
z
e
: delete so
m
e duplic
a
t
e
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
b
uf
_
si
z
e: prefer
t
he dec
l
a
red array size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_size: strcpy()
o
nly set
s
th
e
size
o
f
the
destinati
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
C
arpen
t
er
buf_size
:
ignore casts in get_array_si
z
e_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Ca
r
penter
buf_size: cr
e
at
e
an e
l
e
m
en
t
s_to_byte
s
()
f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: separate bytes
_
p
er_elem
e
nt() into its ow
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
b
u
f_size: using
-
>bi
t
_
s
ize do
e
sn't
w
ork f
o
r
void pointe
r
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_si
z
e: use
g
et_stored_size_bytes() directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
buf_si
z
e: make get_stored_size_byte
s
() a separate function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpe
n
ter
b
uf_size
:
p
ull bytes_to
_
elements() in
i
t
s
own functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
b
uf_size: calculat
e
b
y
tes per element b
e
tte
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nter
b
uf_size: a
d
d
a
basic vali
d
ation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n C
a
rpenter
buf_size:
i
f
t
h
e size is variable pick
the larger one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size: move
get_size_fro
m
_strlen() into it's own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n
Carpente
r
buf
_
size
:
pull get_size_from
_
initia
l
izer()
i
n
to
separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
p
enter
buf_size
:
mo
v
e
get_stored_siz
e
() out of
g
et_array_si
z
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Carp
e
nte
r
buf_
s
ize:
p
u
l
l
handling of
normal arra
y
s into separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n
C
arpenter
bu
f
_si
z
e:
move so
m
e
f
u
nctions around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n Carpenter
b
u
f_size: add modif
i
cati
o
n hooks
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
ebug buffer sizes
__smat
c
h_buf_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
D
a
n Carpenter
O
r
vs and: warn about bitwise ANDs that always
g
ive
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
D
a
n
C
a
r
pe
n
te
r
Or vs and: if (foo & ZERO) is nonsense
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
D
an Car
p
e
nte
r
funct
i
o
n
_hash: make it
e
asier to handle a file
w
ith
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Dan Carpent
e
r
signed: unbreak
the
c
heck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
overfl
o
w
: updat
e
vali
d
ation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
D
an
C
arpenter
flo
w
:
han
d
le struct initialization better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan C
a
rpe
n
ter
f
lo
w
: handle EX
P
R
_OFFSETOF
a
n
d EXPR_ALIGNO
F
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpent
e
r
overflow: ignore
"x = &foo[ARRAY_SIZE(foo)];"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n
C
arpenter
overfl
o
w
:
white space cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
implied: the base slist
is not
spec
i
al
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpe
n
te
r
slis
t
: change for
m
at fo
r
debug
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n Carpenter
expressio
n
s:
i
ntroduce
s
ome more expression allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Ca
r
penter
v
a
lidation
:
update d
e
r
e
ference
c
heck output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpe
n
ter
implied: certain
state
s
sho
u
ld be le
f
t as is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
D
a
n Carpenter
slist: p
u
t the sm_state i
t
self into ->possib
l
e
not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan
Carpe
n
ter
slist
:
cleanup merge_hooks API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpent
e
r
extra: don't create a new merged
estate if ->right
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
estate
s
: reus
e
same es
t
a
t
e fo
r
e
xtra_undefined(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints:
ge
t
rid of add_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Ca
r
penter
constr
a
ints: re
m
ove some
dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Carp
e
n
ter
constrain
t
s:
f
ix set_
e
quiv
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpenter
constr
a
ints: add_rel
a
ted() should take a relat
e
d_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carp
e
nt
e
r
constrain
t
s: sort
t
he
->related lis
t
properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpenter
constrai
n
ts:
r
e
place get_common_r
e
lati
o
ns
h
ip() with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
slist: mov
e
add_p
o
o
l
() t
o
smatch_implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
D
a
n
Carpente
r
bit_s
h
ift:
add test_bit() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
D
an Carpen
t
er
f
l
ow
:
silence false posit
i
ves caused by hairy functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carpenter
imp
l
i
e
d
:
rename -
>
my_pool to
->poo
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carpente
r
slist: rename add_possible(
)
=
>
copy_poss
i
b
les()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
rpenter
or_vs_and:
ig
n
ore
*
p++ ||
*
p++
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
an Carpent
e
r
t
racker: fix a small memory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
modification: remov
e
calls to dele
t
e_s
t
ate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
check_derefe
r
ence: e
n
a
bl
e
this
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Car
p
e
n
te
r
db:
s
to
r
e whether fu
n
ctions are global
or static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
trac
k
er: re
m
ove
unus
e
d clone_tracker_li
s
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
slist: buf
f
er
overflow in debugg
i
ng code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
user_data: fix NULL
de
r
eference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db: whit
e
space c
l
e
anups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Da
n
Carpenter
d
b
: move parame
t
er_implicat
i
ons into the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan
C
a
rpenter
ranges: add possibly_tru
e
/
fa
l
se_range_lists
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan
C
a
r
pe
n
ter
ov
e
rflow: auto
m
atically li
s
t funct
i
o
n
s that
take
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Da
n
Ca
r
penter
modific
a
t
i
o
n_h
o
o
k
s
: c
o
mplete rewrite
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
D
a
n Carpenter
db: pri
n
t
t
h
e
SQL qu
e
r
i
es
wh
e
n --de
b
ug is on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
D
a
n
Carpe
n
ter
cleanup: use valid_ptr_mi
n
/max
.
get rid
of POINTER_
M
AX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Car
p
e
n
ter
ex
t
ra: dere
f
e
rencing
a pointer means it is val
i
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
D
an
Carpenter
impli
e
d: c
l
ean
u
p
debug output a
l
ittle
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpe
n
te
r
slis
t
: pull
sh
o
w_sm()
into a separate fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carp
e
nter
check_kernel: ERR_PTR() returns non-NULL (m
o
stly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
arpenter
dereference checks: us
e
the cross fun
c
tio
n
info from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
Ca
r
p
e
n
ter
*
new* check_dereferences_param: list functions that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Car
p
enter
*new* returns: merge all slis
t
s
fr
o
m
all returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
db: ad
d
c
a
ll_implies table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
arpenter
flow
:
prin
t
a d
i
fferent filename when --info opt
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
deref: fix a
t
ypo in the error mess
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpen
t
er
user_da
t
a: track user data that is returned
t
o o
t
h
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Da
n
Carpenter
bool_implicat
i
ons: remove debugging out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Dan
C
a
rpenter
fi
x
compile o
n
Ubun
t
u
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Car
p
en
t
er
generisize
.
pl:
s
trip al
l
strings
n
o
t just th
e
fir
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Da
n
Ca
r
penter
buf
_
size: Add a NULL
c
h
eck to g
e
t
_
array_siz
e
_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpe
n
ter
*new
*
sizeo
f
_pointer: using sizeof(p) where sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
over
f
l
o
w: chec
k
memc
p
y() to see if we'
r
e comparing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n Carpe
n
ter
extr
a
: don'
t
reset &arguments until th
e
oth
e
r checks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Car
p
enter
flow: change ho
w
"for (
i
=
0
;
; i++) {
.
.
.
"
is handle
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
C
a
r
p
enter
*n
e
w* or_vs_and: complain
a
bo
u
t if (x
!= 3 || x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carpenter
sparse: intro
d
u
c
e
g
et_exp
r
essio
n
_value_
n
o
m
o
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpenter
type: introduce is_po
i
n
t
er() funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Car
p
e
nter
extra: frob(
f
oo) r
e
sets the value of *fo
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan C
a
rpenter
extra: foo((void *)&x) wr
i
tes to x pro
b
ably
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
ranges: in
t
roduce
i
nvert_range_lis
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Da
n
Carp
e
nter
math
:
hand
l
e __smatch_impli
e
d(&x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
an Car
p
e
nt
e
r
ranges:
c
o
mmit range_lists_equ
i
v() so
t
hat
b
o
ol_implic
a
tions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next