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
math: improve how known logical operations are handled
2012-10-11
Da
n
Carpenter
math: imp
r
ove
how known lo
g
ical operations
are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-10
Dan Carp
e
nter
type: simplify get_binop_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-09
D
a
n
Carp
e
nter
ty
p
e:
imp
r
o
ve hand
l
i
n
g of typ
e
promotion on binary
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Da
n
Car
p
enter
extra: delete so
m
e debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
D
a
n
Carpen
t
er
ranges:
p
arse t
h
e ranges list corr
e
ctly if it
o
nly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
D
a
n Ca
r
penter
math: k
n
own condition
s
are equal to one or z
e
ro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
Carpente
r
math: handl
e
select sta
t
e
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
D
a
n
Carpenter
helper: improve
p
rinted mess
a
ges a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpe
n
ter
e
x
t
r
a: handle asm ex
p
ress
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
dereferences_param:
handle strcmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpenter
ranges: kill the "E
r
ror inv
a
l
i
d range message"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan
C
arpenter
assigned_expr: ignore += assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
function_
h
ook
s
: white
spa
c
e fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Ca
r
pen
t
er
f
unction_hooks: use the
s
tr
i
ppe
d
function call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
db, buf_size
,
p
a
rse_call_math: track the size
o
f re
t
urned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpe
n
ter
get_impl
i
ed_range_list
:
us
e
the new function hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Da
n
Ca
r
penter
implied_value: don't
g
et
c
onfused b
y
casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Car
p
enter
d
b
/r
e
turn_sta
t
es:
fix retur
n
valu
e
s for USER_DATA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
fu
n
ction_ho
o
k
s
: c
l
ean up s
o
me nam
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Ca
r
penter
function_ho
o
ks: introduce get
_
imp
l
ied_return()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Ca
r
pente
r
misc: whitesp
a
ce
c
leanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
D
a
n
Ca
r
p
e
nter
db_
c
aller_info: add s
o
me comments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
D
a
n
Carpenter
db, function_h
o
oks: pass ass
i
gnmen
t
e
x
pression to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-17
Dan
Carpenter
bu
f
_
size: i
n
troduce get_ar
r
ay_size_byt
e
s
_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
capped: fix how the min()
mac
r
o is han
d
le
d
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
arpen
t
er
b
u
f
_size: db: Us
e
t
h
e --spammy op
t
io
n
t
o fill
the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
D
an C
a
rpenter
bu
f
_si
z
e:
merging t
w
o sa
m
e siz
e
buf
f
ers gi
v
e
a
sa
m
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf_size: record s
t
atic variables i
n
th
e
datab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan C
a
rpe
n
ter
proc
_
c
r
eate: fi
x
a wh
i
tespac
e
issue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-11
Dan C
a
rpen
t
er
buf_
s
ize, db: if a struct member size is set in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-09
Dan Ca
r
penter
chec
k
_ke
r
nel: fix ERR_PTR(
)
false
p
ositiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpenter
lo
g
i
cal_inste
a
d_of_bitwise
:
foo =
(1 << x) &
&
y; i
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-15
D
a
n Carpe
n
ter
lock
i
ng: _
b
h
lo
c
k
functions are ne
s
tab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpen
t
e
r
extra
:
introduce filter_rang
e
_list(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
k
ern
e
l: hand
l
e IS_ERR() properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpent
e
r
db_info: remove unu
s
e
d
pri
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra
,
f
u
nc
t
ion_
h
ooks, db:
change cross f
u
n
c
t
ion analysi
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
db
:
r
emove the
return_i
n
f
o
t
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
smat
c
h_data:
u
pdate the data
director to the late
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
rpenter
db
:
call
e
r_info: f
i
x more
f
all out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: t
y
pe_size: silence
a
perl
w
ar
n
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b: caller
_
info: upd
a
te fixup_kernel
.
sh to the new
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra: get_implied_ra
n
ge_list() s
h
ould 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_s
t
ates database table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
use
r
_data: syscalls are a source of
user
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
te
r
user
_
d
ata
:
if "ptr" is user
dat
a
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_user_ma
c
ro() stub
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rp
e
nt
e
r
us
e
r
_
d
a
t
a
:
s
k
b
->data is
u
ser data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an
C
a
rpe
n
ter
ex
t
ra: make
a
f
unction static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
db: create r
e
turn_st
a
t
es tabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
db
:
a
d
d
get_return_id() and
r
e
t
u
r
n markers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: improve
e
rror
mess
a
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
n
t
er
db: caller_
i
n
f
o changes: store the calle
r
, p
a
ram =
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
db: add return_v
a
lues tab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
err_ptr_de
r
ef:
remove
d
uplicat
e
c
onflicting code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpenter
function_hooks: move re
g
istration to the right p
l
ace
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpent
e
r
deref
_
check: remove dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
m
i
sc white space fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n Carpen
t
er
impl
i
ed: change debugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
Carpenter
checks: get rid of some de
l
ete_state()
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
an C
a
rpenter
deref_c
h
eck: fix a false
positive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan
Car
p
ent
e
r
spar
s
e
:
c
o
mment out an
i
n
ternal err
o
r messa
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpenter
M
er
g
e gi
t
://git
.
kernel
.
org/pub/sc
m
/devel
/
sparse/ch
r
isl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Da
n
Carpen
t
er
*new* assign_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:
i
n
troduce rl_con
t
iguous()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Car
p
e
n
ter
d
eref_check: s
i
l
e
nce some false posit
i
ve
o
n
cross function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan
C
arp
e
nte
r
fill_db_call_implies
:
check corre
c
t variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpe
n
ter
fi
l
l_db_return_implies:
d
e
lete the
c
o
rrect table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpe
n
ter
pointer_
m
ath:
c
h
eck ALIGN() m
a
cro
m
ath
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
D
an Carpenter
helper:
h
a
n
dle if (WARN_
O
N(i ==
ARRA
Y
_SIZE
(
f
o
o)) return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
D
a
n Ca
r
penter
assigne
d
_e
x
pr: m
o
ve check_assigned
_
ex
p
r() to
s
ma
t
c
h
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Da
n
Ca
r
penter
macro_side_eff
e
ct
s
:
only enable when --spam
m
y is us
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carp
e
nter
ignore
_
side_effec
t
s: add some more macr
o
s that h
a
v
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpe
n
te
r
buf_siz
e
:
add -
-
sp
a
m
m
y t
o
v
alidation t
e
sts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpenter
o
v
erflo
w
:
remov
e
s
trncpy() fals
e
po
s
i
t
ives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carp
e
nter
Merge b
r
anch 'dev
e
l'
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carpenter
b
uf_
s
ize: turn
of
f
b
u
f
s
ize for &addresses
un
l
e
ss
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpenter
f
low: handle the
_
_
noretu
r
n__ attribute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carp
e
n
t
er
buf_siz
e
:
remove t
h
e
&* and [0] from
around the point
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan
Carp
e
nter
s
m_buf: don'
t
re
t
urn
t
he maximum sto
r
e b
u
ff
e
r size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n
Carpenter
buf_size: return the size o
f
&
foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpent
e
r
buf_size
:
add kmalloc_arr
a
y() and sock_
k
m
alloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpe
n
ter
buf_s
i
ze: if the m
e
mber
s
ize
is
not k
n
own then s
t
o
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Ca
r
pen
t
er
Merg
e
branch '
b
uf_size' into devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Car
p
enter
Me
r
ge git://git
.
kernel
.
o
r
g/p
u
b/scm/devel/sparse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nter
buf_size: first get the
s
ize in bytes then co
n
vert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
buf_s
i
ze: r
e
move cast_rati
o
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
Ca
r
penter
buf_size: f
i
x bytes_per_elem
e
nt()
f
or strings
and arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
buf_size:
dele
t
e s
o
me duplic
a
te c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpenter
buf_siz
e
: prefer the declar
e
d
array
s
ize
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
b
u
f_size: strcpy(
)
onl
y
sets the si
z
e of the destinatio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size
:
ig
n
ore casts i
n
get_array_size_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpent
e
r
buf_siz
e
:
create
an elements_to_bytes() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpenter
buf_
s
ize
:
separate bytes_pe
r
_e
l
e
me
n
t() into its o
w
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an Ca
r
penter
buf_size: using ->bi
t
_
s
i
z
e doesn'
t
wor
k
for void pointers
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
buf_size
:
use get
_
s
t
ored_size_b
y
tes() directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpen
t
e
r
buf_size: make get
_
stored_siz
e
_bytes() a
separate function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_size
:
pull bytes_t
o
_elements() in its own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_siz
e
: calc
u
late b
y
tes per element bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
C
arpent
e
r
buf_s
i
ze: add
a ba
s
ic
v
alid
a
tion t
e
st
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next