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
ranges: parse the ranges list correctly if it only includes "max"
2012-10-04
D
a
n Carpe
n
ter
ran
g
es: parse the ranges list correctly if
i
t only
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
math: known
condi
t
i
ons are equ
a
l to one
o
r zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpent
e
r
math:
h
andle
select statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpen
t
er
helper
:
improve
p
rinted messa
g
e
s
a b
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
D
an Ca
r
penter
e
xt
r
a: hand
l
e a
s
m expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan C
a
rpenter
dereferences_
p
aram: handle strcmp
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
D
an Carpenter
r
a
nges: kill the
"
Erro
r
inval
i
d
range message"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpent
e
r
a
ssigned_expr:
i
gnore
+
= assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpente
r
function_hooks
:
w
hi
t
e spac
e
fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Da
n
C
a
r
penter
function_
h
ooks:
u
se
the stripped function call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
D
a
n Car
p
enter
d
b
, buf
_
size, p
a
rse_call
_
math: t
r
ack th
e
size of returned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
get_implie
d
_
r
ange_l
i
st: use the new
fu
n
ction ho
o
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Ca
r
p
e
nter
implied_value:
don't
get c
o
nfus
e
d
by
ca
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan
C
arpenter
db/return_states: fix return value
s
f
o
r
USER_DATA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan
Carpen
t
er
f
unct
i
on_hooks: clean up some nami
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
func
t
i
o
n_hooks: int
r
oduce get_implied_r
e
turn()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
misc: whites
p
ace cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
d
b
_caller_info: add
s
ome comments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carp
e
nt
e
r
db, function
_
hoo
k
s
:
pass assignme
n
t exp
r
ession to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-17
D
an Carpe
n
ter
buf_si
z
e
:
introduce get
_
array_
s
ize_bytes_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Horst H
.
von Brand
Install
c
gcc
t
oo
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpe
n
ter
capped: fix h
o
w
the
min
(
) mac
r
o is han
d
led
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carp
e
n
ter
buf_s
i
z
e
: db: Use
t
h
e --spammy option to fill
the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carp
e
n
t
er
buf_size: mer
g
ing two sam
e
size buffers
give a same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
D
an Carpenter
buf_s
i
z
e
: r
e
cord static var
i
ables in the databa
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Da
n
Carpent
e
r
proc_create: fix a whit
e
spac
e
issu
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-11
Da
n
C
a
rpenter
buf_si
z
e, db: if a
st
r
uct member size is set in th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-09
Dan
C
arpenter
check_kernel: fix ERR_PTR() f
a
lse positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
Dan Ca
r
penter
l
ogi
c
al_inst
e
ad_o
f
_bitw
i
se: foo =
(
1 <
<
x) && y; is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-15
D
a
n Carpenter
locki
n
g: _bh
l
ock fun
c
tions are
n
est
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
e
xt
r
a
: intr
o
duce f
i
lter_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
ker
n
el: handle
I
S_
E
RR() p
r
operly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
db_info:
r
em
o
ve u
n
used pri
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
extra, function_hoo
k
s, db:
chang
e
cro
s
s f
u
nction
analysis
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: remove the return_info tabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Ca
r
pente
r
smatch_data: update the data
d
irector to
th
e
lat
e
st
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpente
r
db: cal
l
e
r
_info: fix
m
o
r
e
f
a
ll out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: type_
s
i
ze:
s
i
lence a perl warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b: c
a
l
l
er_info: update fixup_kernel
.
sh
to the new
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
extra:
g
et_implied_rang
e
_list() should return
0 if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: use the new
return_states database t
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
user_d
a
ta:
s
yscalls
are
a sou
r
ce of user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Ca
r
pent
e
r
use
r
_da
t
a: if "ptr"
i
s user
data then
"
*
ptr" is user
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_da
t
a: add is_user_macro() s
t
u
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
r
p
ente
r
u
s
er_data: skb->data is user
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Ca
r
pen
t
er
e
x
tra:
m
ake a funct
i
on stat
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: create return_states
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
db:
add g
e
t_return_id() and ret
u
rn markers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
db
:
improve err
o
r message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: caller_info changes: store the cal
l
er, param =
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carp
e
n
t
e
r
db: add r
e
turn_values table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
err
_
ptr_deref: remove duplicate conflicting code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpenter
function_hooks: move registration to the right place
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Omair
M
ohammed Abdul
l
ah
Fix bug
i
n Makefile
t
hat
c
auses li
n
king to
f
ail
commit
|
commitdiff
|
tree
2012-08-09
D
an Carpenter
deref_ch
e
c
k
:
remo
v
e dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpen
t
er
misc
w
hite
s
pace
fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpent
e
r
i
m
pli
e
d: change debugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carp
e
nte
r
che
c
ks:
get
r
i
d of
some
d
elet
e
_
state
(
)
c
a
lls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpente
r
deref_
c
h
e
ck: fix
a
fa
l
se positive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Christopher Li
Fix
a
b
u
g
wit
h
varia
b
le
s
nam
e
d
"
x8
6
_
64
"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan
Carpente
r
s
pars
e
: comment
o
ut
an internal error me
s
sage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan
Carpente
r
Merge git://git
.
kerne
l
.
org/pu
b
/scm/devel/spar
s
e/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*
new*
assign_vs_compare: if ((x
=
<const
a
nt>))
{
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
ranges:
i
ntroduce
r
l
_contig
u
ous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpente
r
deref_check: silence some
f
al
s
e positive on cro
s
s f
u
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
D
an Carpenter
fil
l
_db_
c
all_implies: check correct variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
C
a
rpente
r
fill_db_
r
et
u
rn_implies: delete the correct table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpe
n
ter
pointer_math: ch
e
ck ALIGN()
m
acro math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
Dan Ca
r
pent
e
r
h
e
lpe
r
: handle
i
f (WARN_O
N
(i ==
A
R
RAY_SIZE(foo))
r
e
tur
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-02
J
onathan
Neus
c
hä
f
er
smatch_script
s
: fi
x
spe
l
ling o
f
"u
s
age"
commit
|
commitdiff
|
tree
2012-07-02
Jonath
a
n Neuschäf
e
r
smatc
h
: fix severa
l
t
ypos
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpent
e
r
assigned_expr: mov
e
chec
k
_
a
ssigned_expr() to smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan C
a
rpenter
macro_si
d
e
_effec
t
s: only enable
when
-
-s
p
a
mmy is
u
sed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan
C
arp
e
nter
i
g
nore_side_effect
s
: add some
more
m
a
cros that have
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
r
penter
buf_s
i
ze: add --spammy
to validation tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
overflow: r
e
move strncpy() false
p
o
sitives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpenter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
D
a
n
Carp
e
nter
b
u
f_size: turn off buf siz
e
for &addr
e
sses unless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Carpent
e
r
flow:
h
andle
t
he __noreturn__
a
t
tr
i
bute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpenter
buf_
s
iz
e
: re
m
ove
the &*
and [0] from ar
o
und
t
he pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOS
A
K
I
Motohiro
sparse: Add
'
er
r
or' t
o
ignored attri
b
utes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
sparse: Ad
d
'__vec
t
o
r
_size__' to ignored
a
ttributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n
Carpen
t
er
sm_b
u
f: don't
return the maximum store
buffer size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpent
e
r
buf_size: return
t
he size of &f
o
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpe
n
ter
bu
f
_size: add kmalloc_ar
r
ay(
)
and so
c
k_kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Ca
r
penter
bu
f
_size: i
f
the member size is not
k
n
o
w
n
then sto
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
D
a
n Carpenter
Me
r
g
e
b
ranch 'b
u
f_size
'
into devel
commit
|
commitdiff
|
tree
2012-06-15
Da
n
C
arpent
e
r
Me
r
ge git
:
//git
.
kernel
.
org/pub/scm/devel/sparse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
bu
f
_s
i
ze: fi
r
st
g
et
t
he s
i
ze
in by
t
e
s t
h
en convert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nter
buf_size: remove cast_
r
atio()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf_siz
e
: fix bytes_per_e
l
eme
n
t()
for string
s
and
a
rrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
buf_size
:
delete s
o
m
e duplicate code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carp
e
n
ter
buf_s
i
z
e
:
pr
e
fer the dec
l
ared a
r
ray size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
buf_
s
ize: strcpy() onl
y
sets t
h
e size of the destinati
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
ar
p
ente
r
b
uf_si
z
e:
ignore casts in
get_ar
r
ay_size_byte
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpent
e
r
buf_size: create an elements_to
_
b
ytes(
)
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: separate bytes_pe
r
_element
(
)
into its
o
wn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n C
a
rp
e
n
t
er
buf_size: using
-
>bit_siz
e
doesn't work for
void po
i
nters
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
buf_size: us
e
get
_
s
tored_si
z
e_b
y
tes(
)
directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_siz
e
: m
a
ke get
_
stored_size_by
t
es()
a separat
e
fun
c
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next