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
kernel: don't insist that the parameter is named "error"
2018-09-20
Dan Carpenter
kerne
l
: don't in
s
ist that the paramete
r
i
s
named "error"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
extra: export is_impos
s
i
ble
_
variable
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
flow: f
i
x a crashi
n
g bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carp
e
n
ter
function_h
o
oks: do the fake param
e
ter
a
ssignment after
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpenter
param_limit: fix
generify_
m
tag_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpent
e
r
extra
:
clear_pointe
d
_
a
t_sta
t
e(
)
is a no
m
od state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
e
n
t
e
r
param_set
:
handle when the
stack
v
a
r
i
a
ble
w
as modifie
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpenter
parse_call_math: don't say the
return is equal to a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpenter
scope: fix is_
o
u
ter
_
s
t
mt(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpe
n
ter
sval: hand
l
e ca
s
t
ing
t
o
b
ool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
arr
a
y
_
values: do
n
't crash on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpenter
n
o_spec: record when fun
c
tio
n
s have a
b
a
rrier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carpenter
extra/type: fix ty
p
e of
r
eturn PARAM_ADD/SET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
D
a
n
Carpen
t
er
par
a
m_limit: make mt
a
g limit
s
more
g
e
n
eric
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-12
D
a
n Carpent
e
r
par
a
m_se
t
: don't save if the parent is set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan
Carpen
t
er
a
t
omic_inc_dec: add a couple more functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpen
t
e
r
signed_int
e
ger
_
overflow: ig
n
ore
th
i
s for the
ker
n
e
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpent
e
r
math: han
d
le
conditiona
l
s like
:
"a = b?: c;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpent
e
r
nospec: don't fill the DB
up with garbag
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpente
r
siz
e
of:
f
ix NULL dereferen
c
e
parsi
n
g invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
an
C
arpenter
strin
g
s: trunca
t
ing
l
arge st
r
ings
c
auses SQL
p
roblems
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpent
e
r
typ
e
_val:
don'
t
do
u
bl
e
record
globa
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
target: man s
s
ize
_
t be unsigned lo
n
g instead of unsi
g
ned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Ca
r
pe
n
ter
extra: d
o
n
't r
e
se
t
impossible states afte
r
a condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-10
Dan Carpenter
a
r
ray
:
store poss
i
ble array values for
s
i
m
ple arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan C
a
rp
e
n
te
r
mtag: HACK: re
t
urn false if the
m
t
ag is zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan
C
arpe
n
ter
flow: fake an ass
i
gn s
t
a
tement for
global initializers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
D
an Ca
r
penter
f
low:
tweak
how funct
i
on
timeo
u
ts happ
e
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
db: fi
x
a type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
smatch_flow: don't p
a
rse
i
nline funct
i
ons a
f
ter we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Dan
C
arpe
n
ter
m
t
a
g: add s
t
r
i
ng in
f
ormation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpenter
flow: hand
l
e
__bui
l
tin_mu
l
_overflow
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-29
D
a
n Carpenter
kern
e
l
_printf:
s
ilence "specifier is cast from po
i
nter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carp
e
nter
nospec: turn
off specula
t
i
o
n at rmb(), smb_rmb() a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan Ca
r
penter
c
h
eck_signed: i
g
n
o
re fake
a
ssignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
mta
g
_da
t
a:
c
le
a
r cache at start of function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpent
e
r
n
o
spec: fix u
n
initialized pointer cras
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan
C
arpent
e
r
h
el
p
er
:
fa
k
e calls are
no
t
e
q
u
ival
e
nt to anyt
h
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan C
a
rpe
n
ter
comp
a
rison: handle co
m
parisons: if
(
(foo = frob(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpent
e
r
comparison: improve "foo =
m
in
(
.
.
.
);
"
assignment
h
andling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
comparison: hack around some type bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpen
t
er
mtag_data: remove duplicate mtag_data and
r
and
o
m small
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpent
e
r
container_of: fix a b
u
g
i
n
get
_
shar
e
d
_
cnt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
an Carpenter
check_check
_
deref: silence some false pos
i
tives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-18
Dan Ca
r
pente
r
nospec: store functions
that return nospec indexes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-15
Dan Carpenter
nospec: handle
CALL_NOSPE
C
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-14
Dan
C
arpenter
db:
i
n
tro
d
uce
the --db-file=/pa
t
h
/
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 i
n
p
o
ints_to_user
_
data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpenter
files: check fo
r
schema
f
ile
s
r
e
lative to the bin
_
dir
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan C
a
rpen
t
er
smatch
.
c
:
e
x
port bin_dir
to everyone
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-10
Dan
C
arpente
r
core:
print the f
u
ll path whe
n
--info is
u
se
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Dan Carp
e
n
ter
user_data: improve how ret
u
rned data is
han
d
led
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Dan Carpenter
capped: set re
t
urned s
t
ru
c
t members to c
a
pped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-06
Dan
C
arpent
e
r
user_
d
ata: fix validation t
e
st for returned struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Da
n
Ca
r
penter
implied: don't
p
rint so many
"tur
n
ing
o
ff implications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
m
t
ag: delete som
e
bo
g
us code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag_d
a
ta: upda
t
e mta
g
_data to use get_m
t
ag_a
d
d
r
_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
D
an Carpenter
mta
g
: fix
exp
r
_to_mt
a
g_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Da
n
Carpente
r
m
t
ag
:
introduce get_
m
ta
g
_add
r
_sval
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpe
n
ter
param_to_mtag_
d
ata: rena
m
e "data_
n
ame" -->
"name"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan C
a
rp
e
nt
e
r
mtag
:
don't set the
n
ame in expr_to_mt
a
g_offset
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
D
an C
a
rpenter
mtag_data: c
a
che DB result
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan C
a
rpent
e
r
extra:
m
o
ve get_ad
d
ress_rl() o
u
t
o
f get_extra_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpen
t
er
im
p
licit_depen
d
encies
:
white space c
h
anges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
implicit
_
de
p
endenc
i
es: onl
y
enable
t
h
is
with the -
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carp
e
nter
imp
l
icit_de
p
endencies: fix
a cra
s
hing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
s
aved
n
o_Struct graph and
b
e
g
in
a
rg filter
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
Generate jso
n
for without stru
c
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew
A
day
Te
s
t:
i
gnore struct
f
ields
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
A
ndrew Aday
u
pdate
i
mplicit deps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
An
d
rew Ada
y
regen implicit dep after
m
erging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
modifie
d
smatc
h
to catch msync
and s
i
milar funcs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
A
n
drew Ada
y
updat
e
readme a
n
d manually add
d
e
ps for msync
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
A
n
d
rew Zhu
ch
a
n
ged
o
u
tput
to
js
o
n, b
l
a
c
klist file->fd
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
ignore pyc
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
pyth
o
n module to parse kernel
.
implicit_dependenc
i
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
kernel
.
i
m
p
l
icit_depe
n
dencie
s
with
write data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew
Aday
add tracking
for writes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew
Aday
Add
r
ea
d
de
p
endenci
e
s in nested inline fn calls
and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
add smatch
_
d
a
ta/kernel
.
impli
c
it
_
depende
n
cie
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andr
e
w Aday
check
_
implicit_depe
n
den
c
ies an
d
ge
n
script
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
And
r
e
w
Aday
introduce check_
i
mplici
t
_dependen
c
ies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-30
Dan Carpenter
implied: i
m
prove debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan
C
arp
e
nter
mtag/m
t
ag_data
:
re-use the same code to stor
e
dat
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
D
a
n Carpe
n
ter
R
e
vert "container_
o
f
:
remove som
e
duplicative code"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Da
n
Carp
e
nter
mtag_data: split get_mtag_rl(
)
i
nto two function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan
C
arpenter
mtag:
r
en
a
me get
_
d
b_data_rl
(
) =
>
g
e
t_mtag_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpente
r
c
ontainer_of: r
e
move some duplicat
i
ve code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Carpenter
mtag/con
t
ainer_of:
the
f
irst struct member c
a
n
b
e a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
an Carpenter
m
tag:
Use ext
r
a state to get mtag and offset
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
C
arpenter
mtag: hook
i
n
t
he mtag code to
check_list
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
v
ali
d
ation: fix the new
D
B
tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
a
n
Carpenter
mtag: improve
g
et_mtag_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Carpenter
mtag/math:
use mtag information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
m
t
ag: make
g
e
t
_mtag_offset(
)
g
ive
bot
h
a
n
mtag and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpente
r
mtag
/
mat
h
/extra: star
t
using mtag
s
as p
o
in
t
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
C
arpenter
m
tag: make the
name para
m
e
t
er in expr_to
_
m
tag_name_o
f
f
s
et
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
C
arpent
e
r
mtag: mask
out the low bits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carp
e
nt
e
r
mt
a
g: tu
r
n off m
t
ag stuff for 32 bit bu
i
lds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
container_
o
f: cleanup set
_
p
a
r
a
m
_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next