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
expressions: don't crash on invalid code
2018-09-20
Dan Ca
r
penter
e
xpres
s
ions: don't crash on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
p
enter
extra: fi
x
a type bug
i
n inserting info into caller
_
info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpe
n
t
e
r
kern
e
l: don
'
t
insist tha
t
the param
e
te
r
is name
d
"error"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carp
e
n
te
r
extra: export is_impossible_variable
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Car
p
ent
e
r
flow: fix a cr
a
s
hing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpent
e
r
function_hooks:
do the fake
para
m
eter assign
m
ent aft
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
param
_
l
imit: fix generify_m
t
ag
_
range(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpenter
ext
r
a: clear_po
i
nt
e
d_
a
t
_
state() is
a
n
o
m
od stat
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpente
r
param_set: handle wh
e
n the stack variable was modified
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
parse_c
a
l
l
_math: don't say
the return is
e
qual to a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
e
n
t
er
s
c
op
e
: fix
is
_
outer_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
sval: handl
e
casting
to bool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpenter
array_values: do
n
't
c
ra
s
h o
n
in
v
alid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
no_spec
:
re
c
ord w
h
e
n functions have a barrier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carpenter
e
x
tra/type: f
i
x
type of return PARAM_ADD/S
E
T
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carp
e
nter
param
_
l
i
mi
t
:
make mtag limits more gener
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-12
Dan Carpente
r
param_
s
e
t
:
don
'
t sav
e
if th
e
parent is set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
Carpenter
at
o
mic
_
inc_d
e
c: add a couple m
o
re functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Da
n
Carp
e
nter
signed_int
e
ger_overflow: ignore this for
t
he kernel
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
Carpente
r
math: hand
l
e cond
i
t
ionals like: "a = b?:
c;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Car
p
enter
nospec: don't
fill the
D
B
up with ga
r
ba
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carp
e
nte
r
sizeof: fix
N
U
LL d
e
reference pa
r
sing
invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
Carpenter
stri
n
gs: truncating l
a
r
g
e strings causes SQL
p
rob
l
ems
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
a
r
penter
type
_
v
al: don't doub
l
e record global
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n Carpe
n
t
e
r
target: man ssize_t
be u
n
signe
d
l
ong ins
t
e
a
d o
f
unsigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n
C
a
rpenter
extra: don't reset im
p
ossible states aft
e
r a c
o
ndi
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-10
Dan
Carpenter
arra
y
:
store pos
s
ible array values for sim
p
le
arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
D
a
n C
a
rpenter
mtag: HACK: ret
u
rn f
a
l
se if the
m
tag is zer
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
flow: fak
e
an as
s
ign statement for
g
lobal initializers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
flow: tweak how
f
unction timeouts happen
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
D
an Carpent
e
r
d
b
: fi
x
a
type
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Car
p
enter
smatch_flow:
d
o
n
't parse inline func
t
ion
s
after we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpen
t
er
m
tag: add strin
g
i
n
formati
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpenter
flow: handle __bui
l
tin_mul_ov
e
rflow()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-29
Dan
C
a
rpenter
kernel_printf: silence "specifier
i
s cast
f
rom p
o
i
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpenter
nospec
:
t
u
rn off spec
u
lation at rmb(), smb
_
rmb() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
D
a
n
Carpe
n
ter
chec
k
_sign
e
d: ignore
fake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
mtag_
d
ata: clear
c
ache at start of fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
nospec: fix uni
n
itialized
pointer crash
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n Carpenter
h
e
l
per: fake
calls are
n
ot equivalent to
a
nything
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
com
p
ariso
n
: handle co
m
pa
r
isons:
i
f (
(
foo = frob(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan
Carpenter
compa
r
ison: improve "f
o
o =
min(
.
.
.
)
;
"
assignm
e
n
t han
d
ling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Da
n
Ca
r
penter
c
o
mparis
o
n: ha
c
k around
s
o
m
e type bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Da
n
Carpenter
m
t
ag
_
data: remo
v
e d
u
p
licate mtag_data
and random small
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
container_
o
f: fix a bug in get_shared_cnt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpen
t
er
check_check_deref: sil
e
nce some false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-18
Da
n
Car
p
enter
nosp
e
c: store funct
i
ons that return
n
ospec
i
n
d
e
xes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-15
Dan
Car
p
en
t
er
nospec:
handl
e
CALL_NO
S
PEC
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-14
D
a
n
Carp
e
n
t
e
r
db: introd
u
c
e
the --db
-
f
ile=/path/to/smatch_
d
b
.
sql
i
te
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
D
a
n
Carp
e
nter
user_dat
a
2
:
use function r
e
turns in points_to_user_dat
a
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpenter
f
i
les: check for schem
a
files relative to the
b
in
_
dir
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpen
t
er
sm
a
tch
.
c: expo
r
t bi
n
_dir to everyo
n
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-10
Dan
C
arpenter
core:
p
r
int th
e
ful
l
path when -
-
i
n
f
o is used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-08
Dan Carpent
e
r
use
r
_d
a
t
a
:
i
mprove how returned data i
s
handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-08
Dan
Ca
r
p
e
nter
capped:
set returned struct me
m
be
r
s
t
o
cap
p
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-06
Dan
Car
p
enter
user_dat
a
: fix v
a
li
d
ation te
s
t for
r
etur
n
e
d
struct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Ca
r
penter
im
p
lied: do
n
't p
r
int so many "turnin
g
off imp
l
icati
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan
C
arpenter
mta
g
: delete some bogus code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan
C
arpent
e
r
m
t
ag_
d
ata: update mtag_data to use get_mtag_addr_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mt
a
g: fix expr_to_mt
a
g_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n Carpenter
mtag: introduce get_mt
a
g
_addr_sval
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
pa
r
am_to_
m
tag_data
:
rename
"
data_
n
ame" --> "name"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag: don't
s
et the
n
a
m
e in
e
xpr_to_mtag
_
offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mt
a
g_data: cach
e
DB results
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
e
xtra:
m
ove get
_
addr
e
s
s
_rl() out of get_extr
a
_
state(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan
Carpenter
implicit_depen
d
encies: white space changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan
Carpenter
i
mp
l
icit_dependenc
i
es: only enable this with
the
-
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
i
mpl
i
cit_depende
n
cies: fix a cra
s
hing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
A
n
drew Aday
saved no_Struct g
r
a
p
h and be
g
in
a
r
g
filtering
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
Generate j
s
o
n
fo
r
without struc
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
Tes
t
:
ignore str
u
ct
f
ields
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
upda
t
e
implici
t
deps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
An
d
rew
Aday
regen implicit dep afte
r
merging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
A
ndr
e
w A
d
ay
modified smatch to catch msync an
d
s
i
mi
l
ar funcs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew
A
day
update readme and
man
u
ally add deps
f
or
m
sync
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
A
nd
r
ew Zhu
ch
a
nged output to json, blac
k
list file->fd
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
A
n
drew Aday
i
g
n
o
re pyc
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
An
d
r
ew Ad
a
y
p
y
thon
m
odule to pa
r
se kerne
l
.
implic
i
t_depe
n
denci
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
kernel
.
i
m
plicit_depend
e
ncies wi
t
h wri
t
e data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Ad
a
y
add tr
a
ck
i
n
g fo
r
wr
i
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
A
ndrew Ada
y
A
d
d
read dependenc
i
es in
nested inline fn calls
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
add smatch_data/kernel
.
impli
c
i
t_dep
e
n
d
e
n
cies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew
A
day
ch
e
ck_impli
c
it_d
e
pendencies an
d
gen script
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
in
t
roduce ch
e
ck_implicit_dependencies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-30
Dan C
a
rpenter
i
m
plied: improve debu
g
ging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpente
r
mta
g
/mtag_da
t
a: re-use th
e
s
a
me cod
e
to sto
r
e da
t
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carp
e
nter
Revert "container_o
f
:
r
e
m
ove some
d
u
p
l
icat
i
ve
co
d
e
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
D
an Carpenter
mtag_data
:
s
pl
i
t get_mtag
_
rl() into two functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpenter
mtag:
ren
a
me g
e
t_db_data_rl() => ge
t
_m
t
ag_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan
C
arpenter
cont
a
i
n
er_of: r
e
move some duplicative cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carp
e
nter
mtag/container_of: the first struct memb
e
r c
a
n 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 extra state to get mtag and offs
e
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
m
tag: hook in the mtag code to c
h
eck_list
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Carpenter
v
alidation:
fix the new DB tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
D
an
C
ar
p
e
n
ter
mta
g
: i
m
prove get_mt
a
g_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mta
g
/math: use mtag informatio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carp
e
nter
mtag:
m
ake
g
e
t_mtag_offset()
g
ive 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
C
arpenter
m
t
ag/math/
e
xtra: s
t
art
u
sing mtag
s
a
s pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Ca
r
penter
mtag:
m
ake
t
he nam
e
pa
r
ameter in expr_to
_
mtag_name_offset
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag:
m
as
k
ou
t
the low bit
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next