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: handle asm expressions
2012-10-03
D
an Carpenter
extra: han
d
le asm
e
xpres
s
ion
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
d
e
re
f
erences_param: handle strcmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan C
a
rpenter
ranges
:
kill the "Error invalid range me
s
sage"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan
C
arpen
t
e
r
a
s
signed_exp
r
: ig
n
ore
+
= assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
f
unction_hooks
:
white space
fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Car
p
enter
fu
n
c
tion_hooks: u
s
e the st
r
ipped function
ca
l
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
D
an Carpenter
db, buf_size,
p
a
rse_call_math: track the size of returned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Ca
r
penter
get_im
p
lied
_
range_list: use the new function hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan
C
a
rpent
e
r
im
p
lie
d
_valu
e
: don't get co
n
fu
s
ed by cas
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
db
/
return_states:
fix return values
for USER_DATA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpe
n
te
r
fu
n
c
tion_hook
s
:
c
lean
u
p
some naming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Da
n
Carpenter
function_hooks: introduce get_
i
mplied_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
D
a
n C
a
rpenter
m
i
sc: whi
t
es
p
ace clea
n
ups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
db_caller_info: a
d
d some comments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Car
p
enter
db
,
function_hooks: pa
s
s
assign
m
ent expres
s
ion to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Da
n
Carpente
r
buf_size: introduce
g
et_
a
rr
a
y_size_byt
e
s_min(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carp
e
nter
capped:
f
ix how the mi
n
() macro i
s
h
and
l
ed
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan C
a
rpen
t
er
b
uf_size:
d
b: Us
e
the -
-
spammy option to fill the
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf_size: merging t
w
o same size buffers
g
ive a sa
m
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
b
uf
_
size: record s
t
atic
v
ar
i
ables in the datab
a
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
arpenter
proc_creat
e
: fix a whitespace
i
ssu
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
Dan Car
p
en
t
er
buf_size, db: if
a struct me
m
ber s
i
ze is set
in
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
D
an Carpenter
c
heck_ke
r
nel:
fix ERR_PTR() false
p
osi
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Dan
Carpenter
l
ogical_instead_o
f
_bitw
i
se:
f
oo
=
(1 << x) &&
y
; is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
Dan C
a
rpen
t
e
r
locking: _bh lock f
u
nctions are nest
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extr
a
: introduce fi
l
ter
_
range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
pent
e
r
kernel: handle IS_ERR()
prop
e
rly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpente
r
db_i
n
f
o:
r
emo
v
e unused pr
i
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpe
n
ter
extra, funct
i
on_
h
o
o
ks, db:
change cross
f
u
nct
i
o
n
analysis
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: remove the return_info
t
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
smatch_data:
u
pdate th
e
data director
to the latest
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
db:
caller_inf
o
: fix more fall o
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db:
t
ype_size: 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: caller_info: update f
i
xup_kernel
.
sh t
o
the new
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
extra: get_i
m
plied
_
r
ange_list() should re
t
urn 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
user
_
data: use the new
return_states database table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
user_data: s
y
s
calls are
a sou
r
ce
o
f user
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an
C
a
rpenter
user
_
d
at
a
: if "ptr" is user data the
n
"
*p
t
r
"
is user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: add is_user_macro()
stu
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: skb->dat
a
i
s
user dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
e
n
t
er
ext
r
a: make a function
static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
db: c
r
eate return_states table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpent
e
r
d
b
: add
g
e
t
_
r
eturn_
i
d(
)
a
nd return ma
r
kers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: i
m
prove error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: caller_info
c
hanges: store the caller, para
m
=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
db: add return
_
valu
e
s table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
e
rr
_
ptr_
d
eref: remove d
u
plicate conflicting
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
D
a
n
Carpenter
fun
c
tion_hooks:
m
ove registration
t
o the right p
l
a
ce
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Da
n
Carpenter
deref_check: remove d
e
ad code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
C
a
r
p
e
n
ter
m
is
c
white space fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpen
t
er
implied:
ch
a
nge debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpent
e
r
check
s
: ge
t
rid of some delete_state() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
de
r
e
f
_ch
e
c
k
: fix a false
positiv
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
D
a
n Carpen
t
er
sparse: com
m
ent out a
n
internal
error
m
e
s
s
age
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpenter
Merge git:/
/
git
.
k
ernel
.
org/pub/scm/de
v
el/s
p
arse/c
h
risl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*n
e
w* a
s
sign_v
s
_
c
ompare: if (
(
x = <constant
>
)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carp
e
nter
ranges: int
r
oduce rl_
c
o
ntigu
o
us()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Car
p
enter
deref_c
h
e
ck:
silence some f
a
lse pos
i
tiv
e
on cross func
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
C
arpent
e
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 Carpenter
fill
_
db
_
ret
u
r
n
_im
p
lies: del
e
te the
corre
c
t
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpenter
pointer_m
a
th: check ALIGN()
macro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Da
n
Carpenter
helper: handle if
(
WARN_ON(i
== ARRAY_SIZE(foo)) return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
assig
n
ed_expr: m
o
ve
check
_
assigned_expr() to smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
macro_side_effects: only enab
l
e when -
-
spammy is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
ign
o
re
_
s
i
de_effects: add
some m
o
r
e
macr
o
s t
h
at ha
v
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpenter
buf
_
size
:
add --spammy to validation tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
overflow:
r
emove str
n
cpy() false
p
o
s
itives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpen
t
er
Merge branch
'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpenter
b
u
f_
s
ize: t
u
r
n off buf size for &addresse
s
unless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
an Carpen
t
er
flow: handle th
e
_
_
n
oret
u
rn__ a
t
t
r
ibut
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf
_
size: remove
th
e
&* and [0]
from around the p
o
inter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Ca
r
pent
e
r
sm_buf: do
n
't return
the
m
a
ximum store buffer s
i
ze
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpent
e
r
buf_size:
ret
u
rn the size of
&foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpent
e
r
buf_size: add kmallo
c
_
a
rray(
)
and sock_k
m
all
o
c()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Da
n
Carpe
n
ter
buf_size: if
t
he
memb
e
r size is
not known then store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
arpe
n
te
r
Merge bran
c
h
'
buf_size' into
devel
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
arpenter
Merge
g
it://git
.
kernel
.
org/pub/scm/devel/
s
parse/
s
p
arse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
e
nter
buf_size:
f
irs
t
get the size in
bytes
th
e
n convert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
u
f_size:
remo
v
e ca
s
t_r
a
tio()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
C
arpenter
bu
f
_siz
e
:
fix byte
s
_per_element() for strings and arr
a
ys
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_size: d
e
lete some duplicate code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n
C
a
rpenter
buf_size: prefer the declared array size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: strcpy()
only sets the size of the destinat
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
b
uf_size: ign
o
re casts in get
_
array_size_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf
_
size: create an
e
le
m
ents_to_b
y
tes() func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpente
r
b
uf
_
s
ize: separate bytes_per_e
l
emen
t
(
)
i
n
to its o
w
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpen
t
e
r
buf_si
z
e: using ->bit_si
z
e
d
oesn't work for v
o
id poin
t
e
rs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
n
t
e
r
buf_s
i
z
e
: use ge
t
_stored_s
i
ze_
b
yt
e
s()
directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
buf_siz
e
:
make get_stored_size_bytes() a separate function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n C
a
rpent
e
r
b
u
f
_size: pull bytes_to_elements()
i
n i
t
s o
w
n functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: c
a
lcu
l
ate byt
e
s per element better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
ter
b
u
f_size
:
add a basic validation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
bu
f
_
si
z
e: i
f
the size is v
a
r
i
able pick t
h
e lar
g
e
r one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpent
e
r
b
u
f
_
size: move
g
et
_
size_fro
m
_strlen() i
n
to i
t
's ow
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_s
i
ze: pull get_size_from_init
i
alizer
(
) into separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Ca
r
penter
buf_size:
m
ove get_
s
tore
d
_size() out of get_ar
r
ay_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan C
a
rpenter
buf_si
z
e: pul
l
handl
i
n
g
o
f normal arrays
int
o
separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan C
a
rpent
e
r
buf_size: move some f
u
nctions around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
an C
a
r
penter
buf_s
i
ze: ad
d
m
odification
ho
o
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpen
t
er
d
e
b
u
g: add a way t
o
d
ebug
b
uffer
s
i
zes __smatc
h
_buf_size
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next