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
db: introduce the --db-file=/path/to/smatch_db.sqlite option
2018-08-14
D
a
n Car
p
e
n
ter
db:
i
ntroduce the --db-file=/pa
t
h/to/
s
match
_
db
.
sqlite
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpenter
user_data2: u
s
e
function returns in poi
n
ts
_
to_user_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpe
n
ter
fil
e
s: check for schema f
i
l
es relative to th
e
bin_di
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan
C
arp
e
nter
smatch
.
c: export
bi
n
_dir to everyone
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-10
Dan Carpe
n
t
e
r
core:
print the full path when --info is used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-08
D
an Carpe
n
ter
u
ser_data: improve ho
w
r
eturned d
a
ta i
s
h
a
ndled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-08
D
a
n
C
arpenter
capp
e
d: se
t
return
e
d stru
c
t members to capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-06
Dan C
a
rpenter
u
ser_da
t
a: fix validation test f
o
r returned struc
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n Carpenter
implied: don't print so ma
n
y "
t
u
r
ning off implicati
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
an Carpenter
mtag: delete some bogus co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
m
tag_data: update mtag_da
t
a
to use
g
e
t_
m
tag_
a
ddr_
s
val()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan
C
arpenter
m
ta
g
:
f
i
x expr_to_mtag_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carp
e
nter
mt
a
g
:
introduc
e
get_mtag_addr_
s
va
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
p
a
r
am
_
to_mtag
_
data:
r
ename
"
da
t
a_nam
e
" -->
"name"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
an Carpenter
mtag: d
o
n't set the name in expr
_
to_mtag_offset
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
m
t
ag_data: c
a
che DB re
s
u
lts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Car
p
enter
e
x
tra: move get_address_rl()
out of get_extra_
s
tate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan
C
ar
p
enter
imp
l
icit_dependencies
:
white space ch
a
nges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Car
p
enter
implicit_dependen
c
ies: only enable th
i
s with the -
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n
C
arp
e
nt
e
r
implicit_
d
epende
n
cies: fix a
crashing b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-30
Dan Carpenter
implied: i
m
prov
e
d
e
b
ugging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpenter
mtag/mtag_d
a
t
a: re-use the s
a
m
e
code to store
data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpe
n
ter
Revert "contain
e
r_of: remove som
e
duplicative
code"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpenter
mtag_data: split get
_
mtag_rl() into two functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpenter
mt
a
g: ren
a
me
ge
t
_
db_data_rl()
=
> get_mtag_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rpenter
con
t
ainer_of: remove
s
ome duplicati
v
e
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Car
p
enter
m
tag/c
o
ntainer_of: the first
s
truc
t
member can
be a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n Carpente
r
mtag: Use
ex
t
ra state
t
o g
e
t mtag and offset
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan
C
ar
p
ente
r
mta
g
: hook in
the mtag code to check_lis
t
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
v
al
i
dation:
f
i
x
the new D
B
tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rpenter
m
t
a
g: improve
get_mtag_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Ca
r
penter
m
t
a
g/math: use mtag information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan
C
a
rp
e
nter
mta
g
: make g
e
t
_
mtag_offset() gi
v
e both an mt
a
g and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpe
n
ter
mta
g
/math/extra: start using mta
g
s as point
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Car
p
enter
mtag: make th
e
n
a
me parameter i
n
expr_
t
o_mtag_n
a
me_
o
ffset
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n Carpenter
mtag: mask o
u
t the low bi
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpent
e
r
mtag: tu
r
n off mtag stuff for 32 bit build
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n Carpenter
contai
n
er_of: c
l
e
a
n
up
set_param_value(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Carpenter
contai
n
er_
o
f/mtag: fix
ha
n
dling of pa
s
sed values (as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Car
p
e
n
t
er
valid
a
tion
:
add
some
mtag tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Ca
r
penter
con
t
ainer_of/mtag:
u
se container_of information for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpent
e
r
c
ont
a
i
n
er_of: r
e
-write code to record caller_i
n
fo c
o
nt
a
iners
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
ranges
:
allow svals
to b
e
printed in hex
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
D
a
n Carpente
r
ranges:
f
i
x
parsing of
ulo
n
g_max and ptr_max (not curren
t
ly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan
C
arpen
t
er
container
_
o
f
: flip the
param a
n
d
the valu
e
a
round
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
D
a
n Carpenter
addr
e
ss:
f
ix add
_
offset_to_po
i
nte
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpent
e
r
type: introduc
e
get_final_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
s
val: handle pointer m
a
th
b
e
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arp
e
nter
type: introdu
c
e
get_promoted
_
t
ype()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpente
r
comparison: export
filter_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan C
a
r
p
enter
smdb
.
py: push
a
ll my chan
g
e
s
to thi
s
f
ile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
d
b
/
ke
r
ne
l
.
re
t
urn
_
f
i
xes misc u
p
d
a
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpe
n
ter
co
n
d
itions: don't
p
arse NU
L
Ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db/fi
x
u
p
_ker
n
e
l
.
s
h: delet
e
'(union anonymo
u
s)->__val
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
an
C
a
rpe
n
te
r
flow: prin
t
slo
w
to parse functions w
h
en
t
he -
-
tim
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpenter
extra: in
t
roduce value_ptr_rl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
d
b: add some more s
c
hemas
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpe
n
ter
db/reload_
p
art
i
al
.
s
h
: fix for call_im
p
lies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
d
b: ho
o
k
u
p call_i
m
p
lies in
f
rastr
u
cture
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpenter
sval:
f
ix sval_is_a
_
min/
m
ax(
)
for
s
m
a
l
l
e
r
types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
sval: introduce sval
_
i
s_p
t
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpente
r
db: Use extra sm->possi
b
le to
de
c
ide i
f
splitting
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpen
t
er
e
x
tra: introduce get_extra_sm_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
C
a
rpenter
c
o
n
d
iti
o
ns
:
set the
p
a
r
ent expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arp
e
nter
implied:
set in_fake_env when w
e
d
o
a
n a
s
sume(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n
C
arpen
t
er
sl
i
st: do a sma
l
l clean up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpenter
stored_con
d
i
ti
o
ns:
store more cond
i
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan C
a
rpenter
struc
t
_assignment: handle memcpy fo
r
pointer math be
t
te
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
D
an Carpen
t
er
s
pectre: sile
n
c
e
s
o
me
if (ar
r
ay
[
user_c
o
ntrolled_offse
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carp
e
nter
s
pectre: change
o
utput format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpen
t
er
s
pectre: rem
o
ve is_read/write() che
c
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan C
a
r
penter
db:
fi
x
get_db_
s
t
ate_co
u
n
t
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan
C
arpenter
help
e
r:
c
l
ean up ge
t
_
c
om
p
licat
i
on_
s
core()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
D
a
n Carpent
e
r
helpe
r
: sizeof(
)
i
s
not co
m
p
l
icated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan
Carpenter
condi
t
ions: spl
i
t
th
e
z
e
ro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
D
a
n Carpenter
conditi
o
ns:
d
e
l
ete
u
n
u
sed
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-03
Dan Carpenter
check_user_data: mark
kvm_register
_
read() as return
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan Ca
r
penter
no
s
p
e
c: if
it's call
e
d
wit
h
trusted
data that's
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan Ca
r
pe
n
ter
user_
d
a
t
a
:
don't pass *$ as
us
e
r
d
ata if the struct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpe
n
ter
c
heck_user_data:
s
o
me user dat
a
w
as lost at the call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
D
a
n Carpenter
db
:
f
ix build
breakage by
adding the type
_
info sch
e
ma
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
db: rename ca
l
l_imp
l
ies to return_i
m
plies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan Ca
r
pente
r
debug: impr
o
ve b
u
f s
i
ze debugging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpenter
chec
k
_sig
n
ed:
s
ilence some fals
e
pos
i
t
ives copying
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Car
p
e
nter
c
hec
k
_shift_
t
o
_
zero:
s
ilence some false positi
v
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
check
_
sizeo
f
: f
i
x a t
y
po
i
n
the war
n
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Carpenter
buf_size
:
fix r
e
c
ordi
n
g global sizes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
buf_comparison: don't save links
t
o
literal sizes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
c
omparison: add some debug
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
penter
db:
don't split
NULL and
n
on-NU
L
L unnecessarily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpe
n
ter
db: fix a NULL
de
r
eference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan C
a
rpenter
db: se
t
th
e
CACHE_PAGES size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db: introduce the cache
_
db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan C
a
rpenter
d
b
: clean up the code and export some more func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Ca
r
pent
e
r
extra: use PARAM_LIMIT to limit
b
inops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
f
l
o
w: nest s
o
me inline
statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
modification_hooks: don't allow multipl
e
modificatio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-21
Dan
C
a
r
p
e
nter
comparison: don't sav
e
comparisons to oneself
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
Dan Carpent
e
r
comparison: add
s
ome parenthesi
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
Da
n
Carpenter
validation:
fix up some failures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next