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
*new* assign_vs_compare: if ((x = <constant>)) {
2012-07-24
Dan Carpen
t
er
*
n
e
w* assign_vs_c
o
m
p
are: if ((x
=
<
c
onstant
>
)) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Car
p
enter
ranges: introduce rl_contiguous(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carp
e
n
t
er
deref_check
:
silence s
o
me false positi
v
e o
n
cross fun
c
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_db_call_impl
i
es:
c
heck correct vari
a
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill_d
b
_return_implies: delete
the correct
t
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
D
a
n
Carpenter
pointe
r
_math: che
c
k ALIGN()
macro
m
ath
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpenter
he
l
p
er:
h
andle if (WARN_ON
(
i == ARRAY_SIZE(foo
)
) ret
u
rn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-02
Jon
a
tha
n
Neuschäfer
smatch_s
c
ript
s
: fix spellin
g
of "usage"
commit
|
commitdiff
|
tree
2012-07-02
Jon
a
t
h
a
n Neu
s
c
häfe
r
smatch: fix se
v
eral typos
commit
|
commitdiff
|
tree
2012-06-22
Dan C
a
rpenter
assigned_expr:
m
ove check_assi
g
ned_
e
xpr() to
s
m
a
tch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan
C
arp
e
nter
macro_
s
ide_effects: onl
y
ena
b
le wh
e
n
-
-spammy is u
s
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Ca
r
penter
ign
o
re_side_effects: add some more
ma
c
ros that
h
a
ve
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
an Carpenter
buf_size: add -
-
spa
m
my to validation test
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpente
r
overflow: remo
v
e strncpy() false pos
i
tive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n
Carpenter
Merge branch 'd
e
ve
l
'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size: turn
off buf size
f
o
r &addresses un
l
ess
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Carpenter
flow
:
handle
the __
n
o
ret
u
rn__ attribut
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size:
r
em
o
ve the
&
* a
n
d [0] from around the
p
oin
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI
Motohiro
s
p
a
r
s
e: A
d
d
'er
r
o
r
'
t
o igno
r
ed
a
t
tributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSA
K
I Mo
t
o
hiro
s
par
s
e: Add '__v
e
ctor_size__' to
i
gnored att
r
ibutes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n
Carpenter
sm_bu
f
:
don't return the max
i
mum
s
t
o
re buffer size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpen
t
er
b
u
f_size:
r
eturn the s
i
z
e
o
f
&f
o
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Da
n
Ca
r
penter
b
uf_s
i
ze: add
kmalloc_a
r
ray()
a
n
d
sock_kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
arpenter
buf_size: if the
member size is no
t
known then store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
D
an Carpenter
Merge
branc
h
'buf_size'
into
d
e
v
el
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
M
e
rge git:
/
/git
.
kernel
.
org/p
u
b/s
c
m/devel/sparse/s
p
arse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size
:
firs
t
get the size in bytes th
e
n c
o
nvert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpent
e
r
buf_size: remov
e
cast_
r
at
i
o()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_size: fix by
t
es_per_
e
lement() for
s
tr
i
n
gs and a
r
rays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpente
r
b
uf
_
size: delete
s
ome
duplicate code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: prefer t
h
e
declared
a
rray size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpent
e
r
buf_
s
iz
e
: s
t
rcpy() only set
s
the
s
i
ze of th
e
d
estination
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_size:
ignore casts in g
e
t
_
array_size_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
te
r
buf_size:
create an el
e
me
n
ts_to_bytes() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_
s
ize: separate b
y
tes_per_element
(
) into its o
w
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
te
r
buf_size: using ->bit_
s
ize doe
s
n'
t
wo
r
k
f
or vo
i
d
p
oi
n
ters
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
en
t
e
r
buf_size: use get_stored_si
z
e_bytes() d
i
rectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpe
n
ter
b
u
f_size:
ma
k
e get_stored_si
z
e_byt
e
s() a
s
epar
a
te function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_size: pul
l
bytes_t
o
_element
s
() in
i
t
s
own functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_size: calculate bytes per element bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpe
n
t
e
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 Carpent
e
r
buf_s
i
z
e
: if the size is variable pick
the larger one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
penter
buf_size: move get_size_
f
rom
_
strlen() into
it's own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_si
z
e: pull get_si
z
e_from_initializer() in
t
o
separa
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
a
rpenter
buf_size: move get_stored_size
(
)
o
u
t o
f
get
_
array_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
D
an
C
arpenter
b
uf_size:
p
u
ll handling of normal arrays in
t
o separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpente
r
buf_size:
mo
v
e
some f
u
ncti
o
ns around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
penter
buf
_
si
z
e: add mod
i
fication hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
debug: ad
d
a way
to debu
g
buffer sizes
__smatch_b
u
f
_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
D
a
n
Carpenter
Or vs and: warn about bitw
i
se
ANDs that
always give
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan C
a
rpen
t
er
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
C
a
rpenter
f
u
nctio
n
_ha
s
h: ma
k
e it easier to h
a
n
d
le a f
i
le
with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
Dan Ca
r
pente
r
signed: unbreak
the ch
e
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
overflow: update valid
a
t
i
on test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan
C
arp
e
nter
flow: handl
e
struct initial
i
zation bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Ca
r
p
e
nter
flow: h
a
n
d
l
e
EXPR_OFFSETOF and EXP
R
_ALIGNOF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpente
r
overflow: ignore "
x
= &foo[ARRAY_SIZE(fo
o
)]
;
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
an Carpent
e
r
overflow: w
h
i
t
e
space cle
a
nu
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
D
an Carpenter
implied: th
e
base slist is
not spec
i
al
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpente
r
slist: change fo
r
mat for debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
e
xpression
s
: i
n
t
roduc
e
som
e
more expres
s
ion allocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
val
i
dat
i
on: u
p
date der
e
f
e
rence
c
h
ec
k
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
D
a
n Carp
e
nter
implied:
c
e
r
t
a
i
n st
a
tes should
b
e left
as
i
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
D
a
n
Car
p
ente
r
sli
s
t: put t
h
e sm_sta
t
e
it
s
elf i
n
to
-
>po
s
sible not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Da
n
Carpenter
sli
s
t
:
clean
u
p merge_hooks A
P
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
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 Car
p
enter
estates: reuse same estate for ex
t
ra_
u
ndefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpenter
constraints:
get rid of add_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpent
e
r
constraints: remo
v
e
some dead co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: fix set_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan C
a
r
p
enter
const
r
ai
n
t
s: add_rel
a
ted() sh
o
uld
t
ake a related
_
l
ist
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpen
t
er
constraints: sort the ->related lis
t
properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: r
e
p
lace
get_
c
o
m
mon_
r
elatio
n
ship() wit
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Ca
r
penter
slist: move a
d
d_pool()
t
o
smatch_implied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
Dan C
a
rp
e
nte
r
bit_shift: add test_b
i
t() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
Dan Ca
r
p
e
nter
flo
w
: s
i
lence false positiv
e
s
c
a
used
b
y
hairy functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Carpenter
implied: rename ->my_
p
ool
t
o
->poo
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Carpent
e
r
slist:
rename add_possibl
e
() =
>
copy_possibles()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
r
p
e
n
te
r
o
r
_vs_and:
i
gnore *p++ || *p++
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carpent
e
r
track
e
r: fix a small memory leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carpenter
modification: remo
v
e calls to d
e
l
e
te_sta
t
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
check_der
e
ference: e
n
able this
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
d
b
:
s
tore whether 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
tracker
:
remove unused clone_trac
k
er
_
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
Dan
C
a
rpenter
u
ser_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
C
arpenter
d
b: white sp
a
ce
c
le
a
nups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db: move parameter_implica
t
ions
into the
database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
D
a
n Carpenter
range
s
: add possibl
y
_
t
rue/false_range_li
s
ts_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
D
an Carpente
r
overf
l
ow: a
u
tomatic
a
lly li
s
t fun
c
tions
that take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan
Car
p
enter
modificat
i
on_ho
o
k
s: co
m
p
l
ete
r
ewrite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
Dan Ca
r
pent
e
r
db:
p
rin
t
the SQL queries whe
n
--debug is
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan C
a
rpenter
clean
u
p: use valid_
p
tr_min/max
.
get rid of POIN
T
ER_MAX
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan
C
arpe
n
ter
e
x
tra: de
r
efe
r
encing a pointer means it is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan C
a
rpente
r
implied: cleanup debug
o
utput a little
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
s
list: pull sh
o
w_sm() i
n
t
o
a separate fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
c
h
eck
_
ke
r
nel: ERR_
P
T
R() re
t
ur
n
s non-NULL (mostly
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Ca
r
penter
der
e
f
e
renc
e
c
hecks
:
use the cro
s
s function info from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpe
n
ter
*new* check
_
dereferenc
e
s_param: list f
u
n
c
tio
n
s that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Car
p
enter
*
new* returns: m
e
rge all slists
f
rom all returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next