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
Dan Carpenter
db:
i
ntroduce the --d
b
-file=/
p
ath/to/smatch_db
.
sqlite
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpenter
user_data2: us
e
function returns in points_to_user_dat
a
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
D
an Carpen
t
er
f
iles: check
f
or
s
c
he
m
a files
r
el
a
tive to the bin_dir
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan
C
arpenter
s
m
a
tch
.
c:
export bin_dir
t
o everyone
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-10
Dan Carpen
t
er
core: print t
h
e full pat
h
when --in
f
o
i
s used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-08
Dan Carpenter
u
ser_data: improv
e
how
r
e
turne
d
data is handl
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-08
D
an Carp
e
nter
c
apped:
set returned struct members to capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-06
Dan Ca
r
penter
u
s
e
r
_
data: fix validation te
s
t for
r
etur
n
ed struct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Ca
r
penter
im
p
lied: don't print so m
a
ny "turni
n
g off implic
a
t
ions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan
Carpenter
mtag: delete som
e
b
o
gus code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n Carpenter
mta
g
_data: up
d
ate mtag_data to use get_mtag_addr_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan
Carp
e
nte
r
mtag
:
fix
expr_to_mtag_off
s
et
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpe
n
t
er
mtag:
introduce get_
m
tag_addr_sva
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
an
C
arpent
e
r
p
a
ram_to
_
mtag_data: rename
"data_name" --
>
"n
a
me"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan C
a
r
p
enter
mtag:
d
o
n't set the name in expr_to_
m
tag_
o
ffset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n
C
arpenter
mtag_da
t
a: cache DB resu
l
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
extra
:
move get_address
_
rl() ou
t
of get_extra_sta
t
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan
C
arpenter
impli
c
it_dependenc
i
es: white
space changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n Carpe
n
ter
impl
i
cit_
d
ependen
c
i
e
s:
o
nly en
a
ble th
i
s with the -
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan C
a
r
p
enter
impli
c
it_
d
ependencies: fix
a
crashin
g
b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-30
D
a
n Carpenter
implied: im
p
rove debug
g
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Da
n
Car
p
enter
mtag/mtag_da
t
a: re-u
s
e
t
he same cod
e
to store data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carp
e
nter
R
e
vert "conta
i
n
er_of: re
m
ove so
m
e duplicative
c
ode"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan C
a
rpenter
mtag_data: split
g
et_mtag
_
rl(
)
into two functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan C
a
rpenter
mtag:
rename
g
et_db_data_rl
(
) => get_mtag_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
contai
n
er_of:
r
emove some
duplicat
i
ve
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Carpenter
mta
g
/
c
ontain
e
r_of:
the first struct mem
b
er can be a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpe
n
ter
mt
a
g:
Use extr
a
st
a
te
t
o get mtag and offset
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rpenter
mta
g
: hook in
the
mtag code to check_li
s
t
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
D
an Carpenter
validation: fix t
h
e new DB tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
D
an Carp
e
nter
mtag: improve get
_
mtag
_
sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carp
e
n
ter
m
t
ag/math: use mta
g
information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mt
a
g:
m
a
ke get_mta
g
_offset() give bot
h
an mtag a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n Ca
r
p
en
t
er
m
t
a
g
/math/extra: start using mt
a
gs as pointer
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpente
r
m
t
a
g: make the name
p
a
rame
t
er
i
n exp
r
_to
_
m
t
a
g
_name_offset
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag
:
m
a
s
k out the low bit
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Carpente
r
m
t
ag: turn off mtag stu
f
f fo
r
3
2
b
it
b
u
ilds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n Ca
r
p
e
n
t
er
con
t
ainer_of: cle
a
nup set_pa
r
am_value
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
co
n
t
a
iner_
o
f/mtag: fix handl
i
ng of passed
values
(as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan
C
a
r
penter
validation: add some mtag tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Carpenter
co
n
t
a
iner_of/mtag
:
use contai
n
er_of information for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
container_o
f
: re-write c
o
de
to record cal
l
e
r_
i
nfo
containers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
r
ange
s
: allow sv
a
ls to be printe
d
in
h
ex
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan C
a
rpenter
ranges: fix parsing of u
l
on
g
_max and ptr_m
a
x (not currently
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
container_o
f
: flip the pa
r
a
m
and the value a
r
o
und
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-25
Dan C
a
r
p
enter
address: fix add_offset_to_pointer()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
type: introduce
g
e
t
_
final
_
typ
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
nter
sval: handle poi
n
ter math
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Car
p
enter
typ
e
:
intro
d
uce
g
et_promot
e
d_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Carpenter
comparison: export f
i
lt
e
r_c
o
mparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
smdb
.
py: push all my changes to this
f
il
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
penter
db/kernel
.
return_fixes misc updates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpente
r
conditions:
don't
p
arse
NULL
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan C
a
rpenter
db/fixup
_
kerne
l
.
sh:
d
elete '(
u
nion anonymou
s
)->__val
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
flow
:
print slow t
o
par
s
e
functions when the --time
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan C
a
rpenter
extra: i
n
tr
o
duce
value_ptr
_
r
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpent
e
r
db:
a
dd some
more
s
c
hemas
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
nter
db/reload_part
i
al
.
sh: fix for
c
all_implies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpenter
db: hook up cal
l
_implies
infrastructure
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
sval: fix sval_is_a_min/ma
x
()
for sm
a
lle
r
types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
sval:
introduce sval_is_ptr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpenter
d
b
: Use e
x
t
r
a s
m
-
>possible t
o
de
c
id
e
if sp
l
itting the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
extra:
intro
d
uce get_extra_sm_stat
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpe
n
ter
c
o
n
d
i
t
ions: set the
p
arent e
x
pres
s
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpente
r
implie
d
: set in_fake_
e
nv when we do an a
s
sume
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
ente
r
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
Dan
C
arpent
e
r
stored_condi
t
ions:
s
tor
e
mo
r
e c
o
nditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Carpenter
struct_ass
i
gnment:
h
andle memc
p
y
for poin
t
er math bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpenter
sp
e
ctre: silence so
m
e if (a
r
ray[user_cont
r
o
ll
e
d_offset
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpenter
sp
e
ctre: cha
n
ge outpu
t
format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpenter
s
pectre: rem
o
ve is_read/wri
t
e() che
c
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Da
n
Carp
e
nter
db: fix get_db_stat
e
_
c
o
unt
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpe
n
t
e
r
helper: c
l
ean
u
p g
e
t_c
o
mpli
c
ation
_
sc
o
re()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
D
an Carpenter
h
e
lper: si
z
eof() is not complicated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Da
n
Carpente
r
cond
i
tions: sp
l
it the zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-06
Dan Ca
r
pente
r
cond
i
tions: delet
e
unused function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-03
Da
n
Carpent
e
r
check_user_dat
a
: mark kvm_r
e
g
i
s
t
er_r
e
ad
(
) as retu
r
n
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan C
a
rpenter
nosp
e
c: if it's
c
a
lled
with
t
rusted data that's
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpente
r
user_data
:
don'
t
pass *$ as u
s
e
r data
if the struct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpenter
check_user_d
a
ta: some user data
was
l
ost at the call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
D
a
n Car
p
en
t
er
db
:
fi
x
build bre
a
kag
e
by adding the
type_info schema
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpe
n
ter
db:
r
ename cal
l
_i
m
plies to
return_implies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-25
Dan C
a
rp
e
nter
d
ebug: im
p
rove buf size
de
b
ugging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
arpen
t
er
che
c
k
_
signed
:
silence some false
p
os
i
tives cop
y
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
penter
c
heck_
s
hift_to_zero: silen
c
e s
o
me false positiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carp
e
nter
che
c
k_sizeof: fix a typ
o
i
n t
h
e warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
a
r
p
e
n
t
er
bu
f
_size: fix recor
d
ing
global sizes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan C
a
r
pe
n
ter
b
uf_comp
a
ri
s
o
n
:
d
on't sav
e
links to l
i
teral siz
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
penter
com
p
aris
o
n
: ad
d
some debug out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Carpe
n
ter
db:
d
on't spl
i
t
N
U
L
L and non-N
U
LL unnecessarily
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
D
an
Carp
e
nter
db
:
set the CACHE_PAGES size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpenter
db: introduce
the
ca
c
he_d
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
D
an
C
a
r
pe
n
ter
d
b
: clean up the code and export some more functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
e
xtr
a
: use PARAM_LIMIT to
limit bin
o
ps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpen
t
e
r
fl
o
w: nest som
e
i
n
line statem
e
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpe
n
ter
modification_hooks: do
n
't allo
w
mult
i
ple modificat
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-21
Dan Carpenter
comparison
:
don't
s
a
ve compar
i
sons to oneself
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
D
a
n
Car
p
enter
compar
i
so
n
: add s
o
me parent
h
esis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-18
Dan Carpenter
va
l
i
da
t
ion: fix up some
f
ailures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next