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
db/fixup_kernel.sh: delete '(union anonymous)->__val' from type_info
2018-07-24
Dan
Carpe
n
ter
db/fixup_ker
n
el
.
sh: delete
'
(
union a
n
onymous)->__val
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
f
low: pr
i
n
t
s
l
ow to parse
func
t
io
n
s
when the -
-
time
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
nte
r
extra: in
t
rod
u
ce v
a
lue_ptr_rl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carp
e
nter
db: a
d
d some mor
e
schemas
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
db
/
reload_parti
a
l
.
sh: fix for call_im
p
lies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
D
an Carpenter
db: hook up ca
l
l
_implies infr
a
structu
r
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
sval: fix
s
val_is_a_min/max(
)
fo
r
small
e
r types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
s
v
a
l
: in
t
roduce sval_is_ptr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
arpente
r
db:
U
s
e
e
x
tra
sm-
>
poss
i
ble to decid
e
if splitting th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan C
a
rpenter
extra: in
t
rod
u
ce g
e
t_extra_sm_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpen
t
er
conditions: set
the
parent ex
p
re
s
sion
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpe
n
ter
impli
e
d:
set in_fak
e
_env whe
n
w
e do
an assume()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan
C
a
rpen
t
e
r
slist: do a small clean u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
stored_con
d
ition
s
: s
t
ore m
o
re conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-24
Dan Carpenter
struct_assignment: handle me
m
cpy for poi
n
ter math bet
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpenter
spectre:
s
ilence
so
m
e if (array[use
r
_control
l
ed_offse
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan Carpent
e
r
spe
c
t
r
e: change output forma
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-19
Dan
C
arp
e
nter
spe
c
tre: remove is
_
rea
d
/write()
c
hecks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
D
an C
a
rpent
e
r
db:
f
ix g
e
t
_
db_sta
t
e_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
helper: clean up get_com
p
lication_score
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Carpenter
h
elper: sizeof() is not
complicat
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan Ca
r
penter
con
d
itions: split the zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-06
Dan C
a
rpenter
conditio
n
s
: delete
u
nused function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-05
Norbert Manthey
spectre
:
a
llow
to flag all occurrences
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-07-03
Dan Ca
r
pe
n
ter
ch
e
ck_user_dat
a
: mark kvm_r
e
gister_read(
)
as returnin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan Carpente
r
nos
p
e
c
: if it's called
with truste
d
data that
'
s the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
D
a
n Ca
r
penter
u
s
er_d
a
ta: don't pass *$ as
user data if the str
u
ct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-28
Dan C
a
r
pente
r
c
heck_user_data: s
o
me user data wa
s
los
t
a
t the call
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
db:
fix
b
uild breakage by adding th
e
ty
p
e_info
s
che
m
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
D
a
n Carpenter
db: rena
m
e
call_
i
mplies to ret
u
rn_imp
l
ies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Ca
r
penter
d
e
bug
:
improve bu
f
size debuggin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Car
p
enter
check_signed: silen
c
e some false
p
osi
t
ives copying
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Car
p
enter
chec
k
_
s
h
i
f
t
_
t
o_zero:
silence some false posit
i
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
check_sizeo
f
: fix a typ
o
in the warn
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
buf_size: fix rec
o
r
d
ing glo
b
al
si
z
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
buf_comparis
o
n: don't
s
ave links
t
o literal
sizes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpenter
compar
i
son: add som
e
debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
d
b: don't spli
t
NUL
L
and
non-NULL unnece
s
s
ari
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
C
arpenter
db: fix a
NULL deref
e
re
n
ce
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Car
p
enter
db: set the CACHE_PA
G
ES s
i
ze
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
a
rpent
e
r
db: int
r
o
d
uce the
c
ache_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n
Carpenter
db: clean
up
t
h
e code and expo
r
t s
o
me more
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
a
rpe
n
t
er
extra
:
use P
A
R
A
M_LIMIT to limit binop
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpenter
flow: nes
t
some inline statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
penter
modification
_
hooks: don't allow
m
ultiple modification
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-21
Dan
C
arpenter
compa
r
iso
n
: don't save comp
a
ris
o
ns to
o
ne
s
elf
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan
C
arpenter
c
omparison
:
add so
m
e
p
arenthesi
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan Carpenter
validation: fix up so
m
e fai
l
ures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carpenter
co
m
p
ariso
n
: f
i
x filter_by_c
o
mpar
i
s
o
n == for r
a
nges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carpenter
extr
a
: just
s
e
t sval
a
ssignments directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpent
e
r
che
c
k_spectre:
i
gnore
m
asked off data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan
C
arpe
n
ter
spectre:
use the new is_
u
ser_rl()
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpe
n
ter
user_data: s
i
len
c
e
s
om
e
more
n
toh
l
(
f
oo[
i
]); fal
s
e positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n Car
p
enter
u
s
er_data: sile
n
ce some ss
c
anf
(
)
false
p
ositi
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan
C
arpenter
user_da
t
a
: intro
d
uce is_user_data
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n Carpenter
us
e
r_da
t
a:
c
leanup get_
u
ser_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carpenter
comparison
:
fix a NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan Ca
r
p
e
n
t
er
c
o
mpariso
n
:
f
i
x validati
o
n
t
e
sts and add a new test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Carpenter
extra: remove an
u
nne
e
d
e
d __set
_
sm() in db
_
para
m
_limit_f
i
lter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Ca
r
penter
helper
:
s
tri
p
out the byte swaps in strip_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpe
n
ter
v
a
lidation/sm_l
o
cking3: f
i
x
function declarations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
u
n
k
nown
_
value: clear the ->p
a
rent pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpent
e
r
ranges: im
p
rov
e
str_to_comparison_arg_he
l
per()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
a
n Carpen
t
er
comparison: use sm
a
tch_extra data in
get_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
comparison: imp
r
ove
h
andling of "if (++j == limit)"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Carpenter
comparison: han
d
le j++
var sym lists b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
D
a
n Carpenter
equiv: t
y
pe and
i
mplicat
i
on fixe
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-30
Dan
C
a
r
pen
t
e
r
ranges: fix =
=
and
!= comparisons
.
.
.
(
0_0)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-25
Dan Carpenter
re
t
urn_to
_
param:
f
i
x
par
s
ing calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-23
Dan
Car
p
enter
validation
:
update
tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-15
D
an
Car
p
en
t
er
db: make ca
l
l_implies
r
ows uniq
u
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpe
n
ter
flow: remove the call
_
split_e
x
p
r
() functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n
Carp
e
nter
e
x
tra
:
handle compar
i
sons to expressio
n
statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db/fill_db_call
e
r_info
.
pl:
d
on't per
m
a-ban functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
C
arpent
e
r
db/fixup_kernel
.
s
h: commit a
l
l
my st
u
ff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
function
_
ptrs: record local p
o
inter sco
p
e
c
orrectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpe
n
t
e
r
re
a
l_a
b
solut
e
: do
n
't save single va
l
ue as
s
i
g
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n Carpenter
s
v
al: fi
x
a
b
ug
in
sval_to
o
_low()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carp
e
n
t
er
db: introduce d
b
_ignore_
s
tat
e
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Car
p
enter
db/untracke
d
_p
a
r
a
m
: ma
r
k pa
r
ameter
s
untra
c
ked if
we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpen
t
er
f
low:
don't
p
a
r
s
e inline functio
n
s
w
hich aren't i
n
t
eresti
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-23
Da
n
Carpe
n
ter
db/constraints_required
.
sche
m
a
:
add
m
issing semi-colon
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
f
l
ow/expressions/f
u
nction_hooks: r
e
-fix is_
a
ssign
e
d_ca
l
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Da
n
Carpenter
kernel: hand
l
e _
_
read_once_s
i
ze()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
D
a
n Car
p
enter
math: fix a
g
et_value
(
)
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-19
D
a
n
C
a
r
pe
n
ter
expressi
o
ns: make assign_expression(
)
take an op argument
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carpent
e
r
spectre: warn
a
bout p
o
te
n
t
ial spectre vulnerabilities
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
Dan Ca
r
p
enter
ex
p
ressions: don
'
t set the ->parent
to a fake expression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-17
Dan Carp
e
n
t
er
e
xpressions: just al
l
oca
t
e
zer
o
_expr(
)
fres
h
every
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-16
Dan Car
p
enter
expres
s
io
n
/smatch_e
x
p
re
s
sions: move
e
xpr_set/get_parent
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
Joey Pabali
n
as
sparse: ad
d
-Wpointer-arith flag to toggle sizeo
f
(void
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpenter
or_vs
_
and: tidy up white
s
pa
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
D
a
n Car
p
enter
or_
v
s_and: min_t() uses
t
he n
e
w
min() code as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-11
D
a
n Car
p
enter
check_or_vs_and: ignore the kernel's m
i
n/m
a
x macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-11
Da
n
C
a
rpenter
fl
o
w/math: handle __b
u
iltin
_
choose_
e
xpr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
Dan
C
a
rpent
e
r
validation/ove
r
flow:
change "warn:" to
"
err
o
r:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
D
a
n Car
p
enter
about_fn_ptr_arg
:
don't get int
o
a recu
r
sive loo
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
D
an
Carp
e
nter
helpe
r
: add
get_l
a
st_st
a
teme
n
t_from_expression_stmt
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
me
m
_tracker
:
a
d
d a --mem
o
ption to debug
m
e
mory use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
expressions: remove some unnec
e
ssar
y
goto
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next