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: syscalls are a source of user data
2012-08-14
D
a
n Carpenter
user_data: syscalls are a source of user
d
at
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
user_data: if "p
t
r" is user data then "*ptr" is
user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
user_
d
ata
:
a
d
d is_user_macro() stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an
Carp
e
n
te
r
u
s
er
_
da
t
a: skb->data
i
s user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
a
rpent
e
r
e
xtr
a
:
make a
f
unction static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpente
r
d
b: create retu
r
n_states table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: add
ge
t
_
re
t
ur
n
_id() and return markers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpente
r
db:
im
p
rove error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: ca
l
ler_info chang
e
s: store the caller, pa
r
am =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
db: add return_val
u
es ta
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
e
r
r_pt
r
_deref: remove duplica
t
e conflicting
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpenter
f
unction_ho
o
ks:
mov
e
registratio
n
to the
r
ight place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
O
mair Moha
m
med Abdullah
F
ix bug
in Ma
k
efile that causes linking to fai
l
commit
|
commitdiff
|
tree
2012-08-09
Dan
C
a
r
pe
n
ter
der
e
f_check: remove dead
co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpent
e
r
m
i
s
c
wh
i
te
s
p
ace
fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Car
p
enter
implied:
chan
g
e debug
g
ing ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Ca
r
pente
r
c
h
ecks:
g
et rid
o
f
so
m
e dele
t
e
_
state() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan
Carpenter
deref_
c
heck
:
f
ix a f
a
lse positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Christopher Li
Fix a bug with var
i
ables
n
amed "x86_
6
4"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Da
n
C
arpenter
s
parse: comment out an in
t
e
r
nal error mess
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Da
n
Carpen
t
er
Merge git
:
/
/gi
t
.
kernel
.
org
/
pub/scm/de
v
el/s
p
a
r
se/c
h
ris
l
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpent
e
r
*new* a
s
s
ign_vs_compar
e
: if ((x = <constant>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Ca
r
penter
ranges: introdu
c
e
rl_con
t
ig
u
ous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan C
a
rpenter
deref_check: si
l
ence some false
p
osi
t
iv
e
on cros
s
function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
an Ca
r
penter
fill_
d
b_call_implies: check
correct vari
a
b
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Ca
r
penter
f
i
ll_db_r
e
turn_impl
i
es: dele
t
e the co
r
r
ect table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpente
r
po
i
n
t
er_math: check
A
L
IGN()
macro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Ca
r
penter
helper: h
a
ndle if (WARN_ON(i ==
A
R
RAY_SIZE(fo
o
))
return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neu
s
chäf
e
r
smatch_scripts: fix spe
l
ling of "usage"
commit
|
commitdiff
|
tree
2012-07-02
Jo
n
a
than Neuschäfer
s
match: fix s
e
ver
a
l typo
s
commit
|
commitdiff
|
tree
2012-06-22
Da
n
Carpenter
a
s
s
igned_expr: move check_as
s
igned_expr
(
) to sm
a
tch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Car
p
en
t
er
macro_si
d
e_e
f
fec
t
s: only enabl
e
when --spammy is
used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan C
a
rpenter
ignore_s
i
de_effects: ad
d
some more macros that
have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Carpenter
buf_size: add --spammy
t
o validation tes
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carp
e
nter
overflow: remove strncpy() fals
e
positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an
Carpenter
Mer
g
e bran
c
h 'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpe
n
t
er
b
u
f_
s
ize:
t
u
rn off buf siz
e
for &a
d
dresses u
n
less
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Car
p
enter
flow: h
a
ndle
t
he __nore
t
urn__ attribute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an Ca
r
p
e
nter
b
u
f
_s
i
ze:
remove the &* and [0] from around the pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Mot
o
h
iro
sparse: Add
'
error' t
o
i
g
n
o
red attrib
u
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
K
O
SA
K
I Motohir
o
s
p
a
rse: A
d
d '__
v
e
ctor_siz
e
__' to
i
gno
r
e
d
attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpen
t
er
sm_bu
f
: don't retur
n
the maximum store buff
e
r
size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
an Carpenter
buf_size: return the size of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Ca
r
p
e
n
te
r
buf_size: add kmalloc_
a
r
r
ay(
)
a
nd so
c
k_kmallo
c
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpente
r
buf_size:
if the membe
r
si
z
e i
s
not kno
w
n
then store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpent
e
r
Merge
b
ranch 'bu
f
_siz
e
'
i
nto d
e
vel
commit
|
commitdiff
|
tree
2012-06-15
Dan
Carpent
e
r
Merge git://git
.
kernel
.
org
/
p
u
b
/scm
/
deve
l
/sparse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rp
e
nter
b
uf_size: f
i
rst get the size
i
n by
t
es then convert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
Carp
e
nter
buf_si
z
e: remov
e
cast_ratio()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
C
a
r
pe
n
ter
b
uf_size:
fix byte
s
_per_element() for strings and
a
rrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
n
t
e
r
b
uf_size: delete
some duplicate code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carp
e
n
t
er
b
u
f_
s
ize: prefer the declared
array size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
b
u
f_size: strc
p
y
() o
n
ly sets
t
he size o
f
the destinati
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf_size: i
g
nor
e
casts i
n
get_array
_
size_
b
y
t
e
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
t
er
buf_size:
creat
e
an e
l
e
ment
s
_to_bytes(
)
f
u
n
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_size: separa
t
e bytes_per_element() into
i
ts own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
p
enter
buf_siz
e
: using ->b
i
t_size doesn'
t
work for
void pointers
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf_size: use g
e
t_stored_s
i
ze_b
y
tes() directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_
s
ize
:
m
a
ke
g
e
t_stored_s
i
ze_bytes() a sepa
r
at
e
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpenter
buf_size:
p
ull bytes_to_elemen
t
s() i
n
i
t
s own
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_s
i
ze: ca
l
c
u
late b
y
tes per el
e
men
t
bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an
C
arpent
e
r
buf_
s
ize: add a basic va
l
idation
t
est
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpe
n
ter
buf_s
i
ze:
i
f
t
h
e siz
e
is variable
p
ick th
e
larger o
n
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpenter
buf_size: move get_
s
ize_
f
rom_strlen() into it
'
s own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Carpenter
b
uf_size: pull
g
et_size_f
r
om_initia
l
izer() into s
e
parate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_size: move ge
t
_stored_
s
i
ze() out o
f
get_a
r
ray_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan C
a
rpente
r
bu
f
_size:
p
ull h
a
n
dling
o
f
normal
a
rrays into separa
t
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
p
e
nter
bu
f
_
s
i
z
e: move so
m
e
functi
o
ns around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n Ca
r
pent
e
r
buf_size:
add modification hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
an Ca
r
penter
debug: add a w
a
y t
o
debug buffer sizes __s
m
atch
_
buf_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Ca
r
penter
Or vs and: warn abo
u
t bitw
i
se A
N
Ds that a
l
w
ays give
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carp
e
nter
O
r
vs and: if (foo
&
ZERO) is nonsense
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpe
n
ter
function
_
hash:
m
a
k
e it easier to
h
andle
a
fi
l
e
with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Dan
C
a
r
penter
signed
:
unbrea
k
t
h
e check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan
Carpenter
over
f
low:
u
p
date
v
a
li
d
ation te
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Car
p
enter
f
low:
h
andle
st
r
u
ct initialization better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
fl
o
w
:
h
andle EXPR_OFFSETOF and EXPR_ALIGNO
F
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n
Carpenter
o
verflow: ignore "x =
&
fo
o
[ARRAY_SIZE(foo)];"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan
Carpenter
o
verflow: whi
t
e space cleanu
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan C
a
rp
e
nter
implied: the base slist
i
s
not special
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan C
a
rpenter
s
list
:
chang
e
format for debug
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan
C
ar
p
e
nt
e
r
e
xpr
e
s
s
ions: introduce so
m
e mor
e
expression all
o
catio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpente
r
validatio
n
: u
p
dat
e
der
e
ferenc
e
check output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Car
p
e
n
t
er
implied: cert
a
in s
t
ates shoul
d
be left as is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Car
p
enter
slis
t
:
put t
h
e sm
_
stat
e
itself into ->possible not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carp
e
nter
slist: cle
a
nup mer
g
e_hooks API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
extra: don'
t
create a
n
ew merged estate
i
f ->right
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpenter
estates: r
e
use
same
es
t
ate
f
or extr
a
_unde
f
in
e
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Car
p
ente
r
constrai
n
ts: get rid of add_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
c
o
n
st
r
a
i
nts: remo
v
e
s
om
e
dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
an Carp
e
nte
r
constraint
s
: fix set
_
equi
v
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constrai
n
ts: add_related() s
h
oul
d
t
a
ke a
related_lis
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpent
e
r
c
o
nstraints: sort
t
h
e ->related l
i
st properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
a
r
penter
con
s
tra
i
nts: replace g
e
t_common_
r
e
l
ationship(
)
with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
arpenter
s
l
ist: move add_pool() to smatch_implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
D
a
n Carpente
r
bi
t
_shift: add t
e
st_
b
i
t
() funct
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
Dan Carp
e
n
t
er
flow
:
silence false p
o
sitiv
e
s
c
a
u
s
ed by
hairy functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
an Carpenter
implied:
rename ->my_pool to ->pool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carpenter
slist: re
n
am
e
add_po
s
sible
(
) => co
p
y_po
s
sibles
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpente
r
or_vs_and:
i
g
n
o
re *
p
++ || *p
+
+
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next