MSSA: allocate mssa on heap instead of a local instance. Leave a rele…

…aseMemory to be called by users
SVF-tools · Apr 29, 2017 · f752075 · f752075
1 parent 14d9b9f
commit f752075
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 7 deletions.
diff --git a/include/MSSA/SVFG.h b/include/MSSA/SVFG.h
@@ -135,6 +135,7 @@ class SVFG : public GenericSVFGGraphTy {
 
     /// Clear MSSA
     inline void clearMSSA() {
+        delete mssa;
         mssa = NULL;
     }
 

diff --git a/lib/MSSA/SVFGBuilder.cpp b/lib/MSSA/SVFGBuilder.cpp
@@ -85,7 +85,7 @@ void SVFGBuilder::releaseMemory(SVFG* vfg) {
  */
 bool SVFGBuilder::build(SVFG* graph,BVDataPTAImpl* pta) {
 
-    MemSSA mssa(pta);
+    MemSSA* mssa = new MemSSA(pta);
 
     DBOUT(DGENERAL, outs() << pasMsg("Build Memory SSA \n"));
 
@@ -102,20 +102,21 @@ bool SVFGBuilder::build(SVFG* graph,BVDataPTAImpl* pta) {
         dt.recalculate(fun);
         df.runOnDT(dt);
 
-        mssa.buildMemSSA(fun, &df, &dt);
+        mssa->buildMemSSA(fun, &df, &dt);
     }
 
-    mssa.performStat();
-    mssa.dumpMSSA();
+    mssa->performStat();
+    mssa->dumpMSSA();
 
     DBOUT(DGENERAL, outs() << pasMsg("Build Sparse Value-Flow Graph \n"));
 
-    createSVFG(&mssa, graph);
+    createSVFG(mssa, graph);
 
     if(SVFGWithIndirectCall || SVFGWithIndCall)
-        updateCallGraph(mssa.getPTA());
+        updateCallGraph(mssa->getPTA());
 
-    releaseMemory(graph);
+    //delete MSSA when required (on-call)
+    //releaseMemory(graph);
 
     return false;
 }