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
type: make pointers unsigned
2018-09-11
Dan Carp
e
nter
atomic_inc_dec:
a
dd a coupl
e
more functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
si
g
ned_integer_
o
ve
r
f
low:
i
gn
o
r
e
t
h
i
s
for the
kernel
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpente
r
math
:
handle conditionals like: "a = b?: c;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
no
s
pec: d
o
n
't fi
l
l
t
he DB up with
garbage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpen
t
er
size
o
f:
f
ix NULL dereference
p
ars
i
ng in
v
alid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
strings
:
truncating large strings causes SQL
p
r
oblems
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Da
n
Carpenter
type_
v
a
l: don't do
u
ble r
e
cord globals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Da
n
Carpente
r
t
a
rget: man ssize_t be unsigned
long instead of unsigned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Ca
r
pe
n
ter
extra:
don't res
e
t impossible sta
t
es af
t
e
r
a
c
ondi
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-10
Dan Carpenter
array: store p
o
ssible ar
r
ay values for simple arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
D
a
n Ca
r
pent
e
r
mtag: HACK: retu
r
n f
a
lse
i
f t
h
e mtag is zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carp
e
n
t
e
r
flo
w
: fa
k
e
a
n
assi
g
n
statement for global in
i
tiali
z
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
f
l
ow: twe
a
k how
f
unction timeouts happ
e
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan
C
a
rp
e
nter
db:
f
i
x
a
type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
D
a
n
Car
p
enter
smatch_flow: don't
parse inline
f
unc
t
ions after we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Dan C
a
rpenter
mtag: a
d
d strin
g
information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpenter
flow: handle __builtin_mul_overflow()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-29
D
a
n Car
p
e
n
ter
kernel_
p
r
i
ntf: silenc
e
"sp
e
cifier is
ca
s
t from po
i
nter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpenter
n
o
sp
e
c: tu
r
n off spe
c
ulation
a
t
rmb(), s
m
b
_rmb()
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
D
a
n Carpenter
check_signed: i
g
no
r
e
f
ake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan
C
arpent
e
r
m
tag_da
t
a
:
c
lear cache at star
t
of fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
nospec: fix
u
ninitialized pointer crash
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpente
r
helper: fake call
s
a
r
e not equivalent to anything
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
an Carpenter
c
o
mparis
o
n: handle comp
a
risons: i
f
((foo = fro
b
(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan
C
arpen
t
er
comparison: improve "foo
= min(
.
.
.
);
"
assignment handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
com
p
aris
o
n: hack arou
n
d
s
ome
type bug
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
m
tag_data: remove du
p
licate mtag
_
data and random small
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
conta
i
ner_of: f
i
x a bug
i
n
get_
s
hare
d
_c
n
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Da
n
Carp
e
nter
chec
k
_check
_
d
e
ref: sil
e
nce some
f
a
l
se positive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-18
Dan Carpenter
nospec: sto
r
e
fun
c
tio
n
s
t
h
a
t ret
u
rn nospec indexes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-15
D
an
C
arp
e
n
t
er
nospec: handle
C
ALL_
N
OSPEC
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-14
D
a
n C
a
rpenter
db: introduce the --db-f
i
le=/path/to/smatch_db
.
sqlit
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan
Carpenter
user_data2: us
e
f
unction returns in point
s
_to_user_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan C
a
rpe
n
ter
files: c
h
eck for schema files relat
i
ve to the b
i
n
_
d
ir
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpenter
smatc
h
.
c: export
b
i
n_dir t
o
eve
r
y
o
ne
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-10
Da
n
C
a
rpen
t
er
core: print the
full path
w
hen --i
n
fo is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Dan Carpenter
user_da
t
a: imp
r
o
ve how returned
data is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Dan Carpent
e
r
capped: set
r
etu
r
ned
s
truct
m
emb
e
rs to cap
p
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-06
Dan
C
arpe
n
ter
user_da
t
a
:
fix va
l
idati
o
n te
s
t for return
e
d struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan
C
arpe
n
ter
impl
i
ed: do
n
't
p
rint so
m
any "
t
urning
off implicat
i
on
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpe
n
ter
m
t
ag
:
delete so
m
e
b
og
u
s co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan
Carpenter
mtag_da
t
a: update mtag_
d
ata t
o
u
s
e get_mtag_addr_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag:
f
i
x
expr_to_mtag_o
f
fs
e
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpent
e
r
m
t
ag: introduce
g
et_mtag_addr_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
param_
t
o_mtag_data:
r
ename "data_name" --> "n
a
me"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag: don't set the nam
e
in e
x
pr_to_mtag_of
f
s
et()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
D
an Car
p
enter
mtag_da
t
a: cache DB results
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan
Car
p
enter
ex
t
ra: mo
v
e ge
t
_addre
s
s_rl() out of get_ex
t
ra_
s
tate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
D
an C
a
rpenter
impli
c
i
t_depend
e
ncies: whi
t
e
space changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carp
e
nter
imp
l
icit_dependencies: only enable this with the
-
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Ca
r
p
e
nter
implicit_
d
ependencies:
f
ix a crashin
g
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-30
Da
n
Carpenter
imp
l
ied: improve
d
ebugg
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
D
a
n Car
p
enter
mtag/mtag_data: re-use
t
h
e sa
m
e code to store data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Da
n
Carpenter
Revert
"containe
r
_of: r
e
move some duplicative c
o
d
e"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan C
a
rpen
t
er
m
tag_dat
a
: split g
e
t
_mtag_rl()
i
nto two
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan
Carpenter
m
tag: rename
get_d
b
_d
a
ta_rl()
=
>
get_m
t
ag
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
co
n
tain
e
r
_
of: remove s
o
me dup
l
icative cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Carpenter
m
t
ag/container_o
f
: the
first struc
t
m
e
m
ber can be a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
an Carp
e
nter
mtag: U
s
e ext
r
a state
t
o g
e
t mtag and off
s
et
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
C
arpenter
mtag: hook in the mtag code to check_list
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpe
n
ter
valida
t
i
o
n: fix the new DB tes
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: improve get_mtag_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Ca
r
pe
n
ter
mtag/math: use mtag i
n
formation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpent
e
r
m
t
a
g: make get_mtag_offset() give both an mta
g
a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carp
e
nter
mt
a
g
/math/extra: start
using mtag
s
as
p
ointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n Carpenter
m
tag: make
the name
p
arame
t
er
i
n
e
xpr_to_mtag_name
_
of
f
set
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: mask
out the low bits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: turn
o
f
f mtag stuff
f
o
r 32 bit builds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n Carpenter
co
n
tai
n
e
r
_of: clean
u
p se
t
_
p
aram_va
l
ue()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Carpenter
contain
e
r_
o
f/m
t
a
g: f
i
x
handling of passed values (as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
an Carpenter
validat
i
on: add som
e
mtag test
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n
Carpent
e
r
container_of
/
m
t
ag:
u
se containe
r
_of i
n
for
m
ation
for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
D
a
n Carpenter
container_of: re-write code
t
o
record
c
a
ll
e
r_info
container
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Da
n
Carpe
n
ter
ranges: allow sv
a
ls t
o
be
p
ri
n
ted
in hex
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
ranges: fix parsing of
u
lo
n
g_max and
ptr_max (
n
ot currently
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
contai
n
er_of: f
l
ip the param and the
v
alu
e
a
r
ound
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
ad
d
ress: fix a
d
d_
o
ffset_to_pointer(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan C
a
rpente
r
type: introduce
g
e
t_final_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Ca
r
penter
sval: handle
pointer math
b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
typ
e
: introduce
g
et_pr
o
moted_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpenter
comparison: export fil
t
er
_
co
m
parison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpenter
smdb
.
py: push all my changes t
o
t
his file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carp
e
nter
db/ke
r
nel
.
re
t
urn_fixes misc updates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
co
n
d
i
t
i
o
n
s:
d
on't
p
ar
s
e NUL
L
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arp
e
nter
db/fixup_kernel
.
sh:
d
elete '
(
union a
n
onymou
s
)->_
_
val
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Ca
r
pe
n
t
er
f
low: print s
l
o
w
to parse
f
unct
i
o
n
s when the --tim
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n
C
arpenter
extra: intro
d
uce value_ptr_rl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n
Ca
r
p
e
nter
db: add some mo
r
e sch
e
mas
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Ca
r
pen
t
er
db/reload_partial
.
s
h
:
fix for call_im
p
l
ies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpente
r
db: hook up call_imp
l
ies infr
a
structure
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Carpenter
sv
a
l: f
i
x sval_is_a_min/max() for smaller types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
sval: introd
u
ce sval_is_ptr(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
penter
d
b: U
s
e extr
a
s
m
->possible
t
o decide if
s
plitting the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
extra:
i
ntroduc
e
get_extra_sm
_
s
tate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
cond
i
tion
s
: set the p
a
rent expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpent
e
r
implied: set in_fake_env when we
d
o an
assume
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
e
nter
slist: do a sma
l
l clean u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
ar
p
e
n
t
e
r
s
tored_conditio
n
s: sto
r
e more
c
o
n
dit
i
on
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
st
r
uct_assignment: han
d
le memcpy f
o
r poin
t
er
math
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpenter
sp
e
ctre: sil
e
n
ce some
if (a
r
ray[user_co
n
troll
e
d_offset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next