svf-lib 1.0.790 → 1.0.794
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/Graphs/ICFG.h +1 -1
- package/SVF-linux/include/Graphs/ICFGNode.h +2 -2
- package/SVF-linux/include/Util/NodeIDAllocator.h +3 -0
- package/SVF-osx/Release-build/lib/CUDD/libCudd.a +0 -0
- package/SVF-osx/Release-build/lib/libSvf.a +0 -0
- package/SVF-osx/include/Util/NodeIDAllocator.h +3 -0
- package/package.json +1 -1
|
Binary file
|
|
@@ -259,7 +259,7 @@ private:
|
|
|
259
259
|
{
|
|
260
260
|
CallICFGNode* callBlockNode = getCallBlockNode(cs);
|
|
261
261
|
RetICFGNode* sNode = new RetICFGNode(totalICFGNode++, cs, callBlockNode);
|
|
262
|
-
callBlockNode->
|
|
262
|
+
callBlockNode->setRetICFGNode(sNode);
|
|
263
263
|
addICFGNode(sNode);
|
|
264
264
|
CSToRetNodeMap[cs] = sNode;
|
|
265
265
|
return sNode;
|
|
@@ -384,14 +384,14 @@ public:
|
|
|
384
384
|
}
|
|
385
385
|
|
|
386
386
|
/// Return callsite
|
|
387
|
-
inline const RetICFGNode*
|
|
387
|
+
inline const RetICFGNode* getRetICFGNode() const
|
|
388
388
|
{
|
|
389
389
|
assert(ret && "RetICFGNode not set?");
|
|
390
390
|
return ret;
|
|
391
391
|
}
|
|
392
392
|
|
|
393
393
|
/// Return callsite
|
|
394
|
-
inline void
|
|
394
|
+
inline void setRetICFGNode(const RetICFGNode* r)
|
|
395
395
|
{
|
|
396
396
|
ret = r;
|
|
397
397
|
}
|
|
@@ -27,6 +27,9 @@ public:
|
|
|
27
27
|
/// If [****...*****] is the space of unsigned integers, we allocate as,
|
|
28
28
|
/// [ssssooooooo...vvvvvvv] (o = object, v = value, s = special).
|
|
29
29
|
DENSE,
|
|
30
|
+
/// Like dense, but with order flipped:
|
|
31
|
+
/// [ssssvvvvvvv...ooooooo]
|
|
32
|
+
REVERSE_DENSE,
|
|
30
33
|
/// Allocate objects objects and values sequentially, intermixed.
|
|
31
34
|
SEQ,
|
|
32
35
|
/// Allocate values and objects as they come in with a single counter.
|
|
Binary file
|
|
Binary file
|
|
@@ -27,6 +27,9 @@ public:
|
|
|
27
27
|
/// If [****...*****] is the space of unsigned integers, we allocate as,
|
|
28
28
|
/// [ssssooooooo...vvvvvvv] (o = object, v = value, s = special).
|
|
29
29
|
DENSE,
|
|
30
|
+
/// Like dense, but with order flipped:
|
|
31
|
+
/// [ssssvvvvvvv...ooooooo]
|
|
32
|
+
REVERSE_DENSE,
|
|
30
33
|
/// Allocate objects objects and values sequentially, intermixed.
|
|
31
34
|
SEQ,
|
|
32
35
|
/// Allocate values and objects as they come in with a single counter.
|