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
flow: fake an assign statement for global initializers
2018-09-06
Dan
C
ar
p
en
t
er
f
low:
fake a
n
assign stat
e
m
e
nt for g
l
ob
a
l
initializers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Da
n
Carpente
r
flow: tweak how function timeouts ha
p
pen
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpe
n
ter
db: fix a ty
p
e bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
D
a
n Carpen
t
er
s
m
atch_
f
l
o
w:
don't pa
r
se inline functions aft
e
r we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Da
n
C
a
r
penter
mtag: add string information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
D
an Carpenter
f
l
ow: handle _
_
bu
i
l
tin_mul_ov
e
rf
l
ow()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-29
Dan Ca
r
pe
n
ter
kernel
_
p
rintf:
s
ilence "sp
e
cifier i
s
cast
from pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan Ca
r
pent
e
r
nospec: turn off speculation at
rmb(),
s
m
b_rmb() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpente
r
c
h
e
ck_
s
ign
e
d: ignore fake ass
i
gnme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
m
t
a
g
_
da
t
a: clear cach
e
at start of funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
no
s
p
e
c: fix u
n
in
i
tialize
d
pointer crash
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
helpe
r
: f
a
ke calls are n
o
t equivale
n
t to anythi
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
comparison: handle comparisons: if ((f
o
o = frob(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Da
n
Car
p
enter
c
o
mparison: improve
"
foo = min(
.
.
.
);"
assignm
e
nt ha
n
dling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan
C
a
rpenter
comparis
o
n
:
h
a
ck around some type bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpe
n
ter
mtag_data: r
e
m
o
v
e dup
l
icate mtag_d
a
ta a
n
d random small
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carp
e
nt
e
r
conta
i
ne
r
_of: fi
x
a
bug
i
n get_shared_cnt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpente
r
check_check_der
e
f: silenc
e
some fa
l
se
po
s
itives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-18
Dan
Carpenter
n
o
s
p
e
c: store functions that
return
n
ospec indexes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-15
Dan Carpe
n
ter
n
ospec: handl
e
C
A
LL_NOSPEC
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-14
Dan Carpenter
db: in
t
rod
u
ce the --db-file=
/
path/to/
s
match_db
.
sqli
t
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpenter
user_
d
ata2:
u
se function retur
n
s in points
_
to_user
_
data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
D
a
n C
a
rpenter
files: ch
e
ck
f
or schema file
s
relat
i
ve to
the bin_dir
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan Ca
r
penter
sm
a
tch
.
c: exp
o
rt bi
n
_dir to everyone
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-10
D
an
Carp
e
nter
c
o
re: print
the full path wh
e
n --info is used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Dan Carpent
e
r
us
e
r_data: improve
h
ow returned d
a
ta is han
d
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-08
Dan Car
p
ent
e
r
cap
p
ed: set
r
eturn
e
d struct mem
b
e
r
s
to capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-06
Dan Carpen
t
er
user_data: fi
x
validation test for returned
s
truct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Da
n
Carpe
n
ter
impl
i
ed: don't print
s
o
man
y
"turning off im
p
l
i
c
at
i
ons
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpente
r
mtag: delete some bogus code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Car
p
enter
mtag_data: update mtag_data to u
s
e get
_
mta
g
_
a
ddr_
s
val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag
:
fix expr_to_mtag_
o
ffset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Da
n
Carpenter
mtag: intro
d
u
c
e get_mtag_addr_sv
a
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Ca
r
pent
e
r
param_to_mtag_da
t
a: renam
e
"data_name" -
-
> "name"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag: d
o
n't set the name in expr_to_mtag_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Ca
r
penter
mtag_data:
cache DB
resu
l
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carp
e
nt
e
r
ext
r
a: move get_ad
d
ress_rl() out
o
f
g
e
t_extra
_
s
t
ate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
implicit_depende
n
cies: wh
i
te space
changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
i
m
plicit_d
e
pendencies: only enable this with the
-
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carp
e
nter
impli
c
it_dependen
c
ies: fix
a crash
i
n
g bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-30
D
a
n
C
a
rpenter
implied: improv
e
debug
g
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
D
a
n Carpenter
mtag/mtag_dat
a
: re-use the same code to store
d
ata
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan Car
p
enter
Revert "con
t
ainer_of: remove some duplicat
i
ve code"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpent
e
r
mta
g
_data: split get_mtag_rl() i
n
to two functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-27
Dan Carpe
n
ter
mtag: rename
get_db_
d
ata
_
rl() =>
ge
t
_m
t
ag_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Carpenter
container_o
f
: remove s
o
me duplicative c
o
d
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 member can be a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
C
a
rpen
t
er
mt
a
g
:
Use extra state t
o
get mtag and
o
ffset
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mta
g
: hoo
k
in the mtag code to
chec
k
_list
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
an Carpenter
v
ali
d
ation: fi
x
the
n
ew
D
B tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rp
e
nter
mtag: improve
get_mtag_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Da
n
C
a
rpenter
mtag/math:
use
mtag
i
nformatio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan C
a
rpenter
m
tag: ma
k
e
g
e
t
_mtag_offset(
)
give
bo
t
h an mtag and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Carpent
e
r
mtag/ma
t
h/extr
a
: st
a
r
t using mtag
s
as pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
mtag: mak
e
the name parameter
i
n expr_to_mt
a
g_name_offset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
D
an Carpe
n
ter
mtag: mask ou
t
th
e
low bits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Carpe
n
te
r
mtag: turn off mtag
s
t
uff for 32
bit builds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpenter
container
_
of: cleanu
p
set_para
m
_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
C
arp
e
nter
con
t
ain
e
r_of/
m
ta
g
: fix handling of passed value
s
(as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan
Ca
r
p
e
nter
validati
o
n: a
d
d
s
ome mtag tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-26
Dan Carpent
e
r
container_of/mtag: use container_of information for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Da
n
Ca
r
penter
c
o
ntainer_of
:
re-write code to
r
e
c
o
r
d caller_in
f
o co
n
tainers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
ranges: al
l
ow sval
s
to be pri
n
ted in
h
ex
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpente
r
ra
n
ges: fix parsing
of u
l
ong_
m
ax and ptr_max (not currently
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Dan Carpenter
c
ontainer_of: flip
the param an
d
t
h
e value
a
r
o
und
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-25
Da
n
C
a
rpe
n
ter
a
ddress: fix ad
d
_offset
_
to
_
pointer()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Car
p
enter
t
y
p
e
:
i
ntroduce get_final_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
p
e
nter
sval
:
handle
poi
n
t
e
r math better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Carpe
n
t
er
type
:
in
t
ro
d
uc
e
g
et_promoted_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpen
t
er
compa
r
i
s
on: export filt
e
r_c
o
mpar
i
son(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
smdb
.
py: push
all
my
c
hanges to this
file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
nter
db/kernel
.
return_fixes misc updates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan C
a
r
penter
conditions: don't pa
r
se NULL
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
d
b
/fixup_kernel
.
sh
:
dele
t
e
'(union a
n
on
y
m
o
u
s
)->__va
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
flow: p
r
int slow t
o
p
a
rse functions when the --time
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
Carpent
e
r
e
x
tra
:
introduce v
a
lue_ptr
_
rl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Da
n
Car
p
e
n
ter
db: a
d
d some more
s
chemas
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpent
e
r
db/r
e
load_partial
.
sh: fix for c
a
ll_im
p
lies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
penter
db:
h
ook up call_
i
mplies infrastructure
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
sval: f
i
x s
v
al_
i
s_a_min/ma
x
() for sm
a
lle
r
types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Car
p
enter
sva
l
: intr
o
du
c
e sv
a
l
_is_ptr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
a
n
Carpenter
db: Use extra sm->possible t
o
deci
d
e if s
p
litting the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
p
e
nter
extra: introduce g
e
t_extra_s
m
_s
t
at
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Ca
r
penter
condi
t
ions:
s
et the
parent e
x
press
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
implie
d
: set
in_fake_e
n
v
w
hen we do
an assum
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
ar
p
enter
slist
:
d
o a small clean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
s
t
ored_conditions: stor
e
more cond
i
ti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
str
u
ct_assignme
n
t:
h
a
ndle memcpy
f
or
p
oi
n
ter
m
at
h
bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpenter
spectre: sile
n
ce so
m
e if (
a
rra
y
[user_controlled_of
f
set
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan C
a
rpenter
s
pectre
:
change
o
utpu
t
fo
r
mat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
D
a
n Ca
r
pent
e
r
spec
t
re: r
e
move is_
r
ead/write() checks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
db: fix g
e
t_db_st
a
te
_
count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
D
a
n
Carpen
t
e
r
helper: cle
a
n up ge
t
_complicat
i
on_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
D
an
C
a
r
pent
e
r
h
e
lper
:
size
o
f
()
is not
c
omplicated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
D
a
n
Carpe
n
ter
conditions: split the
z
e
r
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpente
r
c
on
d
itions: del
e
te unuse
d
fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-03
Dan
C
arpenter
check_user_data: ma
r
k
k
v
m_reg
i
ste
r
_read() as
r
eturning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan C
a
rpenter
no
s
p
e
c:
if
i
t
's called with
t
r
usted data
t
h
a
t
's the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
D
a
n
Carpenter
user_data: d
o
n
't pass
*$ a
s
user
d
a
ta if the st
r
uct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpenter
che
c
k_user_data:
s
om
e
user dat
a
was lost at
the call
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next