svf-lib 1.0.2281 → 1.0.2282
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.
- package/SVF-osx/Release-build/include/CFL/CFLGraphBuilder.h +4 -2
- package/SVF-osx/Release-build/include/Graphs/WTO.h +2 -2
- package/SVF-osx/Release-build/include/SVF-LLVM/DCHG.h +2 -1
- package/SVF-osx/Release-build/include/SVFIR/SVFStatements.h +4 -2
- package/SVF-osx/Release-build/include/Util/Casting.h +4 -4
- package/SVF-osx/Release-build/lib/libSvfLLVM.dylib +0 -0
- package/package.json +1 -1
|
@@ -117,7 +117,8 @@ public:
|
|
|
117
117
|
};
|
|
118
118
|
|
|
119
119
|
/// AliasCFLGraphBuilder: a CFLGraphBuilder specialized for handling aliasing
|
|
120
|
-
class AliasCFLGraphBuilder :
|
|
120
|
+
class AliasCFLGraphBuilder :
|
|
121
|
+
public CFLGraphBuilder
|
|
121
122
|
{
|
|
122
123
|
public:
|
|
123
124
|
/// Builds a bidirectional CFL graph by copying nodes and edges from a const graph that inherits from GenericGraph
|
|
@@ -139,7 +140,8 @@ private:
|
|
|
139
140
|
};
|
|
140
141
|
|
|
141
142
|
/// VFCFLGraphBuilder: a CFLGraphBuilder specialized for handling value-flow
|
|
142
|
-
class VFCFLGraphBuilder :
|
|
143
|
+
class VFCFLGraphBuilder :
|
|
144
|
+
public CFLGraphBuilder
|
|
143
145
|
{
|
|
144
146
|
public:
|
|
145
147
|
/// Builds a bidirectional CFL graph by copying nodes and edges from a const graph that inherits from SVFG
|
|
@@ -494,7 +494,7 @@ public:
|
|
|
494
494
|
|
|
495
495
|
/// Copy assignment operator
|
|
496
496
|
WTOComponentVisitor& operator=(const WTOComponentVisitor&) noexcept =
|
|
497
|
-
|
|
497
|
+
default;
|
|
498
498
|
|
|
499
499
|
/// Move assignment operator
|
|
500
500
|
WTOComponentVisitor& operator=(WTOComponentVisitor&&) noexcept = default;
|
|
@@ -702,7 +702,7 @@ protected:
|
|
|
702
702
|
WTOCycleDepthPtr previous_cycleDepth = _wtoCycleDepth;
|
|
703
703
|
_nodeToWTOCycleDepth.insert(std::make_pair(head, _wtoCycleDepth));
|
|
704
704
|
_wtoCycleDepth =
|
|
705
|
-
|
|
705
|
+
std::make_shared<GraphTWTOCycleDepth>(*_wtoCycleDepth);
|
|
706
706
|
_wtoCycleDepth->add(head);
|
|
707
707
|
for (auto it = cycle.begin(), et = cycle.end(); it != et; ++it)
|
|
708
708
|
{
|
|
@@ -203,7 +203,8 @@ private:
|
|
|
203
203
|
};
|
|
204
204
|
|
|
205
205
|
/// Dwarf based CHG.
|
|
206
|
-
class DCHGraph :
|
|
206
|
+
class DCHGraph :
|
|
207
|
+
public CommonCHGraph, public GenericGraph<DCHNode, DCHEdge>
|
|
207
208
|
{
|
|
208
209
|
public:
|
|
209
210
|
/// Returns the DIType beneath the qualifiers. Does not strip away "DW_TAG_members".
|
|
@@ -1244,7 +1244,8 @@ public:
|
|
|
1244
1244
|
/*!
|
|
1245
1245
|
* Thread Fork
|
|
1246
1246
|
*/
|
|
1247
|
-
class TDForkPE:
|
|
1247
|
+
class TDForkPE:
|
|
1248
|
+
public CallPE
|
|
1248
1249
|
{
|
|
1249
1250
|
friend class SVFIRWriter;
|
|
1250
1251
|
friend class SVFIRReader;
|
|
@@ -1285,7 +1286,8 @@ public:
|
|
|
1285
1286
|
/*!
|
|
1286
1287
|
* Thread Join
|
|
1287
1288
|
*/
|
|
1288
|
-
class TDJoinPE:
|
|
1289
|
+
class TDJoinPE:
|
|
1290
|
+
public RetPE
|
|
1289
1291
|
{
|
|
1290
1292
|
friend class SVFIRWriter;
|
|
1291
1293
|
friend class SVFIRReader;
|
|
@@ -217,8 +217,8 @@ struct isa_impl_wrap
|
|
|
217
217
|
static bool doit(const From &Val)
|
|
218
218
|
{
|
|
219
219
|
return isa_impl_wrap<To, SimpleFrom,
|
|
220
|
-
|
|
221
|
-
|
|
220
|
+
typename simplify_type<SimpleFrom>::SimpleType>::doit(
|
|
221
|
+
simplify_type<const From>::getSimplifiedValue(Val));
|
|
222
222
|
}
|
|
223
223
|
};
|
|
224
224
|
|
|
@@ -325,8 +325,8 @@ template<class To, class From, class SimpleFrom> struct cast_convert_val
|
|
|
325
325
|
static typename cast_retty<To, From>::ret_type doit(From &Val)
|
|
326
326
|
{
|
|
327
327
|
return cast_convert_val<To, SimpleFrom,
|
|
328
|
-
|
|
329
|
-
|
|
328
|
+
typename simplify_type<SimpleFrom>::SimpleType>::doit(
|
|
329
|
+
simplify_type<From>::getSimplifiedValue(Val));
|
|
330
330
|
}
|
|
331
331
|
};
|
|
332
332
|
|
|
Binary file
|