svf-lib 1.0.1119 → 1.0.1122
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
|
|
@@ -447,19 +447,11 @@ public:
|
|
|
447
447
|
virtual void solveWorklist();
|
|
448
448
|
virtual void processNode(NodeID nodeId);
|
|
449
449
|
virtual void postProcessNode(NodeID nodeId);
|
|
450
|
-
virtual void handleCopyGep(ConstraintNode* node);
|
|
451
450
|
virtual bool handleLoad(NodeID id, const ConstraintEdge* load);
|
|
452
451
|
virtual bool handleStore(NodeID id, const ConstraintEdge* store);
|
|
453
|
-
virtual bool processCopy(NodeID node, const ConstraintEdge* edge);
|
|
454
452
|
|
|
455
453
|
protected:
|
|
456
454
|
virtual void mergeNodeToRep(NodeID nodeId,NodeID newRepId);
|
|
457
|
-
|
|
458
|
-
/// process "bitcast" CopyCGEdge
|
|
459
|
-
virtual void processCast(const ConstraintEdge*)
|
|
460
|
-
{
|
|
461
|
-
return;
|
|
462
|
-
}
|
|
463
455
|
};
|
|
464
456
|
|
|
465
457
|
|
|
Binary file
|
|
@@ -447,19 +447,11 @@ public:
|
|
|
447
447
|
virtual void solveWorklist();
|
|
448
448
|
virtual void processNode(NodeID nodeId);
|
|
449
449
|
virtual void postProcessNode(NodeID nodeId);
|
|
450
|
-
virtual void handleCopyGep(ConstraintNode* node);
|
|
451
450
|
virtual bool handleLoad(NodeID id, const ConstraintEdge* load);
|
|
452
451
|
virtual bool handleStore(NodeID id, const ConstraintEdge* store);
|
|
453
|
-
virtual bool processCopy(NodeID node, const ConstraintEdge* edge);
|
|
454
452
|
|
|
455
453
|
protected:
|
|
456
454
|
virtual void mergeNodeToRep(NodeID nodeId,NodeID newRepId);
|
|
457
|
-
|
|
458
|
-
/// process "bitcast" CopyCGEdge
|
|
459
|
-
virtual void processCast(const ConstraintEdge*)
|
|
460
|
-
{
|
|
461
|
-
return;
|
|
462
|
-
}
|
|
463
455
|
};
|
|
464
456
|
|
|
465
457
|
|