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
sval: handle casting to bool
2018-09-20
Dan Ca
r
pe
n
t
e
r
s
v
al: han
d
le castin
g
to
bo
o
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carp
e
n
ter
arra
y
_
v
alu
e
s
:
do
n
't crash on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpenter
no_spec: r
e
c
ord whe
n
functions have a barrier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carpenter
extra
/
type: fix t
y
pe of retu
r
n PARAM_ADD/SET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
Dan C
a
rpenter
p
a
ram_
l
imit: make mtag l
i
m
its more gener
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-12
D
an
Ca
r
p
e
nter
param_s
e
t
: don't save
if
the parent is s
e
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n
C
arpent
e
r
atomic_inc_dec: ad
d
a couple
more fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
an Carpent
e
r
signed_integer
_
overflow: ignore this for the kernel
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
math: handle conditionals li
k
e: "a = b?:
c
;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n
Carpente
r
nospec: don't fill the DB up with g
a
rbage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan C
a
rpenter
sizeof: fix N
U
LL deref
e
rence pa
r
sing in
v
alid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
s
t
rings: truncati
n
g
large
stri
n
gs
c
auses SQL problems
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Da
n
Ca
r
penter
type_val: don't double reco
r
d
globals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
target: man ssize_t be unsig
n
ed long instead of u
n
s
i
g
n
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpen
t
e
r
extra: don't rese
t
impossible state
s
a
ft
e
r
a con
d
ition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-10
Dan Carpente
r
arr
a
y: store possible arr
a
y val
u
e
s
for simple arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Da
n
Ca
r
pe
n
ter
m
tag: HACK:
r
e
tu
r
n fa
l
se if th
e
m
t
ag is zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Da
n
Carpenter
flow: fake an a
s
s
ign stat
e
ment for g
l
obal
i
nitiali
z
e
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Ca
r
penter
f
l
ow: twe
a
k h
o
w function t
i
meouts ha
p
pe
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
db: fi
x
a
t
y
p
e bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan C
a
rpenter
smatch_flow:
d
on't par
s
e
i
n
l
ine f
u
nctions after we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Dan
C
a
rp
e
nte
r
mtag:
a
dd
s
t
r
ing in
f
ormation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpenter
flow
:
handle
_
_builtin_mul_
o
verflow()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-29
Dan Car
p
ente
r
kernel_printf:
s
ilence "spe
c
ifier is cast fro
m
poi
n
ter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan
Carpente
r
n
ospec: t
u
rn off spe
c
ulation 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
check_signed: ig
n
ore fak
e
a
s
sig
n
m
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpen
t
er
m
ta
g
_data: c
l
ear cache at start o
f
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
nos
p
ec: fix uninitiali
z
ed point
e
r crash
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpen
t
er
helper:
fake calls a
r
e not equivalent to anythin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpe
n
ter
comparison:
handle comparisons: i
f
((f
o
o = frob(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
compariso
n
: im
p
rove "foo
=
m
i
n
(
.
.
.
);" as
s
ig
n
ment handl
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
c
o
mpariso
n
: hack around
s
ome t
y
pe bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpen
t
er
mtag
_
da
t
a
:
rem
o
v
e duplicate mtag
_
d
ata
and
ran
d
om
s
ma
l
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
cont
a
iner_of
:
f
i
x
a
bug in
get_shared_cnt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n
C
arpen
t
e
r
check_c
h
eck_deref: silence some false posit
i
ves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-18
Dan Ca
r
p
enter
nosp
e
c
:
store functions that r
e
turn nospec indexes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-15
Dan
Ca
r
penter
nos
p
ec: h
a
ndle CALL_NOSPEC
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-14
D
a
n
Ca
r
pent
e
r
d
b
: i
n
tro
d
uce the --db
-
file=
/
path/to/smatch_db
.
sqlite
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan
Ca
r
p
e
nt
e
r
user_d
a
ta2: use functio
n
returns in points_to_user_da
t
a()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
D
a
n Carpe
n
ter
files: ch
e
ck for sche
m
a
f
iles relative to t
h
e bin_
d
ir
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
D
a
n Carpente
r
s
match
.
c
:
exp
o
rt bin_dir to
e
ver
y
one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-10
Dan Carpenter
core: pr
i
nt t
h
e
full path when --inf
o
is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Dan
C
arpenter
user_data: impro
v
e h
o
w
returned data is
h
andl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Dan Ca
r
penter
capped: se
t
r
e
tu
r
ned struct members to capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-06
D
a
n Carpenter
use
r
_data:
f
ix valid
a
tion
test for r
e
turned
s
truc
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan
Carpenter
implie
d
: don't print so many
"
turning off implica
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan C
a
rpenter
mtag: delete s
o
m
e
bogu
s
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag_data: update mtag_data
t
o use
get_mtag_addr_sva
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
m
t
a
g
: fix expr_to_mtag_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
D
an
Carpente
r
mta
g
: introd
u
ce
get_mtag_a
d
dr_
s
v
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
param_to_
m
tag_dat
a
: rename "data_name
"
--
>
"name"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Da
n
Carpenter
m
tag:
don't set the name in
e
xpr_t
o
_mt
a
g
_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpe
n
ter
mtag_d
a
ta: cache
D
B
r
e
sults
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Ca
r
p
e
nter
ext
r
a: move get_address_rl
(
)
out of get_e
x
tra_stat
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
i
m
plici
t
_dependencies:
white space change
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan C
a
rp
e
n
ter
implicit
_
depe
n
dencie
s
: only enable this with the -
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carp
e
nter
implici
t
_dependencies:
fix a cras
h
ing b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew A
d
ay
saved no_Struct graph and
begin arg filtering
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Ad
a
y
Gener
a
t
e
json for w
i
thout
stru
c
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andr
e
w
Aday
T
est: ignore struct fields
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
And
r
ew Aday
updat
e
i
m
plicit deps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
A
n
d
rew A
d
ay
reg
e
n impl
i
cit de
p
after
merg
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
mo
d
i
f
ied smatch to catch
m
sync and sim
i
lar func
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andre
w
Aday
update re
a
dme and manua
l
ly a
d
d
deps
f
or msync
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
A
ndrew Zhu
changed
o
u
tput to json, blacklist f
i
le->
f
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
And
r
ew Aday
igno
r
e pyc
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Ad
a
y
p
y
thon modu
l
e
to par
s
e
k
e
r
nel
.
implicit_dependencies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
A
ndrew Aday
kern
e
l
.
i
mplicit_de
p
en
d
encies with write data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
add tracking for
w
rite
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Ada
y
Add read dependencies in ne
s
t
ed i
n
line f
n
calls an
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
A
n
drew Ad
a
y
add
s
match_data/
k
erne
l
.
implici
t
_dependencie
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew
Ad
a
y
ch
e
ck_implic
i
t_d
e
pendencies and gen script
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
A
ndrew Aday
introdu
c
e check_imp
l
icit_de
p
en
d
encies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-30
Da
n
Carp
e
nter
im
p
l
i
ed: impro
v
e d
e
bugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan
C
arpenter
mtag/mtag_data: r
e
-
u
se the
same code to store data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpe
n
t
e
r
Revert "
c
ontainer_of
:
remove
s
o
m
e du
p
l
i
cati
v
e
code"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan
Carpente
r
mtag_data: split get_mtag_rl() into two f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpenter
mta
g
: rename get_db_data_rl() => g
e
t_mtag_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
co
n
tainer_of:
r
e
mo
v
e some dup
l
icative cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
an Carpenter
mtag/container_o
f
:
t
h
e first struc
t
member ca
n
be a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: Use extra
s
tate t
o
get mt
a
g a
n
d offset
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Carpen
t
e
r
mtag: hook in
t
h
e
mt
a
g
c
o
d
e to
ch
e
ck_list
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpent
e
r
val
i
dation: fix the ne
w
DB test
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: improve get
_
mt
a
g_
s
val
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpe
n
ter
mtag
/
m
a
t
h: use mtag information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: make
get_
m
t
ag_offset() give both an mtag and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag/mat
h
/extra: start
using mtags
a
s
pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Carpenter
mtag: ma
k
e t
h
e name
p
arameter in exp
r
_to_mta
g
_name
_
of
f
set
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: mas
k
out the low
bits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
an Carpenter
mtag: turn off mtag stuff
fo
r
32 bit
builds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
container_of: cleanup se
t
_para
m
_value(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
an
Car
p
ent
e
r
container_of/m
t
ag: fix h
a
ndling
o
f
passed va
l
ues (as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
C
arpenter
valida
t
ion: add
s
ome m
t
a
g
t
ests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
r
penter
container
_
of/mtag:
use con
t
ainer_
o
f information for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan
C
arp
e
n
t
e
r
c
o
ntainer_of
:
re-write
code to record caller_info containers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
r
an
g
es: all
o
w
s
vals to
b
e printed in hex
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
r
a
nge
s
: fix parsing of ulong_m
a
x and ptr_m
a
x (not currently
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
D
an Carpenter
container_of: flip the p
a
ram and the value aroun
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
address:
f
i
x add_offset_t
o
_p
o
i
n
ter(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpent
e
r
type: int
r
oduce
g
et_f
i
nal_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next