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
pointer_math: check ALIGN() macro math
2012-07-17
Dan
C
arpenter
pointer_math: check ALIGN
(
)
m
ac
r
o
m
ath
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
helpe
r
:
handle
i
f (WA
R
N_ON(
i
==
ARRAY_SI
Z
E(foo)) return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neusc
h
äfer
smatch_
s
cripts:
f
i
x
s
pel
l
ing of "usage"
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neuschäfer
s
m
a
tch: fix
several typos
commit
|
commitdiff
|
tree
2012-06-22
Da
n
Carpenter
ass
i
gned_
e
xpr: move
check_as
s
igned_expr() to sma
t
ch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
D
an Carpenter
macro
_
side
_
ef
f
ects:
o
nly e
n
ab
l
e when
-
-spa
m
my is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Ca
r
pente
r
igno
r
e_
s
ide_effects: add some
mor
e
macros
tha
t
have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Carpenter
buf_size: add --
s
pa
m
my to
v
alidation
tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rp
e
nt
e
r
overf
l
o
w
: remove strncpy() false po
s
i
tiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
a
r
p
ent
e
r
Merge
branch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpent
e
r
buf_size: turn off bu
f
size f
o
r &
a
ddresses unless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpen
t
er
flow: handle the _
_
n
oret
u
rn__ attribute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size: remove the
&* and [0] from a
r
ound the p
o
in
t
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohi
r
o
sparse: Add
'error' to ignored attribut
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
s
p
ar
s
e:
A
dd '
_
_vecto
r
_
s
ize__'
to ignored attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan
C
a
rpenter
sm_buf: don't return the maximum store buffer size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
an Carpe
n
ter
buf_size: return the size of &f
o
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
a
r
p
e
nte
r
buf
_
size
:
add kma
l
loc_array
(
) and sock_kmall
o
c()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
buf_si
z
e: 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
arpenter
M
erge b
r
anch '
b
uf_size' int
o
devel
commit
|
commitdiff
|
tree
2012-06-15
Dan C
a
rpenter
M
erge git://git
.
kernel
.
org/pub/scm/
d
e
vel/spars
e
/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
b
u
f_size:
f
i
r
st ge
t
the s
i
ze in byt
e
s then
conv
e
rt
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
a
r
penter
b
u
f_size: re
m
o
v
e cast_rati
o
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf
_
si
z
e: fix by
t
es_per_element()
for
s
t
r
i
ngs and arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
buf_
s
ize: delete some dup
l
icate code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
b
u
f_size: prefer
the declared array size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
b
u
f_size: strcpy
(
) only se
t
s t
h
e size of
the destination
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
b
u
f_size: ignore casts in
g
e
t_array_siz
e
_
b
yte
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: cr
e
ate a
n
elements_
t
o
_
byt
e
s() func
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an
Carpent
e
r
buf_size:
s
epar
a
te
b
ytes_per_element() into its own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
e
nt
e
r
b
uf_size: using ->bit
_
size d
o
esn't work for vo
i
d point
e
rs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
bu
f
_size: u
s
e get_st
o
red_s
i
ze_bytes()
d
irectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpen
t
er
buf_size:
m
a
ke
g
e
t_s
t
ored_
s
iz
e
_bytes() a separate function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: pull bytes_to_eleme
n
ts() in its own function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Car
p
enter
b
u
f
_
size: calculat
e
bytes
p
er element
b
e
t
te
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpente
r
buf_size: add
a
basic
v
alidation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
buf_si
z
e
:
if the size is variabl
e
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_f
r
om_strlen
(
)
i
nto i
t
's own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpen
t
er
b
u
f_siz
e
: pull get_
s
ize_f
r
om_initializ
e
r()
i
nt
o
separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
p
e
nt
e
r
buf
_
size: m
o
ve get
_
stored_size() out
o
f
get_a
r
ray_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size: p
u
ll handling of normal arrays int
o
separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpe
n
ter
b
uf_size: move
some func
t
ion
s
around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
Carpenter
b
uf_size: add mo
d
ification hook
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
a
rpente
r
debug: add a way to debug buffer sizes __smatch_buf
_
size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
D
an C
a
rpenter
Or vs a
n
d: warn about
b
itwi
s
e A
N
D
s that a
l
ways give
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Da
n
Carpenter
Or
vs and: if (foo
& ZERO)
is nonsense
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Da
n
Carpenter
f
u
nction
_
hash: make
i
t easie
r
to handle a
f
ile
w
it
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Dan
Carpenter
signed:
unbreak the check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan
C
arpe
n
ter
overflow: updat
e
vali
d
a
tion test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
flow:
handl
e
struct
i
n
i
t
ialization better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan
C
arpenter
f
low: handle EXPR_OFF
S
ETOF and EXPR_A
L
IG
N
O
F
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpen
t
er
o
v
erf
l
o
w:
i
gn
o
r
e "x
=
&foo[ARR
A
Y
_SI
Z
E(foo
)
];"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan
C
arpenter
o
v
erflow: white
s
p
ace cle
a
n
u
ps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan C
a
rpente
r
implied: th
e
base slist i
s
not special
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n C
a
rpenter
s
l
ist
:
c
h
ange fo
r
mat for debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan C
a
rpenter
expres
s
ions: in
t
rodu
c
e some more expression allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
v
alidation: up
d
ate de
r
eference check
o
u
t
pu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan
C
a
rpenter
implied
:
cer
t
ain states sho
u
ld be lef
t
as is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan
C
a
r
p
e
nter
slist: put the
sm_
s
tate
i
tself into ->poss
i
ble not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpen
t
er
slist: clean
u
p merge
_
hooks API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Ca
r
penter
extra: do
n
't create a new merged estate if
-
>right
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan C
a
rpenter
estates: reuse
s
ame
e
s
tate for e
x
tra_und
e
fine
d
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: ge
t
r
id of add_equiv(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: remove some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpent
e
r
cons
t
raints:
fix set
_
equ
i
v()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Carpente
r
c
o
nstrain
t
s: add_
r
elated() should take a related_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carp
e
nt
e
r
c
o
n
straints: sort t
h
e
->related list pr
o
perly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constr
a
ints: re
p
lace
g
et_common_rel
a
tionship()
w
ith
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Carpenter
slist: m
o
ve
a
dd_p
o
ol() t
o
sma
t
ch_implie
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
Dan
C
arpenter
b
i
t_shift: add
t
est_bit()
functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
Dan C
a
r
p
e
nter
f
low
:
s
i
lence fal
s
e posi
t
ives
c
au
s
ed by hairy func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
im
p
lie
d
:
renam
e
->my_pool to ->pool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
slist: re
n
ame add_possibl
e
(
)
=>
c
o
py_
p
o
ssibles()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Ca
r
penter
or_vs_and: ignore *p++ || *p++
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpenter
tracker: fix a small memory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Car
p
e
n
ter
modification: remov
e
c
alls
t
o del
e
te_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
ar
p
enter
c
he
c
k_derefer
e
n
ce: enable
t
his
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
db: s
t
or
e
whet
h
er
functions are global or s
t
atic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
tracker: remove unused clone_tracker_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
slist: bu
f
f
e
r
overflow in debugg
i
ng code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Car
p
enter
user_dat
a
:
f
i
x
N
U
L
L deref
e
rence
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
D
a
n C
a
rpenter
db:
whit
e
space cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
d
b
: move
param
e
t
e
r_impli
c
ation
s
into the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan
Carpen
t
er
ranges: add possibly_
t
rue/false_range_lists
_
rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan
Carp
e
nter
overflow
:
aut
o
matically list fun
c
ti
o
n
s
that take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
D
an Carpenter
modification
_
h
ooks: c
o
mplete rewr
i
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
Dan Carpen
t
er
db: print the SQL queries w
h
e
n
-
-
de
b
ug is
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Da
n
C
a
rpenter
cle
a
nup:
u
s
e va
l
i
d
_ptr_min/max
.
get
r
id of PO
I
NTER_
M
AX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
extra:
d
er
e
f
erencing a
p
ointer means it i
s
valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpen
t
er
imp
l
ied: cleanup debug out
p
ut a little
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Car
p
en
t
er
s
l
i
s
t:
p
ull s
h
ow
_
s
m(
)
into a separate function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carp
e
nter
c
h
e
ck_kern
e
l: ERR_PTR() returns non-NULL (mostly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carp
e
nter
dere
f
e
r
e
nce checks: use the c
r
oss functi
o
n info from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan C
a
r
p
e
nter
*new* chec
k
_dereferences_param: list functi
o
ns that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Ca
r
pente
r
*new* returns: mer
g
e all slists
f
rom all
r
e
turns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
arpen
t
er
db: add call_impl
i
e
s table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Car
p
enter
fl
o
w
:
print a di
f
ferent filename when --info opt
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan C
a
rpe
n
ter
deref: fix a typo in the error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan
C
arp
e
nt
e
r
u
ser_data: trac
k
user dat
a
that is
retur
n
e
d to o
t
her
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
b
ool_implicat
i
ons
:
remove de
b
ugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next