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
Add illumos projects
2018-07-31
Dan
Car
p
e
nter
mtag_data
:
update mtag_data to use get_mtag_add
r
_sval
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Ca
r
p
ent
e
r
mtag: fix expr_to_m
t
ag_of
f
set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n Car
p
ente
r
mtag: introduce
g
e
t_mtag_a
d
dr_s
v
al()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
pa
r
a
m
_to_mtag_dat
a
: rename "data_name" --
>
"name"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n Carpent
e
r
mtag
:
don
'
t
set
the
n
a
me in exp
r
_to_mtag_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carp
e
nter
mtag
_
data: ca
c
h
e
DB resul
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n
Carpe
n
ter
extra:
move get_
a
ddress_rl()
o
ut of get_extra_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Da
n
Carpent
e
r
i
m
plicit_de
p
endencies: white space
c
h
a
nges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Da
n
Carpenter
implicit
_
de
p
endencies: o
n
ly e
n
able t
h
is with the -
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
an
C
a
r
penter
implici
t
_dependen
c
ies: fi
x
a
crashing
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-30
Da
n
Carpenter
implied: i
m
pr
o
ve
debugging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpenter
mtag/mtag_data: re
-
use
the
s
ame code
t
o s
t
ore data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpenter
Revert "container_of: remove
some du
p
licative co
d
e"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan
C
arpe
n
te
r
mtag_dat
a
: split get_m
t
ag_rl() into two f
u
nc
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpenter
mtag: rename get_
d
b_da
t
a
_rl() => get_m
t
ag_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Car
p
enter
container_
o
f:
remove som
e
d
u
plicative code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan
C
arp
e
n
ter
m
t
ag/
c
on
t
ainer_of: the fi
r
st struct member can
b
e
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag
:
Us
e
extra st
a
t
e
t
o
get
m
t
a
g and
off
s
et
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Carp
e
nter
mtag: h
o
ok in the mtag code to check_
l
ist
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
v
a
li
d
ation:
f
ix
t
he ne
w
DB
tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: i
m
pr
o
ve get_mtag_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Carpen
t
e
r
mtag/math: us
e
mtag infor
m
ati
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: make
g
et_mtag_o
f
fset()
g
i
v
e both a
n
mtag and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Ca
r
penter
mt
a
g/math/extra
:
start using mta
g
s as pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carp
e
nter
m
t
a
g: make the name param
e
ter in exp
r
_to_mtag_n
a
me_of
f
set
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n
Ca
r
penter
mtag:
m
ask ou
t
the
l
o
w
b
i
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag
:
t
u
r
n
off mtag stuff for 32 bit builds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rp
e
n
t
e
r
co
n
tainer_of: clean
u
p s
e
t_param_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
C
arpenter
container_of/mta
g
:
fix handling of passed
values (as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpente
r
v
alidation:
a
dd some mtag t
e
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Ca
r
penter
c
o
ntai
n
er_of/mta
g
:
u
s
e container_of in
f
ormation for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
container_of: re-write code
to record c
a
ll
e
r_info con
t
ain
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
ranges: al
l
ow sv
a
ls to be printed
in hex
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carp
e
nter
ranges: fix parsing of ulong_max
a
nd
p
t
r_max (no
t
currently
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
c
ontainer_of:
f
lip
the param and the value
around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
D
an Carp
e
nter
addre
s
s: f
i
x
add_offset_to_pointer()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n
Car
p
e
nter
t
yp
e
:
i
ntroduce get_fi
n
a
l_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Ca
r
penter
sval: handle p
o
int
e
r
ma
t
h better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
a
rpente
r
t
y
p
e: introduce
get_promoted_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
penter
c
o
mparis
o
n: export
f
ilte
r
_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
s
md
b
.
py: pus
h
all my changes to this file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Carpenter
db/kernel
.
return_fi
x
es misc updates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
c
o
nditions: don't pars
e
NUL
L
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
pente
r
db/f
i
xu
p
_
k
ernel
.
sh
:
dele
t
e '(union an
o
n
ymous)->__va
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpenter
flow: pr
i
nt slow
t
o
parse funct
i
ons
when
t
he
--time
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Carpenter
extra: introduce value_ptr_rl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpe
n
t
e
r
d
b
: ad
d
some more schemas
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db/relo
a
d
_
partial
.
sh: fix f
o
r call_implies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpenter
db: hook up call_impli
e
s infrast
r
ucture
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
pe
n
ter
sval
:
fix sv
a
l_is_a_
m
in/max()
f
o
r smaller
type
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpenter
s
val: in
t
r
o
du
c
e sval_i
s
_
p
tr
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
penter
d
b
:
Use extra s
m
->poss
i
ble
t
o decide if
split
t
ing t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpent
e
r
extra: int
r
od
u
ce get_extra_
s
m_state(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan C
a
r
p
enter
conditions: set the parent e
x
p
r
e
ssions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
implied: set in_fake_env when w
e
d
o an ass
u
me()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
slist: do a s
m
all clean up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpen
t
er
st
o
red
_
co
n
ditions:
s
tore
m
ore conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Carpenter
s
truct_ass
i
gnment: handle memcpy for p
o
i
nter mat
h
bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Dan
C
arpenter
spectre:
s
i
lence some if (array[user_controlled_of
f
set
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpenter
spectre: cha
n
ge
output format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Dan C
a
rpen
t
er
sp
e
ctr
e
: r
e
move is_read/write()
c
h
ecks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpen
t
er
db: f
i
x get_db_state_count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan
C
ar
p
enter
helper: clean up get_co
m
plication_
s
core()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Da
n
Carpenter
h
el
p
er: sizeof() is not c
o
mplicated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpe
n
ter
condit
i
ons:
split
t
he zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan
Carpe
n
ter
conditions: d
e
lete
u
nused fu
n
cti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-03
Dan Carpenter
chec
k
_user_da
t
a
: mark kvm_register_read() as re
t
u
rning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpe
n
t
e
r
nospec: if it's called
with trusted data that's th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpent
e
r
user_data: don't pass *$ as user data if the str
u
ct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpenter
chec
k
_u
s
er_data: some user data wa
s
lo
s
t at the call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Da
n
Carpenter
d
b: fix build
b
reakage by adding the type_i
n
fo schem
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpe
n
ter
db: rename call_im
p
lies t
o
re
t
urn_implies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Da
n
C
a
rpen
t
er
debug: imp
r
ove buf size debugging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
check_signed
:
silence som
e
false positi
v
es c
o
p
y
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carp
e
nter
c
h
eck_shift_to_zero: silence
s
om
e
false posi
t
i
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan C
a
rpenter
chec
k
_
sizeof: fix a
t
ypo in the warn
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
b
uf_size: fix re
c
o
r
ding global sizes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
buf_comparison: don
'
t sa
v
e
links to literal s
i
zes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
comparison: a
d
d some debu
g
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpe
n
ter
db: don't s
p
lit NUL
L
and non-NUL
L
unne
c
essarily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
d
b: fix a NULL der
e
fere
n
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
d
b: set
the CA
C
HE_PAG
E
S size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carp
e
nter
db: introd
u
ce the cach
e
_db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n
C
arpenter
db: c
l
ean up the
cod
e
and ex
p
ort some more functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
extra: use PAR
A
M_LIMIT to l
i
mit bin
o
ps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Car
p
enter
fl
o
w: nest some inlin
e
statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpe
n
t
e
r
m
o
di
f
ication_hooks:
d
o
n't allow multiple modification
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-21
Dan C
a
rpenter
c
ompariso
n
:
d
on'
t
save compar
i
sons to oneself
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
Da
n
Carpenter
co
m
par
i
s
on
:
add some parenthesis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
Dan Carpent
e
r
validation: fix up s
o
me failures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carpenter
co
m
parison: fix
f
ilter
_
by_com
p
a
rison == f
o
r ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-14
Dan
C
arpenter
ext
r
a: jus
t
set
sval assig
n
ments dire
c
tl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n
Carpente
r
check_
s
pectre: ignore masked off
d
ata
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan
C
arpenter
spe
c
tre:
u
se the
new
is_
u
s
er_
r
l()
fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
user_data
:
s
i
l
e
nce
s
ome more
n
tohl(fo
o
[i]); false positive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Car
p
enter
user_d
a
t
a: silenc
e
some sscanf() false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
user_da
t
a
: int
r
o
duce is_user_d
a
ta()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Ca
r
penter
use
r
_data
:
cl
e
anup g
e
t_user_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carpenter
comp
a
rison: fix
a NULL d
e
referen
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carpe
n
ter
compa
r
ison: fix validation tests an
d
a
dd a new test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next