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
user_data: fix validation test for returned struct members
2018-08-06
Dan
C
arpenter
u
ser_data: fix
validation test for returned str
u
ct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carp
e
n
t
er
implied: d
o
n
'
t pr
i
nt so many
"
t
u
rning off implicatio
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag:
delete some bog
u
s
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan
Carpent
e
r
mtag_data: update mtag_data
to u
s
e g
e
t_mtag_add
r
_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan
C
ar
p
enter
mtag:
f
ix
e
xpr
_
to_mtag_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag: introdu
c
e
g
et_mtag_add
r
_sval
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
param_
t
o_mta
g
_data: rename "d
a
ta_
n
ame" --> "name"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
D
an Ca
r
penter
mtag: don'
t
s
e
t the na
m
e in
e
xpr_to_mta
g
_of
f
set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag_
d
a
ta: cache DB results
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
e
xtra: m
o
ve ge
t
_address_rl
(
) o
u
t of
g
et_extra_
s
tate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
i
m
plicit_depende
n
cies
:
w
hite space changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carp
e
nter
im
p
licit_d
e
pe
n
d
enc
i
es:
only enable this with the -
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n
C
ar
p
enter
implici
t
_
depend
e
ncie
s
: fix a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-30
Dan Carpenter
implied:
i
mp
r
ov
e
d
e
bu
g
ging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpenter
mtag/
m
tag
_
data:
re-use
the same code to store data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpenter
Revert "container_of: remove
s
ome duplicati
v
e code"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpenter
mtag_data:
spl
i
t get_m
t
ag_
r
l(
)
into t
w
o func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Da
n
C
a
rpen
t
e
r
m
tag: rename
g
et_
d
b_data_rl() => ge
t
_mtag_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
conta
i
n
er_of: remove some duplicative c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Car
p
e
n
ter
mta
g
/con
t
ainer_of:
the first st
r
uct membe
r
can be
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
m
t
ag:
U
se extr
a
state to get m
t
ag and o
f
fset
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n
Carpenter
mtag: hook in the mtag code to chec
k
_l
i
s
t
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rpen
t
er
validation: f
i
x
the new DB tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
m
tag: impr
o
ve get
_
mt
a
g_sv
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mt
a
g/math: use mtag info
r
mation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mta
g
: make g
e
t_mtag_of
f
set() give
b
oth an m
t
a
g and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Car
p
enter
mtag
/
mat
h
/extra: start using mtags as pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpe
n
ter
m
t
ag: make the name param
e
ter i
n
e
x
pr_to_mtag_n
a
me_offset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: mask
o
ut
t
he low bits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
an Ca
r
penter
mtag: turn off
mta
g
stuff for 32 bit
b
uilds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Carpente
r
container_of: cleanu
p
s
et_param_value(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n Carpenter
c
o
nt
a
iner_of/mtag: fix
handling
o
f passed value
s
(
a
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
validation: add some mtag tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Carpenter
co
n
taine
r
_of
/
mta
g
: use container_of inf
o
rmation
f
or
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
D
a
n Carpent
e
r
container
_
of: re-wri
t
e code to record cal
l
er_in
f
o c
o
n
tainers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpente
r
ranges
:
al
l
ow svals t
o
be
p
rinted in
hex
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
D
a
n Carpenter
ran
g
es: fi
x
pa
r
sing of ulong_ma
x
and ptr_m
a
x (not currently
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
D
a
n
Carpenter
container
_
of:
flip
t
h
e param and the value arou
n
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Da
n
Carpen
t
e
r
address:
f
i
x add_offset
_
to_pointer()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpenter
type: introduce get_final_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
sval: hand
l
e pointer ma
t
h better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan C
a
rpe
n
ter
type: introdu
c
e
g
et_promoted
_
t
y
pe()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpe
n
ter
compa
r
ison: export
f
i
l
t
er_comparison(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpen
t
e
r
smdb
.
py: push al
l
my c
h
anges to this file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpenter
db/kernel
.
return_fixes misc updates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
condit
i
o
n
s: don't parse NULLs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpe
n
t
er
db
/
f
ixu
p
_kernel
.
s
h
:
delete '(union anonymo
u
s)->__
v
al
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arp
e
nt
e
r
f
l
ow: print slow to par
s
e
functions when
the --ti
m
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Ca
r
pen
t
er
e
x
tra:
i
ntroduce value_ptr_
r
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpent
e
r
db: add some more
s
chemas
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
penter
d
b/reloa
d
_partial
.
sh: fix for call_
i
mpl
i
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
n
t
e
r
db: hook up ca
l
l_implies infrastructure
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpen
t
er
sval:
f
ix sval_i
s
_a_
m
in/ma
x
()
f
o
r
s
m
a
l
ler types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpenter
sval: introduce sval_is_
p
tr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db
:
U
s
e ext
r
a
sm->po
s
sible to decide if splitting the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
pe
n
te
r
extra: int
r
oduce
g
e
t
_
e
x
tra_sm_st
a
t
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
conditio
n
s:
set
the pa
r
ent expres
s
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
n
t
er
impli
e
d: set
in_fake_env when we do an assu
m
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpent
e
r
s
list: d
o
a s
m
all clean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an
C
a
rpenter
stored_conditions: store more conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Car
p
enter
struct
_
ass
i
gnm
e
n
t: hand
l
e memcp
y
for p
o
inter math
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Ca
r
pent
e
r
s
pectre
:
sil
e
nce some if (array[user_controll
e
d
_offset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan
C
a
rpenter
spectre: change output f
o
rma
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpenter
spect
r
e:
remove is_read/write() checks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Da
n
Carpenter
db:
f
ix
g
et_db_stat
e
_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Car
p
enter
helper: clean u
p
get
_
com
p
lica
t
i
o
n_score(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
helper: sizeof
(
) is no
t
complicat
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpent
e
r
conditions: sp
l
it the zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpent
e
r
c
o
nditions: delete
unused
f
u
ncti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-03
D
a
n Car
p
enter
check_user_data: ma
r
k kvm_register_r
e
ad()
a
s returning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpent
e
r
n
ospec: if it's
c
alled
w
ith tru
s
ted data that's t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpenter
user_data: don
'
t
pass *$ as user
d
ata if the struc
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
D
a
n Carpenter
c
h
e
ck_user_data: s
o
me
u
ser
data was lost at the ca
l
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan
Carpenter
db:
f
i
x
b
uil
d
breaka
g
e b
y
addi
n
g the type_in
f
o
s
chema
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carp
e
nter
db: rename ca
l
l_implies to r
e
turn_implies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
D
a
n
C
ar
p
enter
debug: improve buf siz
e
debug
g
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n
C
arpenter
check_s
i
gned
:
silence some f
a
l
s
e
positives copying
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Car
p
ente
r
check_shift_to_z
e
ro:
s
ilence
s
om
e
false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
an Carpenter
ch
e
ck_sizeof: fi
x
a typo in the war
n
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpen
t
er
buf_size
:
fix reco
r
ding global sizes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carp
e
nter
buf_comparison: don't save links to literal
s
izes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
c
ompar
i
son: add some d
e
b
ug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpent
e
r
db: d
o
n
'
t split N
U
L
L and non-NULL
u
n
necessar
i
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db: fix
a
NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpen
t
er
db:
s
et t
h
e CACHE_PAGES size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n
Carpen
t
er
db: introduce the
cache_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
an Carpe
n
ter
db: clean
up the code and ex
p
ort some mor
e
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Carpen
t
er
extra
:
use PARAM_LI
M
IT to limit bi
n
ops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
flo
w
: nest some
inl
i
ne statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
p
enter
modifi
c
ation_hooks: don't allow multip
l
e
modificati
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-21
Dan
Carpe
n
te
r
c
o
mpariso
n
: don't sa
v
e
c
omparisons to o
n
ese
l
f
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan Carpen
t
er
compari
s
on: add some parenthesi
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan
Ca
r
penter
va
l
id
a
tion: fix up some
failures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carpenter
comp
a
rison:
f
ix filter_b
y
_comparison == for r
a
ng
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan C
a
r
p
e
n
ter
extra: jus
t
set
s
val a
s
signmen
t
s
dir
e
c
tly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
an Carpenter
check_spectre: ig
n
ore maske
d
off
d
a
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n
Carpenter
spe
c
tr
e
: use the new is_us
e
r
_r
l
()
f
uncti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
an Carpent
e
r
user
_
d
a
ta: silence some more n
t
o
hl(foo[i]); false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n Carpenter
u
s
er_data: silence som
e
sscanf
(
) false posi
t
i
v
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carp
e
nter
u
ser_data: introduce is_user_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next