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
math: handle conditionals like: "a = b?: c;"
2018-09-11
D
a
n
C
a
r
pen
t
er
mat
h
: handle conditionals like:
"
a = b?: c;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Ca
r
p
enter
nospec: don
'
t f
i
ll the DB up with garbage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
s
iz
e
of: fix NUL
L
de
r
eference pars
i
n
g
inv
a
l
i
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Car
p
enter
string
s
:
t
r
u
n
cating large strin
g
s causes SQL problems
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
type
_
val:
d
o
n't double
record gl
o
bals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan
Carpe
n
te
r
target:
m
a
n
s
size_t be unsigne
d
l
ong in
s
tead of unsigned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n
Carpent
e
r
extra:
d
o
n
'
t res
e
t imposs
i
b
l
e st
a
t
e
s af
t
er
a
c
o
n
d
i
t
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-10
Da
n
Carpe
n
ter
arra
y
: store poss
i
ble arra
y
val
u
es
f
or simple
a
rrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carp
e
nter
mtag
:
HACK
:
r
eturn
fals
e
if the mtag
is z
e
ro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Car
p
enter
fl
o
w:
fake an assign stateme
n
t for global
i
nitializer
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
D
an Carpenter
flow: tweak how function
t
imeou
t
s
h
a
pp
e
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Da
n
C
arpen
t
e
r
db: fix a type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Da
n
C
a
r
penter
smatch_flow: d
o
n'
t
p
arse inline functions afte
r
we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpente
r
mtag: add str
i
ng infor
m
ation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Dan Car
p
e
nter
flow: handle __
b
uilt
i
n_mul_overflow
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-29
Dan Carpe
n
ter
ke
r
nel_printf: silence "s
p
ecifie
r
is cast
f
rom pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan Ca
r
pent
e
r
no
s
pec: turn off
speculation a
t
rmb(), smb_rmb() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpenter
che
c
k_si
g
ned: ignore fak
e
assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carp
e
n
t
er
mtag_da
t
a: clear cache at start of function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
nosp
e
c: fix uninitialized pointer cras
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan
C
arpenter
helper:
fake
calls are not equi
v
a
l
ent to anything
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
c
om
p
arison
:
handle
c
omparisons: if ((
f
o
o
= frob(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan C
a
r
p
enter
comparison: improve
"
foo = min
(
.
.
.
);" assignment ha
n
d
l
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carp
e
nter
compari
s
on: hac
k
around s
o
m
e
type bug
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
mta
g
_
d
at
a
:
r
emove duplic
a
te mtag_data an
d
r
a
n
d
o
m
sm
a
ll
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan
C
a
rp
e
nter
co
n
tainer_of
:
f
i
x a bug in get_sh
a
red_cn
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
an Carp
e
n
ter
c
heck_check_deref
:
silence some false positive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-18
Dan Carpenter
nospec: store functions that return nospec indexes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-15
Dan Carpe
n
te
r
n
o
s
pec:
han
d
l
e CA
L
L
_
NOS
P
EC
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-14
Dan Carpenter
d
b
:
introduc
e
th
e
--db-file=/path/to/sm
a
tch_db
.
sqlite
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpente
r
u
s
er_dat
a
2: use function retur
n
s
i
n points_to_user
_
d
ata()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
D
an
Carpe
n
te
r
f
i
l
e
s: check for schema fi
l
es relati
v
e
t
o the
b
i
n_dir
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
D
an Carpenter
smatc
h
.
c: export bin_dir
to everyon
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-10
Dan Carpenter
c
o
re
:
prin
t
the full path when
-
-
info is
u
sed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Dan
C
arpe
n
ter
user_d
a
ta
:
improve how returne
d
data is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Dan Carpenter
capped:
s
e
t re
t
u
rne
d
s
truct members to
c
apped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-06
Dan Carpent
e
r
user_
d
ata:
fix validation
t
est for re
t
urn
e
d struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
D
an
Carpen
t
er
im
p
lied: don't print so many "turnin
g
off implications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag:
d
elete some bogus
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpent
e
r
mta
g
_
d
ata: update
m
tag_da
t
a to use
g
et_mtag
_
addr_
s
v
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag: fix
expr_to_mtag
_
offset
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carp
e
nter
mtag: intr
o
duce get_mtag_a
d
dr_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Car
p
enter
param_
t
o_m
t
ag_data: ren
a
me "data_name"
--> "name"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan
C
a
rp
e
nte
r
mtag
:
don't se
t
the
n
a
me in expr_to_mt
a
g_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Da
n
Carpenter
m
tag_dat
a
: ca
c
he DB
results
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpen
t
er
ex
t
r
a
:
move get_address_r
l
(
) out of get_extra_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n Carpenter
imp
l
icit_dependencies: white spa
c
e changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n Carpenter
i
mplici
t
_dependenc
i
e
s:
o
nly en
a
ble t
h
is with t
h
e
-
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan C
a
rpenter
impl
i
cit_d
e
pendencies: fix a crashi
n
g bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
An
d
rew Ada
y
saved no_St
r
uct gra
p
h and beg
i
n a
r
g
f
ilte
r
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
A
n
d
rew A
d
ay
Generate jso
n
for withou
t
st
r
u
cts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
And
r
ew Ad
a
y
T
e
st: ign
o
re
stru
c
t
f
ields
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
update implicit deps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
A
n
drew Aday
re
g
e
n
i
mpl
i
cit dep
a
fter merging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andre
w
Aday
modifie
d
smatch t
o
catch msync and similar funcs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
upd
a
t
e
readme and ma
n
uall
y
a
dd deps for
m
s
ync
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Zhu
changed o
u
tput to json, blacklist f
i
le->fd
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
An
d
rew Aday
ignore pyc
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
And
r
ew Aday
python m
o
dule to p
a
rs
e
ker
n
el
.
i
mplic
i
t_
d
ependencies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
A
n
d
r
e
w Ada
y
kernel
.
implicit_d
e
pe
n
dencie
s
with
w
rite dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew
A
day
ad
d
tracking for writes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
A
ndrew Ada
y
Add read dependenci
e
s
in n
e
sted inlin
e
fn calls and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
ad
d
smat
c
h_data/kern
e
l
.
i
m
plicit_dependenc
i
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
An
d
rew Aday
c
heck_implic
i
t_depend
e
ncies and gen sc
r
ipt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Andrew Aday
introduce check_implicit_depen
d
encies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-30
Dan Carpente
r
implied: improv
e
deb
u
gging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan
Carpenter
mta
g
/m
t
ag_da
t
a: r
e
-use
t
he same co
d
e
t
o stor
e
data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan
Carpen
t
er
R
e
v
e
r
t
"
c
ontainer_of: remove some duplicativ
e
code
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpent
e
r
mtag_
d
ata: spli
t
get_mtag_r
l
() into two functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpenter
mtag: rena
m
e get_db_dat
a
_rl(
)
=
> get
_
mtag_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carp
e
nter
con
t
ai
n
er_of:
r
emove some
duplicative code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rpenter
m
tag/container_of: the fir
s
t struct me
m
ber can be a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mt
a
g:
Use e
x
tra state to get mta
g
an
d
offset
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Carpenter
mta
g
: hook i
n
the mt
a
g co
d
e
t
o chec
k
_list
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Carpenter
validation
:
fix the new DB t
e
st
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: improve get_mt
a
g_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rpe
n
ter
mtag/math: use
mtag in
f
ormation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Ca
r
p
e
nter
mtag: make get_mtag_offset() give both an mtag and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Ca
r
penter
mta
g
/mat
h
/
e
xtra: start using mtags as pointe
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpente
r
mta
g
: make the name parameter in expr_to_mta
g
_nam
e
_
offset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
C
arpenter
mtag
:
mask
o
ut the low
b
its
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpen
t
er
mta
g
: turn off mtag
s
tuff for 3
2
bi
t
b
uilds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
container_of: cleanup set_param_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rpe
n
ter
container_of/mtag: fix handling
of
p
ass
e
d valu
e
s
(
a
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
Car
p
enter
validation: add
some mtag
t
ests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
container_
o
f/mtag: use conta
i
ner_of inform
a
tion for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan
C
arpenter
contai
n
er_of: re
-
wri
t
e
code to record caller_info c
o
ntainers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
ranges:
allow
svals to be pri
n
ted in hex
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
r
anges: fix parsing
o
f u
l
ong_max and ptr_max
(
n
ot cur
r
e
n
tly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
D
a
n Carp
e
nter
con
t
ainer_
o
f:
f
l
ip
t
he par
a
m and the value aro
u
nd
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpe
n
ter
a
d
dre
s
s: fix add_offset_
t
o_pointer()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
enter
type: intr
o
duce get_fi
n
al_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpente
r
sval: handle pointer m
a
t
h
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
a
rpen
t
er
typ
e
:
i
ntrod
u
c
e
get_promoted_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n Carpe
n
te
r
comparison: export
filter_co
m
parison
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n
C
a
rpenter
smd
b
.
py: pu
s
h all m
y
changes to
t
h
i
s
file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db/kernel
.
re
t
urn_fixe
s
misc updates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpenter
co
n
ditions: don't parse N
U
L
Ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpenter
db/fixup_ker
n
el
.
s
h: delete
'
(union
a
nonymous)->__val
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arp
e
nte
r
f
l
ow
:
print
s
low to parse functions when
t
he --time
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next