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
smatch_data: update the data director to the latest code
2012-08-14
Dan Car
p
e
nter
smat
c
h_data: update the data
d
irector t
o
the lat
e
st
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
ter
db
:
ca
l
ler_info: fix more f
a
ll out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b
:
type
_
size: s
i
le
n
ce a perl warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Ca
r
penter
d
b: caller_info:
up
d
at
e
fixu
p
_kernel
.
sh to the
n
ew
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
e
xtra: get_
i
mpl
i
ed_range_list()
s
h
ould
r
e
turn 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 retur
n
_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
t
a:
s
yscall
s
are
a
source
o
f user d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_dat
a
: if "ptr" is user data t
h
e
n "*p
t
r" is us
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Ca
r
penter
user_data: add is_user
_
m
a
cro(
)
stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user
_
data: skb->data is user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
extra: make
a
funct
i
on static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carp
e
nt
e
r
db: c
r
e
a
te retur
n
_states table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: add g
e
t
_
return
_
i
d
(
) and return
m
a
rkers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
r
p
enter
db: improve err
o
r message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Car
p
enter
db: caller_info changes: st
o
re
t
he c
a
ller, param =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
C
arpenter
db
:
add ret
u
rn_values table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
err_ptr_deref:
r
emove d
u
p
l
icate con
f
licting c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
D
a
n
Carpenter
f
unction_hooks: mov
e
registra
t
ion to t
h
e
rig
h
t place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Omair Mohammed Abdullah
Fix bug in Makef
i
le that
c
auses
linking to fail
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpen
t
e
r
deref_check: remov
e
dead co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
Ca
r
penter
m
i
s
c
w
h
i
te space
fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
Carpenter
i
m
plied: ch
a
n
g
e debuggin
g
o
u
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
an Carpenter
c
hecks: get ri
d
of some
d
e
lete_s
t
ate
(
)
cal
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
D
a
n C
a
rpe
n
ter
dere
f
_
check: f
i
x a false p
o
sitive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Christo
p
her Li
Fix a bug with variables
n
ame
d
"x86_
6
4"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carpe
n
ter
spars
e
: comment
o
ut
an internal error messag
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan
Carpenter
Mer
g
e
git://gi
t
.
k
ernel
.
org/pub/scm/devel/s
p
arse/
c
h
ri
s
l
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
D
an
C
arpenter
*ne
w
* assi
g
n_vs_compare: if ((x = <c
o
nsta
n
t>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
ranges:
i
ntroduce rl_contigu
o
u
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpe
n
ter
d
eref_c
h
eck: sile
n
ce som
e
fa
l
se
positiv
e
on cros
s
f
unctio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n Carpent
e
r
fill_db_call_impl
i
es: che
c
k
correct variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpent
e
r
f
ill_db_re
t
urn_
i
mplie
s
:
d
elete the corre
c
t ta
b
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpent
e
r
pointer_math
:
c
h
e
c
k
ALIGN() macro mat
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carp
e
nt
e
r
helper: handle if
(WARN_ON(
i
== ARRAY_
S
IZE(foo))
r
eturn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neuschäfer
smatch_script
s
: fix
spelling
o
f "usage"
commit
|
commitdiff
|
tree
2012-07-02
Jonatha
n
N
e
uschäfer
s
m
atch: f
i
x
s
everal typ
o
s
commit
|
commitdiff
|
tree
2012-06-22
D
an
Carpenter
assigned_
e
xpr: mov
e
c
h
eck
_
assigned_ex
p
r() t
o
smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan
Carpente
r
m
a
cr
o
_side_eff
e
cts: onl
y
enab
l
e when
-
-spammy
i
s used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Da
n
Carpenter
ignore_side_eff
e
cts: ad
d
some mor
e
macros that have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carp
e
nte
r
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 Car
p
e
n
ter
overflow: remove strncpy
(
) false positi
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carp
e
nte
r
M
e
r
g
e branch 'de
v
el'
commit
|
commitdiff
|
tree
2012-06-18
D
an
C
a
rpenter
buf_si
z
e: t
u
rn off bu
f
size for &add
r
esses unless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
flow: handle the _
_
noreturn__ attribute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size: remove the &*
a
n
d [0] fro
m
arou
n
d the point
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI
Motohiro
sparse: Add 'error' to ignor
e
d
a
ttributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motohiro
s
parse
:
A
d
d
'
__vector_si
z
e__'
t
o
i
gnored a
t
tributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Car
p
enter
sm_buf: don't return the
max
i
mum s
t
ore buff
e
r si
z
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan
C
arp
e
n
t
er
bu
f
_s
i
ze:
r
eturn
t
he size of
&foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Car
p
en
t
er
buf_size:
a
dd k
m
alloc_arr
a
y() and
s
ock_
k
m
a
llo
c
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
buf_siz
e
: if the
memb
e
r size is not known t
h
en
st
o
re
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
ar
p
ent
e
r
M
e
rge branch 'bu
f
_siz
e
' into devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Merge
git://git
.
ke
r
nel
.
org/pub/scm/devel/sparse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan
Carpent
e
r
buf_
s
ize: first get
t
he s
i
ze in bytes
t
h
e
n
c
o
n
v
e
rt
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf
_
size: remove cast_ratio()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Ca
r
penter
b
u
f_size: f
i
x bytes_per_elem
e
n
t
() for str
i
ngs
a
nd arra
y
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
D
a
n Carpenter
buf_size: dele
t
e s
o
me
duplicate c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
b
u
f_size:
prefer
the declared array
s
i
ze
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpen
t
er
buf
_
si
z
e: strcpy()
o
nly sets the
s
i
z
e
of the
d
e
stination
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nter
buf
_
size:
i
g
nore casts in g
e
t
_array
_
siz
e
_b
y
tes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Car
p
enter
buf_s
i
ze: create an elements_to_bytes() functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpe
n
te
r
buf_size: separate bytes_per_elemen
t
() into its own
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: using -
>
bit_size doesn't w
o
rk
for void pointer
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_si
z
e: us
e
get_s
t
ored_size_bytes() di
r
ectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size: make get
_
stored
_
size_byt
e
s() a se
p
arate
f
unc
t
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan C
a
rpenter
buf_
s
ize
:
p
ull byte
s
_to_element
s
() in its own funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carp
e
nter
buf_
s
ize: calcu
l
ate bytes
per
ele
m
ent better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan
Ca
r
penter
b
u
f_size: add a basi
c
valida
t
ion te
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size
:
if
the size is variable pick th
e
larger one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_siz
e
: move get_size_from_strlen(
)
into it's ow
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
an Car
p
enter
buf_siz
e
: pull ge
t
_
s
ize_
f
rom_ini
t
iali
z
e
r() into
s
eparate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
buf_s
i
ze: mov
e
ge
t
_stored_siz
e
() ou
t
o
f
get_array_s
i
ze()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carp
e
nter
buf_
s
ize: pul
l
handli
n
g of
n
ormal arrays into separate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
bu
f
_size: move
s
o
m
e functions around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
Dan Carpenter
b
u
f_s
i
z
e: add modificati
o
n hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-12
D
a
n Carpenter
debug:
a
d
d a wa
y
to d
e
bug
b
uffer
s
i
z
es __
s
match_buf_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan
Carp
e
n
t
e
r
Or vs and:
w
a
r
n ab
o
u
t
bit
w
i
s
e AN
D
s that
always g
i
ve
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
Or
vs
a
nd: if (foo & ZERO) is nonsense
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
D
an
Carpent
e
r
function_hash: make it e
a
s
i
er
t
o handle a f
i
l
e
wit
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
D
a
n Carpenter
signed: unbreak t
h
e
c
heck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
ov
e
rflow: update v
a
lidation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan
C
ar
p
enter
flow:
hand
l
e
stru
c
t initialization bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
flow: hand
l
e E
X
P
R
_
O
FFS
E
TOF and EX
P
R_ALIGNOF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carp
e
nter
ove
r
flow: igno
r
e "x = &foo[ARRAY
_
SI
Z
E
(foo)]
;
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
o
ver
f
low: white space cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan C
a
rpenter
imp
l
i
ed: the bas
e
slist
is
n
ot spec
i
a
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpent
e
r
sli
s
t: chan
g
e
form
a
t fo
r
debug ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
expre
s
sions: intro
d
uce some more
expressi
o
n allocati
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpe
n
ter
v
a
l
idation: update dereference check ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
im
p
lied: c
e
rtai
n
states
s
hould be left as
is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Da
n
Carpenter
sli
s
t: pu
t
the sm_
s
tate
itself into ->pos
s
ib
l
e not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
slist
:
clea
n
up
m
e
rg
e
_
hoo
k
s API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
extr
a
:
don
'
t create a
ne
w
mer
g
ed esta
t
e if ->right
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpenter
estat
e
s:
r
eu
s
e same
es
t
ate for extra_undefined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Ca
r
penter
constraints: get rid of ad
d
_equi
v
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan C
a
r
p
enter
constr
a
ints: remo
v
e some dead cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constrain
t
s: fi
x
se
t
_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpente
r
c
onstra
i
nt
s
: add_related() should take a related_li
s
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Car
p
enter
constraints
:
sort
t
h
e
->related list
properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carpent
e
r
co
n
s
traints: replace
g
et_
c
ommon_rela
t
ionshi
p
() with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next