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
function_hooks: clean up some naming
2012-09-20
Dan Carpenter
function_hooks: clean up some naming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
functi
o
n_
h
ooks: int
r
oduce
get_implie
d
_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Da
n
Ca
r
pente
r
misc: whitespace cle
a
nu
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan
C
arpenter
db_caller
_
info
:
add some
c
omment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Ca
r
penter
db, functio
n
_hooks: pass ass
i
g
n
ment expression to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Dan Carp
e
n
t
er
buf_
s
ize: introduce get_a
r
ray_size
_
bytes_
m
i
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Horst H
.
von Brand
Install cgcc
too
commit
|
commitdiff
|
tree
2012-09-14
D
an Carp
e
nt
e
r
capped: fix
h
ow the min(
)
macro i
s
handled
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n Carpenter
buf_size: db: Use the --spam
m
y op
t
ion to fill the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Da
n
Carpenter
buf_size: m
e
rging two
s
a
m
e si
z
e
buffers g
i
v
e
a same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf_si
z
e
: record s
t
atic
vari
a
bles in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
proc
_
create: fix
a whitespace
issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
Dan Car
p
enter
buf_size
,
db: if a
s
truct member size
is
s
et in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan Carpenter
check_kernel: fix
ERR_PTR() false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpenter
logica
l
_ins
t
ea
d
_of_bi
t
wise: fo
o
= (1 << x)
&& y; is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
Dan
Carpe
n
ter
locking: _bh
l
ock func
t
i
ons are nestable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
extra: introd
u
ce filter
_
range
_
list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpe
n
ter
k
e
r
n
el: han
d
le IS_ERR() properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b
_
i
n
fo:
r
emove unu
s
ed print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nter
extra, function
_
hooks, db: ch
a
nge cross function analysis
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carp
e
nter
db: remove the return
_
info table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
smatch_d
a
ta:
u
pdate the
data director
to the latest
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n C
a
rp
e
nter
db: caller_info
:
fix
m
ore fall out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
db: ty
p
e_size:
silence a perl warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Ca
r
penter
db: caller_info: update fixup_kernel
.
s
h to the n
e
w
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpent
e
r
extra: get_implied_range_l
i
st() s
h
ould
r
eturn 0 i
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
e
nte
r
user_data: use t
h
e new return_
s
tate
s
d
a
tabase table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpe
n
ter
u
s
er_
d
ata:
syscalls are a source o
f
user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
user_data: i
f
"p
t
r" is user data
t
hen "
*
p
tr
"
is user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
s
e
r_data:
a
dd is_user_macro() stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
arpenter
user_d
a
ta: s
k
b->d
a
ta is us
e
r da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Car
p
ente
r
extra: make a function static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
n
t
er
db:
cr
e
ate retur
n
_states table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db:
add get
_
ret
u
rn_id(
)
and retur
n
ma
r
kers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
db: improve error mes
s
age
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
rpe
n
ter
db:
caller_i
n
f
o changes:
store
t
h
e
call
e
r, param =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: ad
d
r
etu
r
n_v
a
lues tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
err_ptr_deref: remove d
u
p
l
i
ca
t
e conf
l
icti
n
g code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpenter
func
t
i
o
n_hooks: move registrati
o
n
to the right
p
l
ace
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Omair Moh
a
mmed A
b
du
l
la
h
Fix bug in Makefile
t
hat ca
u
ses link
i
ng to fail
commit
|
commitdiff
|
tree
2012-08-09
Dan Carp
e
nter
dere
f
_
c
hec
k
:
remo
v
e
d
e
ad code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpe
n
ter
m
isc white
s
pace fix
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n
Carpenter
implie
d
: chang
e
debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
checks: g
e
t rid of some dele
t
e_state() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
deref_check:
fix a false positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
C
h
ristopher
L
i
F
i
x a bug wi
t
h variables
n
amed "x86_64"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carpenter
sp
a
rse: comment out an internal error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan
C
arpenter
Merge
git://git
.
k
ernel
.
org
/
pub/scm/devel
/
spa
r
se
/
chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan
C
arpenter
*new*
a
ssign_vs_compare: if (
(
x
= <
c
onstant
>
)
)
{
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpen
t
er
ranges: introduce rl_c
o
ntiguous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
deref_check: sil
e
nc
e
some f
a
lse po
s
itiv
e
on cross f
u
nction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpen
t
e
r
fil
l
_d
b
_call_implies: check correct
v
aria
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan C
a
rpente
r
fill_
d
b_return_i
m
plies:
delete th
e
c
o
r
r
e
c
t
t
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpe
n
t
e
r
pointer_math:
c
hec
k
ALIGN() macro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Car
p
en
t
e
r
helper: han
d
le if
(
WARN_
O
N(i == ARRAY_SIZE(foo)) return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
Jonatha
n
Neuschäfer
smatch_scrip
t
s:
f
ix spelling of "usage
"
commit
|
commitdiff
|
tree
2012-07-02
J
onathan Ne
u
schäfer
s
match: fix se
v
era
l
t
y
pos
commit
|
commitdiff
|
tree
2012-06-22
Dan Carp
e
nte
r
assigned_expr: mo
v
e che
c
k_assig
n
e
d
_expr() to smat
c
h
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan
C
arpenter
macr
o
_side_e
f
fects:
o
n
ly
enab
l
e
w
h
en --spamm
y
i
s
used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carp
e
nt
e
r
ignore_s
i
de_
e
ffects: add some more macr
o
s that have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an
Carpenter
buf_si
z
e: add --spammy
t
o val
i
dation
tes
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Carpenter
overflow: remove strncpy() false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
Me
r
ge branch 'dev
e
l'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpente
r
b
u
f_
s
ize: turn off buf
si
z
e for &
a
ddr
e
sses unless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
a
r
p
ent
e
r
f
l
ow: hand
l
e the __noreturn__ a
t
tribute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size
:
re
m
ove
t
he &* and [0] from around the p
o
inter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motoh
i
ro
s
p
ar
s
e: A
d
d
'
err
o
r' to ignor
e
d attribut
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Mot
o
h
iro
sp
a
rse: Add '_
_
v
e
ctor_
s
iz
e
__'
t
o ignored attrib
u
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Ca
r
p
e
nter
sm_
b
uf: don't return
t
h
e ma
x
i
mum s
t
ore buffer siz
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n
Carpenter
buf_size:
r
e
turn t
h
e si
z
e of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Da
n
Carpenter
buf_size: add kmalloc_array() and
s
ock_kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
D
a
n
Carp
e
nter
buf
_
size
:
if the mem
b
e
r size is not
k
n
ow
n
then
store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
D
an Ca
r
penter
Merg
e
bra
n
ch 'buf_si
z
e' int
o
d
e
v
el
commit
|
commitdiff
|
tree
2012-06-15
D
an Carpenter
M
e
rge git://git
.
kernel
.
org
/
pu
b
/scm/devel/sparse/spars
e
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_
s
ize:
f
irst g
e
t th
e
size i
n
bytes then convert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
C
arpe
n
t
er
b
u
f_size: remove cast_ratio()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Car
p
enter
buf
_
size: fix byt
e
s_per_elem
e
nt() fo
r
s
tring
s
and
a
r
r
a
ys
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf
_
s
iz
e
: d
e
let
e
some
d
u
p
licate code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf
_
size: prefer t
h
e declar
e
d
arra
y
size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_size: strcpy() only sets the size
o
f t
h
e desti
n
a
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Ca
r
penter
buf_size: i
g
nore casts
in get_arra
y
_
size_by
t
e
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
e
n
ter
buf_
s
ize: create
a
n
e
l
eme
n
ts_to_bytes(
)
fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
t
er
b
uf_size: separate
bytes_per_element
(
) into
its own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
buf_
s
ize: u
s
ing ->bit_size
d
oe
s
n't work
f
or
v
oid poi
n
ters
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
en
t
er
buf_s
i
ze: use
g
et_
s
tored_s
i
ze_b
y
tes() directl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
er
buf_siz
e
: make get_stored_size
_
bytes() a separa
t
e function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: pull b
y
t
es
_
to_elements(
)
i
n
its ow
n
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Da
n
Carpenter
buf_size: c
a
lculate byt
e
s per element be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size
:
add a
b
asi
c
va
l
idation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpenter
buf_size: if the
s
ize is va
r
iable pick
t
he larger on
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carp
e
nter
buf_size: move get_size_from_strlen() in
t
o it's own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpente
r
buf_size
:
pull get_s
i
ze_from_initia
l
izer()
i
nto
s
ep
a
rate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
a
r
p
en
t
e
r
bu
f
_si
z
e: mov
e
get
_
stored
_
size() ou
t
of
get_array_siz
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carp
e
nt
e
r
buf_si
z
e:
p
u
l
l h
a
ndling
of
n
orma
l
arrays into separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan
C
arpente
r
buf_
s
i
z
e: move some funct
i
ons arou
n
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpent
e
r
bu
f
_si
z
e: add mo
d
ification hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
d
e
bu
g
:
add a way to
d
e
bug buf
f
e
r
sizes __smatch_buf_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan
Car
p
ente
r
O
r
vs and: warn about bitwise
A
NDs tha
t
always
g
ive
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or vs and: if
(foo &
ZE
R
O) is nonse
n
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Car
p
e
nter
function_hash: make it
e
asier
t
o handle a file with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next