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
user_data: add is_user_macro() stub
2012-08-14
Dan Carp
e
nter
u
ser_d
a
ta: ad
d
is_user_macro
(
) stu
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
ser_data
:
skb->data is us
e
r data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Car
p
en
t
er
extra: ma
k
e a functio
n
stati
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
db:
c
r
e
at
e
r
eturn_states
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an
C
arpenter
db: add get_re
t
urn_id() and return markers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
db: improve error mes
s
a
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
n
ter
db:
caller_info changes
:
store the call
e
r
, param =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: add
r
eturn_valu
e
s tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
err_ptr_deref:
r
e
m
ove duplica
t
e conf
l
icting co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpenter
function
_
hooks: mov
e
registration to the right place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpenter
der
e
f_check: rem
o
ve dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
misc white
space fixe
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n Car
p
enter
implied: change debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
checks: get
r
id of some
de
l
ete_state(
)
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
deref_check: fix a false positi
v
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carpenter
sparse: com
m
e
n
t out a
n
i
n
ternal er
r
or mess
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Da
n
C
a
rpenter
Merge git://g
i
t
.
k
e
rnel
.
o
rg/
p
u
b
/
s
cm/
d
evel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Da
n
C
arpenter
*new* as
s
ign_vs_compare: if (
(
x
=
<cons
t
ant>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
ranges: intr
o
duc
e
rl_contiguous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
deref_c
h
eck: sile
n
ce some false positive on
c
ro
s
s function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
C
arpenter
fill_db_call
_
i
mplies:
c
he
c
k corr
e
c
t variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
Carpe
n
ter
fill_db_return
_
im
p
l
ies: dele
t
e the correct table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan Ca
r
penter
point
e
r_math:
c
heck
A
L
I
GN() m
a
c
r
o
m
a
th
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan
Ca
r
pent
e
r
he
l
per: handle i
f
(
W
A
R
N
_
O
N(i == ARRAY_SIZE(foo))
r
eturn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan
Carpenter
assi
g
ned
_
expr: move
check_assigned_expr
(
) to
s
match
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan
C
arpenter
macr
o
_side_effects: only e
n
able when --spammy is us
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan
C
arpenter
ignor
e
_side_effects:
a
dd som
e
more mac
r
o
s
that
h
a
v
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Ca
r
penter
b
u
f_size: add
-
-sp
a
mmy t
o
valida
t
ion tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpenter
o
v
erflow: remo
v
e
strncpy() false pos
i
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Car
p
e
n
te
r
Merge branch 'devel
'
commit
|
commitdiff
|
tree
2012-06-18
D
a
n
C
a
rpen
t
er
buf_size: turn off
buf si
z
e
for &a
d
dress
e
s unle
s
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
flow: handle the __no
r
e
tur
n
__ attribut
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Car
p
enter
buf_size: remove th
e
&* an
d
[0] f
r
om around t
h
e poi
n
ter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carp
e
nter
sm_
b
uf:
d
o
n't return the maximum store buffer size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n Carpenter
bu
f
_size: re
t
urn the size of &
f
oo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Da
n
C
arpenter
buf_size: add
k
m
a
llo
c
_array
(
) an
d
sock_kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
b
uf_siz
e
: if the member size is not
k
nown th
e
n
store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
D
an Carpenter
Merge branch 'buf
_
size' into devel
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
arpenter
Mer
g
e git://gi
t
.
kernel
.
org/pub/scm/
d
evel/
s
p
a
r
se/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpe
n
ter
bu
f
_size: f
i
rst get the
size in byte
s
the
n
convert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carp
e
nt
e
r
buf_size: remove
cast_ratio()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
n
t
er
bu
f
_
s
ize: fix bytes_
p
e
r_element
(
)
for strings a
n
d a
r
ra
y
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: de
l
ete some duplicate code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_size:
p
refer the declar
e
d array size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: strcpy() only sets the size of the desti
n
ation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
b
u
f_size: ignore casts in
g
et_array_si
z
e_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: cr
e
ate an
elements_to_by
t
e
s
() funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
b
u
f_size:
se
p
arate
b
yte
s
_per
_
e
l
ement() into its
o
wn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_size
:
us
i
ng ->bit_size doesn't work
for void
pointers
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpen
t
er
buf_size: use get_stor
e
d_s
i
z
e_bytes() directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
buf_si
z
e: make get_st
o
red_size_bytes() a separate func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpente
r
b
u
f
_si
z
e: p
u
ll
bytes_to_ele
m
ents(
)
in its o
w
n fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
buf_size:
c
alculate bytes per elemen
t
b
ett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpe
n
te
r
b
uf_size
:
add a b
a
sic validation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
b
u
f
_
siz
e
:
i
f
the size is v
a
r
i
a
b
le pi
c
k the larger one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpente
r
buf_
s
ize:
m
o
v
e get_size_from_strlen() i
n
to it's
o
w
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpente
r
buf_size:
p
ull get_size_
f
rom_initia
l
i
z
er() into
separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
b
uf_size: m
o
ve get_store
d
_size() out of get_array_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n Carpenter
buf_size: pull ha
n
dling
o
f
n
orma
l
arrays
i
n
t
o sep
a
rate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
pe
n
t
e
r
buf_size: move s
o
me functions around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carp
e
nter
buf_size: add mod
i
ficati
o
n hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpe
n
t
e
r
d
e
b
u
g: add a
way to debug
b
uffer sizes __smatch_buf_si
z
e(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carp
e
n
t
er
Or
v
s a
n
d:
warn about bitwise
A
NDs that a
l
way
s
give
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
O
r v
s
and: if (foo & ZERO)
is nonsense
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
fu
n
ction_hash: make it easier to handle a file with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Dan Carpe
n
t
e
r
signed: un
b
reak t
h
e
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n Car
p
enter
overflow: update vali
d
atio
n
test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpen
t
er
f
low: handle struct initial
i
z
ation better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
f
low: handl
e
EXPR_OFFSETOF and EXPR_ALIG
N
OF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan
Carpenter
overflow: ign
o
re "x
=
&foo[
A
RR
A
Y_SIZE(foo
)
];"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan C
a
rp
e
nter
overflow
:
white space
c
leanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
implied
:
the bas
e
s
list is no
t
sp
e
cial
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
slist:
c
ha
n
ge format
for
d
ebug o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Car
p
enter
expressions
:
introd
u
ce some m
o
re expres
s
i
on allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpen
t
er
vali
d
ation: upd
a
te d
e
r
eference check ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Da
n
C
arpenter
implied: c
e
rtain states sh
o
uld
be left as is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
slist: put the
s
m_state it
s
elf i
n
to ->possible not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
slis
t
: cl
e
an
u
p merge
_
h
o
oks API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
extra: don't
c
reate a new me
r
ged estate if ->right
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
estates: reuse same es
t
ate for ex
t
ra_undefined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
an Carp
e
n
ter
cons
t
raints:
g
et rid of add_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
arpenter
co
n
s
traints
:
rem
o
ve s
o
me
d
ead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpenter
constraints:
f
ix set_equ
i
v()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
C
arpenter
constraints: add_
r
elated() should take a related_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Car
p
ente
r
co
n
str
a
int
s
:
sor
t
the ->re
l
a
te
d
list
prop
e
rly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
con
s
traints: replace get_commo
n
_relationship() wi
t
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
slist: mov
e
ad
d
_pool()
to smatch_implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
D
a
n
C
arpenter
bit_shift: a
d
d test
_
bit(
)
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
D
an Ca
r
penter
f
l
ow:
sile
n
ce false positive
s
c
a
used
by hairy functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Ca
r
p
e
nter
implie
d
: re
n
ame ->my_pool
t
o ->pool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
slist: rena
m
e
add_
p
ossible
(
)
=
>
c
opy_possib
l
e
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
or_
v
s_and: ignore *p++ || *p++
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpente
r
tracker: fix a small memory lea
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arp
e
n
ter
modifi
c
atio
n
:
remove ca
l
ls
to dele
t
e
_
state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
an Carpenter
chec
k
_
d
ereference: enable this
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpe
n
ter
db:
s
to
r
e whether f
u
nctions a
r
e global or stati
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
t
r
acke
r
: remov
e
unused
c
lone_tra
c
ker_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Car
p
enter
slist: buffer
o
verflow in
d
ebugging code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Ca
r
p
enter
u
s
e
r
_data: fix NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan
C
a
rpe
n
ter
db: wh
i
te space cle
a
nups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next