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
extra, function_hooks, db: change cross function analysis for returns
2012-08-14
Dan
Carpenter
extra
,
functio
n
_h
o
oks, db: change cross function analysis
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpe
n
ter
db: r
e
move the return_info table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpen
t
er
smatch_data: update the data dire
c
tor to the
l
a
t
e
s
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
db:
cal
l
er_i
n
f
o: fi
x
more fall out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
e
r
db: type
_
size: silence a p
e
rl warnin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
db: caller_info: update fixup_kernel
.
sh to
the new
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
e
x
tra: get_implied_range_list() shoul
d
retu
r
n 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data:
u
se the new return
_
states database table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
user_data: sy
s
calls are a source
o
f
u
s
e
r
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
t
er
u
s
er_dat
a
: if "p
t
r" is u
s
er data the
n
"*ptr" is user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: add
is_
u
ser_ma
c
ro() stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: skb->
d
ata is
us
e
r dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
extra: make a
f
unction stati
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
db: create return_sta
t
es table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
n
ter
db
:
add get_
r
eturn_id(
)
and
return
m
ark
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
db: improve error mess
a
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpent
e
r
db: caller_info changes:
s
tore
the ca
l
ler, p
a
ram =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: add return_values table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
err_ptr_deref:
r
emove dupl
i
c
ate conflicting co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
D
a
n Ca
r
p
ente
r
fu
n
ction_h
o
o
k
s: move reg
i
stration to the
r
i
ght place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Omair Moha
m
med Abdul
l
ah
Fix bug in Ma
k
e
f
ile that
c
a
u
s
es linking to fail
commit
|
commitdiff
|
tree
2012-08-09
Dan Car
p
en
t
er
d
e
re
f
_check:
r
e
m
o
ve dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
misc white space fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
implied
:
change
debugging outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
c
h
eck
s
: get rid o
f
s
o
me d
e
l
ete_state() cal
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpent
e
r
deref_che
c
k: fix
a false posi
t
ive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Christopher Li
Fix a bug with variables
n
a
me
d
"x
8
6_64"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
D
a
n
Carp
e
nter
s
p
a
r
s
e: comme
n
t out an
int
e
r
nal
e
rror messag
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
D
an
Carpen
t
er
Merge git://git
.
k
ernel
.
org/
p
ub
/
scm/d
e
v
e
l/s
p
ars
e
/ch
r
isl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*new* assign_vs_compare: if ((x =
<
constant>))
{
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
Car
p
e
n
t
e
r
ranges: int
r
oduce rl_contigu
o
u
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carp
e
nter
dere
f
_check: sil
e
n
ce some
f
a
lse po
s
itive on cross funct
i
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill
_
db_ca
l
l_implies: chec
k
corr
e
c
t
variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan C
a
rpenter
f
i
ll_d
b
_re
t
u
r
n_implies: delete the correct
t
a
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Da
n
C
a
r
penter
pointe
r
_m
a
th: check A
L
IGN() macro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpent
e
r
help
e
r: handl
e
if (WARN_ON(i == ARR
A
Y_SIZE(foo)) return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
J
o
n
a
than
N
e
uschäf
e
r
s
m
atch_scripts: fix spelling
of "usage"
commit
|
commitdiff
|
tree
2012-07-02
Jonatha
n
Neusc
h
äfer
smatch: fix several typ
o
s
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
assigned_e
x
p
r
:
move check_assi
g
n
e
d_expr
(
)
to
s
m
atch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
D
an Carpenter
macro_side_e
f
fects:
o
nly enable whe
n
-
-
s
p
am
m
y is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan C
a
rpenter
ign
o
r
e
_side_effects:
a
d
d so
m
e more mac
r
o
s
that have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an
C
arpenter
buf_size:
a
d
d
-
-spammy t
o
val
i
dation tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carp
e
nter
overflow: remove st
r
ncpy() fals
e
po
s
iti
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n
Carpenter
M
e
r
g
e branch 'd
e
vel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size: turn off buf size
f
or &address
e
s
unle
s
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpente
r
flow: handle the __noreturn__ att
r
ibute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Carpe
n
ter
bu
f
_
s
i
ze: remove
the &* and [0]
from aro
u
nd the
p
o
i
nter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAK
I
Motohiro
sparse
:
Add 'error' to igno
r
ed attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
sparse: Add '__v
e
ctor_
s
ize__' to ignored at
t
ributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Ca
r
pente
r
sm
_
buf: don't re
t
urn the ma
x
imum sto
r
e
buff
e
r size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n Carpenter
buf_
s
i
z
e: return
the siz
e
of &f
o
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
D
a
n Carpenter
buf_si
z
e: add
k
ma
l
loc_array() an
d
soc
k
_
kmallo
c
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpen
t
e
r
buf
_
siz
e
: if the
memb
e
r
s
i
z
e
is not
k
nown th
e
n store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carp
e
n
ter
Merge bra
n
ch 'buf_size' into devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Ca
r
p
enter
Merge g
i
t:
/
/g
i
t
.
kernel
.
org/pub/scm/devel/spar
s
e/spar
s
e
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Ca
r
penter
buf_
s
ize: f
i
rst get the siz
e
in
bytes then
c
onvert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
b
uf_s
i
ze: remove cast_ra
t
i
o
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
a
rpenter
buf_size: fix bytes_per_el
e
ment() f
o
r s
t
rings and arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carp
e
n
t
e
r
buf_size: delete some dup
l
ic
a
te code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
b
uf_size
:
pr
e
fer the decla
r
ed array size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_
s
ize: str
c
p
y
(
) only sets the s
i
ze o
f
t
h
e destination
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_si
z
e: ignor
e
cast
s
in get_a
r
ray_si
z
e_bytes(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
r
p
enter
buf
_
size: cr
e
a
t
e a
n
elements_to_bytes
(
) fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
enter
buf_size: separate bytes_per_elem
e
nt() i
n
to
i
t
s
own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpen
t
er
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
buf_size: use get
_
stored_siz
e
_b
y
t
es(
)
directl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size
:
make get_stored_size
_
by
t
e
s
() a separate function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_
s
i
z
e: pu
l
l bytes_to_elements() in its ow
n
f
un
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: c
a
lculate bytes per elemen
t
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf_
s
ize: add a
basi
c
vali
d
a
t
ion test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpen
t
er
buf_size: if
t
he size is variable
p
ick the larger
one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
Carpenter
buf
_
siz
e
: m
o
ve get_size_from_strlen()
i
n
t
o it
'
s own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
penter
b
u
f_siz
e
: pull
g
et_siz
e
_
f
rom_i
n
i
tializer() int
o
s
eparate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Car
p
enter
b
uf_size:
move g
e
t_st
o
red_size
(
) out
of get_
a
r
ray_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Car
p
ent
e
r
buf_s
i
ze:
p
u
ll
h
andling of normal arrays into sep
a
rate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
Ca
r
pent
e
r
b
u
f_
s
i
z
e
:
move some
functions
around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
an Carpe
n
te
r
buf
_
siz
e
: add modification ho
o
ks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Da
n
Car
p
enter
d
ebug: ad
d
a way t
o
debug b
u
ffe
r
siz
e
s
__smatch_buf_size
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or
v
s
and: warn ab
o
ut bitwise ANDs t
h
at alwa
y
s
g
i
v
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan C
a
rpe
n
ter
Or v
s
and: if (foo & ZERO) is nonsens
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpen
t
er
fu
n
ction_hash:
m
a
ke it easier to han
d
l
e a file with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Dan Carp
e
n
ter
signed: unbreak
th
e
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
overflow: update validation tes
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
flow: h
a
ndle struct
initializati
o
n better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
fl
o
w
: handle EXPR_OF
F
S
ETOF and EXPR
_
A
L
IGNOF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpen
t
e
r
overflow:
i
gnore "x =
&
foo[ARRAY_SIZE(
f
oo)];"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
overflow:
w
hite spac
e
cle
a
nups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
impl
i
ed:
t
he
b
as
e
slist
i
s not speci
a
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Da
n
C
ar
p
ent
e
r
s
l
i
s
t
:
change format for
d
ebug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpente
r
ex
p
ression
s
:
introduce some more expressio
n
alloc
a
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Da
n
C
a
rpenter
validation: update d
e
r
eference check output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Da
n
Carpenter
implied: certain
states
should
be left as is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carp
e
n
t
er
slist: put the
s
m
_state
i
tself into ->possible not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpe
n
ter
slist: c
l
eanup
merge_hooks API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpe
n
t
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
D
an Ca
r
pente
r
estates:
r
eu
s
e
s
ame estate for extra_undef
i
ned(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
a
rpenter
constraints
:
get
r
id
of a
d
d
_
equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: remove
some dead cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpent
e
r
c
onstraint
s
: fi
x
se
t
_equi
v
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: a
d
d_rel
a
t
e
d() should take a rela
t
ed_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next