svf-lib 1.0.2421 → 1.0.2422

package/SVF-linux-x86_64/include/AE/Core/ICFGWTO.h

@@ -45,7 +45,8 @@ typedef WTOComponent<ICFG> ICFGWTOComp;
 typedef WTONode<ICFG> ICFGSingletonWTO;
 typedef WTOCycle<ICFG> ICFGCycleWTO;
 
-// Added for IWTO
+/// Interprocedural Weak Topological Order
+/// Each IWTO has an entry ICFGNode within an function-level SCC boundary. Here scc is one or more functions.
 class ICFGWTO : public WTO<ICFG>
 {
 public:
@@ -53,10 +54,11 @@ public:
     typedef WTOComponentVisitor<ICFG>::WTONodeT ICFGWTONode;
     Set<const FunObjVar*> scc;
 
-    explicit ICFGWTO(ICFG* graph,const ICFGNode* node, Set<const FunObjVar*> funcScc = {}) :
-        Base(graph, node), scc(funcScc)
+    // 1st argument is the SCC's entry ICFGNode and 2nd argument is the function(s) in this SCC.
+    explicit ICFGWTO(const ICFGNode* node, Set<const FunObjVar*> funcScc = {}) :
+        Base(node), scc(funcScc)
     {
-        if (scc.empty()) // if empty funcScc, default use the function of the node
+        if (scc.empty()) // if funcScc is empty, the scc is the function itself
             scc.insert(node->getFun());
     }
 

package/SVF-linux-x86_64/include/Graphs/WTO.h

@@ -554,13 +554,12 @@ protected:
     NodeRefToCycleDepthNumber _nodeToCDN;
     CycleDepthNumber _num;
     Stack _stack;
-    GraphT* _graph;
     const NodeT* _entry;
 
 public:
 
     /// Compute the weak topological order of the given graph
-    explicit WTO(GraphT* graph, const NodeT* entry) : _num(0), _graph(graph), _entry(entry)
+    explicit WTO(const NodeT* entry) : _num(0), _entry(entry)
     {
     }
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-lib",
-  "version": "1.0.2421",
+  "version": "1.0.2422",
   "description": "SVF's npm support",
   "main": "index.js",
   "scripts": {