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
container_of: remove some duplicative code
2018-07-26
Dan Carpente
r
container_of:
re
m
ove some
d
uplicative co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpent
e
r
mtag/c
o
nta
i
ner
_
o
f
: t
h
e f
i
rst s
t
ruct member can be a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: U
s
e
extra state
to get
mt
a
g a
n
d
o
f
f
set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Car
p
en
t
e
r
mtag: hook in the mtag code to c
h
eck_list
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Carpenter
validation
:
fix
t
h
e new DB tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag
:
improve get_mta
g
_sva
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rpenter
mtag/m
a
t
h
: use mtag inform
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Ca
r
penter
mtag: make get_mta
g
_of
f
set() give both an mta
g
and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carp
e
nter
mtag/math
/
e
xtra: s
t
art using mtags as po
i
nters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: m
a
ke the name paramet
e
r
i
n
expr_to_mtag_name_offset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carp
e
nter
mtag: mask out
t
h
e low
bi
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carp
e
nter
mtag: turn off mtag stuf
f
for 32 bit
builds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carp
e
nter
co
n
tainer_of: cleanup set_param_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
container_
o
f
/mtag: fix
h
andling of passed values (a
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpe
n
t
e
r
validation:
add som
e
mtag tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Car
p
enter
container_of/mtag
:
use c
o
ntainer_of infor
m
a
t
i
o
n
for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
D
an C
a
rpenter
c
o
ntainer_of: re-wr
i
te code t
o
record
caller_i
n
fo c
o
nt
a
iner
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Da
n
Carpenter
ranges: allow s
v
als to be printed in hex
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan
C
arpenter
ranges: fix parsing
of ulong_
m
a
x and ptr_m
a
x (
n
ot currently
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan
Carpe
n
te
r
c
on
t
a
i
ner_
o
f: flip th
e
p
a
ram and th
e
v
a
l
ue around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Ca
r
penter
address:
fix ad
d
_offset_
t
o_point
e
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
type: introduce get_f
i
nal
_
type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
p
e
n
t
e
r
s
v
al: handle
poin
t
er math better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
t
y
pe:
introduce
g
et
_
promoted_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan C
a
rpenter
comparison
:
expor
t
filter_compa
r
i
s
on
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Carpenter
smdb
.
py: p
u
sh all
m
y
c
hanges to
this fi
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Ca
r
penter
db/ker
n
el
.
retur
n
_fixes mis
c
up
d
ates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
e
nter
conditions: don't parse NULLs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpenter
db/fix
u
p
_
kernel
.
sh: dele
t
e '(union ano
n
y
mous
)
->__val
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
f
l
ow: print
slow to par
s
e
functions
w
hen
t
he
-
-time
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Car
p
enter
extra: int
r
oduce value_ptr_rl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpen
t
er
d
b
: add some more sc
h
emas
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n C
a
rpenter
db/r
e
l
o
ad_par
t
ia
l
.
sh: fix for call_implies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpenter
db: h
o
ok up
c
a
ll_impl
i
es
i
nfra
s
t
r
ucture
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpen
t
er
s
val: fix
s
val_
i
s_a_min/max() fo
r
s
maller types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
e
nter
sval: introduce sval_
i
s_ptr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
d
b
: Use ex
t
ra
s
m->possible to
d
e
cide if splitting
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
e
xtra:
in
t
roduce
g
et_extra_sm_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpe
n
ter
conditions: set the parent expre
s
sions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpenter
im
p
lied
:
set in_fa
k
e
_
env when we do an
a
ss
u
me(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n
C
arpente
r
slist: do a small clean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
p
e
nter
sto
r
e
d
_
c
onditio
n
s: store m
o
re c
o
ndit
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpenter
struct_assignment: handle m
e
mcpy for pointer
m
ath be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carp
e
n
t
e
r
s
p
e
ct
r
e: silence som
e
i
f
(array[
u
ser_controlled
_
offse
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpen
t
er
spe
c
tre: change output format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan
C
arpenter
s
p
e
ctr
e
: remov
e
i
s_read/
w
r
i
te(
)
check
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Ca
r
penter
db
:
fi
x
get_db_stat
e
_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan
C
arpenter
h
el
p
er:
clean u
p
get_c
o
mplication
_
sco
r
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpent
e
r
h
e
lper: size
o
f()
is not complic
a
ted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
D
a
n
Carp
e
nter
c
onditions: split the zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
D
an Carpen
t
er
conditions: del
e
te unused function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-05
Norbert Man
t
h
ey
spectre: allow
to
f
lag
a
ll occu
r
rences
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-03
Dan Carp
e
nter
che
c
k
_
u
ser_data: mark kvm_r
e
gister_read()
a
s returning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Da
n
Carpenter
nospec: i
f
it's cal
l
ed with
t
rusted data
that's the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpenter
user
_
data: don'
t
pass *$ as user data if
t
he stru
c
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carp
e
nter
chec
k
_
u
ser_da
t
a: some u
s
e
r
data
was los
t
at th
e
cal
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
D
an Carpenter
db:
f
i
x bu
i
ld b
r
ea
k
a
g
e
by adding
the
t
y
pe_info schema
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpen
t
er
db: renam
e
ca
l
l
_implie
s
to
r
eturn_implies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
debug: improv
e
b
uf size debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
ch
e
c
k
_s
i
gn
e
d: silen
c
e som
e
fa
l
se positi
v
e
s copying
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n C
a
rp
e
nter
ch
e
ck_s
h
ift_t
o
_
z
ero: silence s
o
m
e
false posi
t
iv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
arpenter
c
he
c
k_s
i
zeof:
fix
a typ
o
i
n
th
e
warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Carpe
n
ter
buf_size:
fix
r
ecording glo
b
al
s
ize
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpent
e
r
b
u
f_comparison:
d
o
n
'
t sav
e
links t
o
l
i
teral sizes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
comparison: add som
e
de
b
ug
outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db: don't spli
t
NULL a
n
d
no
n
-NULL unn
e
c
e
ssarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
d
b
:
fix a NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Carpenter
db:
set the CACHE_PAGES siz
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
d
b
: introduce the
cache
_
db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Carpenter
db
:
clea
n
up the code and exp
o
rt some more fu
n
cti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
arpenter
extra: use PARAM_LI
M
IT
to limit binops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
flow: nest some inline stat
e
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
a
r
p
e
n
t
er
m
o
difi
c
ation
_
hooks: d
o
n
'
t
a
l
l
ow mult
i
ple modi
f
icati
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-21
Dan C
a
rpenter
comparison: don't save c
o
m
p
arisons
to
o
ne
s
elf
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan
C
arpenter
com
p
a
r
ison: add som
e
pa
r
en
t
hesis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
D
an C
a
rpen
t
er
validation:
f
ix up
s
ome
failu
r
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
D
an Carpe
n
ter
c
o
mp
a
rison: fix filt
e
r_by_compa
r
ison
== for
r
anges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carpent
e
r
extra
:
ju
s
t se
t
sval assign
m
e
n
t
s
d
irectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan
C
arpenter
chec
k
_s
p
ect
r
e: i
g
nore masked off data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
an Ca
r
p
enter
spectre:
use the new is_us
e
r_rl() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n Car
p
ente
r
user_dat
a
:
silen
c
e some more ntohl(foo
[
i]);
false posi
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n
C
a
rpent
e
r
user_data: silence some sscanf() false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpen
t
er
user_data: introd
u
ce i
s
_use
r
_data(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
us
e
r_data: cleanup get
_
user_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
D
an
Carp
e
nt
e
r
comparison: fix
a NUL
L
de
r
eference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan Car
p
enter
c
o
mparison
:
fix validat
i
on tests and add a new tes
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpent
e
r
e
x
tra:
remove an
unneede
d
__
s
et_sm() in db_param_li
m
it
_
filter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan
Ca
r
pent
e
r
helper
:
strip ou
t
the byte swaps in
s
tri
p
_
e
x
pr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpe
n
ter
vali
d
a
tion/sm_locking3: fix function declaratio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
unknown_value: clear the
-
>parent point
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan
Carpenter
r
anges:
im
p
rove str_to
_
comparison_arg_helper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carp
e
nte
r
comparison: use sm
a
tch_extra d
a
ta in get_comparison
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpente
r
comp
a
rison: impro
v
e handling
of "
i
f (++
j
=
=
limit)"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Ca
r
penter
c
om
p
arison: han
d
le j++
v
ar sym lists better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Carpenter
equiv
:
type
a
nd i
m
pl
i
cat
i
on fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-30
D
an Car
p
e
n
ter
range
s
: fix
=
=
a
n
d
!= comparisons
.
.
.
(0_0
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-25
Dan Carpente
r
return_to_pa
r
am: fi
x
parsin
g
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-23
Dan Carpenter
validation: update te
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-15
Dan Carpen
t
er
db: ma
k
e call_im
p
li
e
s
rows unique
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Ca
r
penter
flow: remo
v
e the call_split_expr()
f
unc
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next