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
mtag: add string information
2018-08-31
Dan Carpenter
mtag: add str
i
ng information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
D
a
n
C
arpenter
f
low: han
d
le __builti
n
_
m
u
l
_
overflow()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-29
D
an Carpenter
k
e
r
nel_printf: silence "specifier is
cast from point
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan
C
arpen
t
er
nospec
:
turn off specu
l
ation at r
m
b
(
)
,
smb
_
rmb() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carp
e
nter
c
h
eck_sig
n
ed: i
g
nore fake assignm
e
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
D
a
n Carpente
r
mta
g
_data
:
clear cach
e
at st
a
rt of functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan
Carpenter
nospec:
fix uninitialized po
i
nter crash
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n Ca
r
p
e
nter
helper: fake c
a
lls are
n
ot equivalent to a
n
yth
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Da
n
Carpenter
compari
s
on: handle
c
omparisons: if
((foo = fr
o
b(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Da
n
Carpenter
co
m
parison: im
p
r
ove
"fo
o
= mi
n
(
.
.
.
);" assignment handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpen
t
er
c
o
mpa
r
iso
n
: ha
c
k around some t
y
p
e
bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
mtag
_
d
a
t
a
: remov
e
dupli
c
ate mta
g
_data and
r
andom
sma
l
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan C
a
rp
e
nter
container_of: fix a
b
ug in ge
t
_
s
ha
r
ed_c
n
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
c
h
e
ck_
c
heck_deref: silence some false posi
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-18
D
an Ca
r
penter
nospec: st
o
re fu
n
ctions
t
h
at return nos
p
e
c indexes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-15
Dan Carpenter
nospec: handle
C
AL
L
_
NOS
P
E
C
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-14
Dan Carpe
n
ter
db:
in
t
rod
u
ce the --db-file=/path/to/smatch_d
b
.
sqlite
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpenter
user_dat
a
2
: use f
u
nction retur
n
s
in
points_to_user_
d
ata()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
D
a
n
Carpenter
files:
c
he
c
k
f
or schema fil
e
s
re
l
ative to the bin_d
i
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpe
n
ter
s
m
at
c
h
.
c: e
x
p
ort bin_dir to ev
e
ryone
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-10
Da
n
Carpenter
c
o
re: pri
n
t the full p
a
th when --info is use
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Dan
Carpenter
user
_
data: impro
v
e how r
e
turned data is han
d
led
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Dan Ca
r
p
enter
capp
e
d: set
returned struc
t
members to
c
apped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-06
Dan Ca
r
penter
user_data: fix valid
a
tion test for
returned struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan
Ca
r
penter
implied: don't
pri
n
t
s
o ma
n
y "
t
urnin
g
o
ff implica
t
ion
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan
Carp
e
nter
mtag:
d
e
l
e
t
e
some
bogus co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Da
n
Carpent
e
r
m
tag
_
data: update mtag_data to use get_mtag_addr_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n Ca
r
p
e
nter
mtag: f
i
x expr_to
_
m
tag_o
f
fset(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag: introduc
e
g
e
t
_
mtag_ad
d
r_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Car
p
enter
para
m
_
t
o_mtag_da
t
a:
r
e
name "
d
at
a
_name" --> "n
a
me"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n
C
arpent
e
r
mtag
:
don'
t
set t
h
e name
i
n expr_to_mtag_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpen
t
er
mtag_data: cache DB results
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
extra: move get_address_rl() out of get_ext
r
a_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n Carpenter
implicit_dependen
c
ies: white space
changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Da
n
Ca
r
penter
i
m
plicit_d
e
pendencies:
only enabl
e
this wit
h
the -
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
implicit_dependencies: fix a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-30
Dan Carpenter
imp
l
ied: improve de
b
ugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan
Carpe
n
t
e
r
mt
a
g/mtag_da
t
a: re-
u
se the same code to sto
r
e data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
D
a
n Carpenter
Rever
t
"conta
i
ner_of: remove some d
u
plicat
i
ve cod
e
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpen
t
er
mtag_data:
s
plit
g
et_mtag
_
rl() into two f
u
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
D
a
n Carp
e
nter
mtag: rename get_db_data_rl() =>
get_
m
tag_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
contai
n
er_of: remove
some duplicative code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n
Carpenter
mt
a
g
/c
o
ntainer_of: th
e
first
s
truct m
e
mber can be a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rpenter
mtag: Use
e
x
tra state t
o
g
e
t
mt
a
g and off
s
et
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: hook in the mtag code to
c
heck_list
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
C
a
r
pente
r
validatio
n
: f
i
x the new DB t
e
sts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rpenter
mtag: im
p
rove g
e
t_
m
ta
g
_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpent
e
r
mta
g
/math: use mta
g
informa
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpen
t
er
mtag:
make get_m
t
a
g_offset()
give both an
mtag and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag/
m
at
h
/extra: s
t
art using mtags a
s
poin
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Carpenter
mt
a
g
:
make the name paramet
e
r in expr_
t
o_
m
tag_name_offset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: mask out the l
o
w bits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Carpenter
mtag: turn
o
ff mtag s
t
u
f
f for 32 bit
b
uilds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpent
e
r
container_of: cleanup
set_param_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
container
_
of
/
m
tag: fix handling of p
a
ssed va
l
ues (as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rpenter
validati
o
n
:
add som
e
mtag tes
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rpenter
contai
n
er_of/mtag:
u
se
c
ontainer_of information 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 caller_info co
n
ta
i
n
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan
C
arpen
t
er
ranges: allow sva
l
s to be printe
d
i
n
h
e
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Ca
r
penter
ranges: fix parsin
g
o
f ulong_max and ptr_max (not current
l
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpent
e
r
contai
n
e
r_of: flip the
p
a
ram and
t
h
e
value around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpent
e
r
ad
d
ress: f
i
x add_offset
_
t
o_po
i
nter()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
ty
p
e: introduce get_fi
n
al_typ
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Car
p
enter
sval: handle pointe
r
math better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
type:
i
ntroduce g
e
t_promote
d
_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpent
e
r
compar
i
s
o
n: export filter_compariso
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan C
a
r
p
enter
s
mdb
.
py
:
push all m
y
ch
a
nges to this
file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
a
r
pent
e
r
db/kernel
.
ret
u
r
n
_fixes mis
c
updates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
a
r
p
e
n
te
r
conditio
n
s: d
o
n't parse N
U
LLs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
a
rp
e
n
t
er
db/fixup_kernel
.
sh: delete '(union ano
n
ym
o
us)->__val
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Car
p
enter
flow: pr
i
nt
slow to parse fu
n
ctions when the --time
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
ex
t
ra: int
r
o
duce value_p
t
r_rl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpent
e
r
db: add s
o
me
m
ore schem
a
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
nter
db/reload_partial
.
sh:
f
ix
f
or call_implies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpenter
db:
h
ook up call
_
im
p
li
e
s infrastructur
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
sval: fi
x
sval_
i
s_a_min/max()
for smalle
r
types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan C
a
rpenter
s
val:
introduce sval_is_ptr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpe
n
t
e
r
db: Use extra sm->possible to d
e
cide if splitting the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
ar
p
enter
extra: introdu
c
e get_extra_s
m
_st
a
te()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpenter
con
d
itions: set the par
e
nt express
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
nt
e
r
implied: set
i
n_fake_en
v
when we do
a
n a
s
sume()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Carpen
t
er
slist: do
a
s
mall clean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
stored_conditions: store
m
or
e
conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
struct
_
assignme
n
t: handle memcpy for pointer
m
a
t
h bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
D
an Carpent
e
r
spectre: si
l
en
c
e som
e
i
f
(array[user_controlled_offset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpenter
spectr
e
: change
out
p
ut
f
ormat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
D
a
n Carpenter
s
pectre: re
m
ove is_
r
ead/
w
r
i
te
(
)
c
h
ecks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
D
a
n
Carpenter
db:
f
ix get_db_state_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Car
p
enter
h
e
lper: clean u
p
get_complicati
o
n_scor
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
he
l
per: si
z
eof() is n
o
t
co
m
plicated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpent
e
r
cond
i
ti
o
ns:
sp
l
it the z
e
ro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carp
e
nter
co
n
ditions: delete
unus
e
d
fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-03
Dan Carpe
n
ter
c
h
e
c
k_user_data: mark kvm_registe
r
_read()
a
s
returning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan
C
arpenter
nospec:
if i
t
's cal
l
e
d with
t
rusted data th
a
t's th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpenter
u
ser_d
a
ta: don't pas
s
*
$ as user data if t
h
e struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carp
e
nter
check_u
s
er
_
data: som
e
user data was lost at
t
h
e call
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
db:
fix
b
uil
d
br
e
akage by add
i
ng the type_info schema
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan
Carpen
t
er
d
b: rename cal
l
_implies to return_implies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpen
t
er
de
b
ug: improve buf
s
iz
e
d
ebugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n C
a
rp
e
nter
check_signed:
silence so
m
e fals
e
positives
c
opyin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next