Static Value-Flow Analysis
Toggle main menu visibility
Main Page
Namespaces
Namespace List
Namespace Members
All
_
a
b
c
d
e
f
g
h
i
l
m
n
o
p
r
s
t
u
v
w
z
Functions
_
a
b
c
d
e
f
g
h
i
m
n
o
p
r
s
t
v
w
Variables
Typedefs
a
b
c
d
e
f
g
i
l
m
n
o
p
r
s
t
u
v
w
Enumerations
Enumerator
Classes
Class List
Class Index
Class Hierarchy
Class Members
All
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
r
s
t
u
v
w
x
y
z
~
Functions
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
r
s
t
u
v
w
z
~
Variables
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
r
s
t
u
v
w
y
z
Typedefs
a
b
c
d
e
f
g
i
j
k
l
m
n
o
p
r
s
t
u
v
w
Enumerations
a
b
c
d
e
g
i
l
m
o
p
r
s
t
v
w
Enumerator
a
b
c
d
e
f
g
h
i
l
m
n
o
p
r
s
t
u
v
w
x
z
Related Symbols
a
b
c
d
e
f
g
i
l
m
o
p
r
s
t
v
Files
File List
File Members
All
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
r
s
t
u
v
w
z
Functions
_
a
b
c
d
e
f
g
h
i
j
l
m
p
r
s
t
u
w
Variables
_
a
b
c
d
e
f
g
h
i
j
k
l
n
o
p
r
s
t
v
w
z
Typedefs
Enumerations
Enumerator
Macros
a
b
c
d
e
f
h
i
k
l
n
s
t
w
•
All
Classes
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
Loading...
Searching...
No Matches
svf
include
CFL
CFLStat.h
Go to the documentation of this file.
1
//===- CFLStat.h -- CFL statistics--------------------------------------------//
2
//
3
// SVF: Static Value-Flow Analysis
4
//
5
// Copyright (C) <2013-2017> <Yulei Sui>
6
//
7
8
// This program is free software: you can redistribute it and/or modify
9
// it under the terms of the GNU Affero General Public License as published by
10
// the Free Software Foundation, either version 3 of the License, or
11
// (at your option) any later version.
12
13
// This program is distributed in the hope that it will be useful,
14
// but WITHOUT ANY WARRANTY; without even the implied warranty of
15
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16
// GNU Affero General Public License for more details.
17
18
// You should have received a copy of the GNU Affero General Public License
19
// along with this program. If not, see <http://www.gnu.org/licenses/>.
20
//
21
//===----------------------------------------------------------------------===//
22
23
24
/*
25
* CFLStat.h
26
*
27
* Created on: 17/9/2022
28
* Author: Pei Xu
29
*/
30
31
#ifndef CFL_CFLSTAT_H_
32
#define CFL_CFLSTAT_H_
33
34
#include "
Util/PTAStat.h
"
35
#include "
CFL/CFLAlias.h
"
36
#include "
CFL/CFLVF.h
"
37
38
namespace
SVF
39
{
40
44
class
CFLStat
:
public
PTAStat
45
{
46
private
:
47
CFLBase
*
pta
;
48
49
public
:
50
CFLStat
(
CFLBase
*
p
);
51
52
virtual
~CFLStat
()
53
{
54
}
52
virtual
~CFLStat
() {
…
}
55
56
virtual
void
performStat
();
57
58
void
CFLGraphStat
();
59
60
void
CFLGrammarStat
();
61
62
void
CFLSolverStat
();
63
};
44
class
CFLStat
:
public
PTAStat
{
…
};
64
65
}
// End namespace SVF
66
67
#endif
/* CFL_CFLSTAT_H_ */
CFLAlias.h
CFLVF.h
PTAStat.h
p
cJSON * p
Definition
cJSON.cpp:2559
SVF::CFLBase
CFL Client Base Class.
Definition
CFLBase.h:50
SVF::CFLStat
Definition
CFLStat.h:45
SVF::CFLStat::performStat
virtual void performStat()
Definition
CFLStat.cpp:80
SVF::CFLStat::CFLGrammarStat
void CFLGrammarStat()
Definition
CFLStat.cpp:59
SVF::CFLStat::pta
CFLBase * pta
Definition
CFLStat.h:47
SVF::CFLStat::CFLGraphStat
void CFLGraphStat()
Definition
CFLStat.cpp:47
SVF::CFLStat::~CFLStat
virtual ~CFLStat()
Definition
CFLStat.h:52
SVF::CFLStat::CFLSolverStat
void CFLSolverStat()
Definition
CFLStat.cpp:67
SVF::PTAStat
Definition
PTAStat.h:49
SVF
for isBitcode
Definition
BasicTypes.h:68
Generated by
1.9.8