svf-lib 1.0.1817 → 1.0.1818
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
Binary file
|
|
@@ -48,7 +48,6 @@ namespace SVF
|
|
|
48
48
|
|
|
49
49
|
class CommonCHGraph;
|
|
50
50
|
|
|
51
|
-
class TypeSystem;
|
|
52
51
|
class SVFModule;
|
|
53
52
|
class ICFG;
|
|
54
53
|
class PTAStat;
|
|
@@ -156,8 +155,6 @@ protected:
|
|
|
156
155
|
ICFG* icfg;
|
|
157
156
|
/// CHGraph
|
|
158
157
|
CommonCHGraph *chgraph;
|
|
159
|
-
/// TypeSystem
|
|
160
|
-
TypeSystem *typeSystem;
|
|
161
158
|
|
|
162
159
|
public:
|
|
163
160
|
/// Get ICFG
|
|
@@ -433,12 +430,6 @@ public:
|
|
|
433
430
|
virtual void resolveCPPIndCalls(const CallICFGNode* cs,
|
|
434
431
|
const PointsTo& target,
|
|
435
432
|
CallEdgeMap& newEdges);
|
|
436
|
-
|
|
437
|
-
/// get TypeSystem
|
|
438
|
-
const TypeSystem *getTypeSystem() const
|
|
439
|
-
{
|
|
440
|
-
return typeSystem;
|
|
441
|
-
}
|
|
442
433
|
};
|
|
443
434
|
|
|
444
435
|
} // End namespace SVF
|
|
@@ -70,6 +70,9 @@ public:
|
|
|
70
70
|
/// Default call for getClk is unmarked, while MarkedClocksOnly is false by default.
|
|
71
71
|
static double getClk(bool mark = false);
|
|
72
72
|
|
|
73
|
+
/// SVF's general statistics are only printed once even if you run multiple anayses
|
|
74
|
+
static bool printGeneralStats;
|
|
75
|
+
|
|
73
76
|
NUMStatMap generalNumMap;
|
|
74
77
|
NUMStatMap PTNumStatMap;
|
|
75
78
|
TIMEStatMap timeStatMap;
|