fix issue 1139 #1155
fix issue 1139 #1155
Conversation
Codecov Report
Additional details and impacted files@@ Coverage Diff @@
## master #1155 +/- ##
==========================================
- Coverage 64.68% 64.66% -0.02%
==========================================
Files 223 223
Lines 23821 23856 +35
==========================================
+ Hits 15408 15426 +18
- Misses 8413 8430 +17
|
svf/lib/WPA/Andersen.cpp
Outdated
| */ | ||
| void AndersenBase::analyze() | ||
| { | ||
| /// Initialization for the Solver |
There was a problem hiding this comment.
if(!Options::ReadAnder().empty()){
readPtsFromFile(Options::ReadAnder());
}
else{
if(Options::WriteAnder().empty()) {
initialize();
solveConstraints();
finalize();
}
else{
solveAndwritePtsToFile(Options::WriteAnder());
}
}
readPtsFromFile(filename){
initialize();
this->readFromFile(Options::ReadAnder());
PointerAnalysis::finalize();
}
svf/lib/WPA/Andersen.cpp
Outdated
| @@ -157,6 +159,30 @@ void AndersenBase::analyze() | |||
| finalize(); | |||
| } | |||
|
|
|||
|
|
|||
| void AndersenBase::analyzeAndWrite(const std::string& filename) | |||
There was a problem hiding this comment.
analyzeAndWrite => SolveAndWritePtsToFile
SolveAndWritePtsToFile(filename){
initialize();
this->writeObjVarToFile(filename);
solveConstraints();
this->writeToFile(filename);
finalize();
}
svf/lib/WPA/FlowSensitive.cpp
Outdated
| /*! | ||
| * Start analysis | ||
| */ | ||
| void FlowSensitive::analyzeAndWrite(const std::string& filename) |
There was a problem hiding this comment.
add two methods "solveAndwritePtsToFile" and "readPtsFromFile"
No description provided.