svf-lib 1.0.1172 → 1.0.1175
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-linux/Release-build/lib/libSvf.a +0 -0
- package/SVF-linux/include/MemoryModel/SVFIR.h +1 -4
- package/SVF-linux/include/WPA/Andersen.h +0 -11
- package/SVF-osx/Release-build/lib/libSvf.a +0 -0
- package/SVF-osx/include/MemoryModel/SVFIR.h +1 -4
- package/SVF-osx/include/Util/Options.h +1 -0
- package/SVF-osx/include/WPA/Andersen.h +0 -11
- package/package.json +1 -1
|
Binary file
|
|
@@ -367,10 +367,7 @@ public:
|
|
|
367
367
|
}
|
|
368
368
|
inline NodeID getFIObjVar(NodeID id) const
|
|
369
369
|
{
|
|
370
|
-
|
|
371
|
-
assert(SVFUtil::isa<ObjVar>(node) && "need an object node");
|
|
372
|
-
ObjVar* obj = SVFUtil::cast<ObjVar>(node);
|
|
373
|
-
return getFIObjVar(obj->getMemObj());
|
|
370
|
+
return getBaseObjVar(id);
|
|
374
371
|
}
|
|
375
372
|
//@}
|
|
376
373
|
|
|
@@ -386,17 +386,6 @@ protected:
|
|
|
386
386
|
return "AndersenWPA";
|
|
387
387
|
}
|
|
388
388
|
|
|
389
|
-
/// match types for Gep Edges
|
|
390
|
-
virtual bool matchType(NodeID, NodeID, const NormalGepCGEdge*)
|
|
391
|
-
{
|
|
392
|
-
return true;
|
|
393
|
-
}
|
|
394
|
-
/// add type for newly created GepObjNode
|
|
395
|
-
virtual void addTypeForGepObjNode(NodeID, const NormalGepCGEdge*)
|
|
396
|
-
{
|
|
397
|
-
return;
|
|
398
|
-
}
|
|
399
|
-
|
|
400
389
|
/// Runs a Steensgaard analysis and performs clustering based on those
|
|
401
390
|
/// results set the global best mapping.
|
|
402
391
|
virtual void cluster(void) const;
|
|
Binary file
|
|
@@ -367,10 +367,7 @@ public:
|
|
|
367
367
|
}
|
|
368
368
|
inline NodeID getFIObjVar(NodeID id) const
|
|
369
369
|
{
|
|
370
|
-
|
|
371
|
-
assert(SVFUtil::isa<ObjVar>(node) && "need an object node");
|
|
372
|
-
ObjVar* obj = SVFUtil::cast<ObjVar>(node);
|
|
373
|
-
return getFIObjVar(obj->getMemObj());
|
|
370
|
+
return getBaseObjVar(id);
|
|
374
371
|
}
|
|
375
372
|
//@}
|
|
376
373
|
|
|
@@ -236,6 +236,7 @@ public:
|
|
|
236
236
|
static const llvm::cl::opt<std :: string> ReadAnder;
|
|
237
237
|
static const llvm::cl::opt<bool> PtsDiff;
|
|
238
238
|
static const llvm::cl::opt<bool> MergePWC;
|
|
239
|
+
static const llvm::cl::opt<bool> VtableInSVFIR;
|
|
239
240
|
|
|
240
241
|
// WPAPass.cpp
|
|
241
242
|
static const llvm::cl::opt<bool> AnderSVFG;
|
|
@@ -386,17 +386,6 @@ protected:
|
|
|
386
386
|
return "AndersenWPA";
|
|
387
387
|
}
|
|
388
388
|
|
|
389
|
-
/// match types for Gep Edges
|
|
390
|
-
virtual bool matchType(NodeID, NodeID, const NormalGepCGEdge*)
|
|
391
|
-
{
|
|
392
|
-
return true;
|
|
393
|
-
}
|
|
394
|
-
/// add type for newly created GepObjNode
|
|
395
|
-
virtual void addTypeForGepObjNode(NodeID, const NormalGepCGEdge*)
|
|
396
|
-
{
|
|
397
|
-
return;
|
|
398
|
-
}
|
|
399
|
-
|
|
400
389
|
/// Runs a Steensgaard analysis and performs clustering based on those
|
|
401
390
|
/// results set the global best mapping.
|
|
402
391
|
virtual void cluster(void) const;
|