|
Static Value-Flow Analysis
|
#include "Util/Options.h"#include "Util/SVFUtil.h"#include "MemoryModel/PointerAnalysisImpl.h"#include "SVFIR/PAGBuilderFromFile.h"#include "Util/PTAStat.h"#include "Graphs/ThreadCallGraph.h"#include "Graphs/ICFG.h"#include "Graphs/CallGraph.h"#include "Util/CallGraphBuilder.h"#include <iomanip>#include <iostream>#include <fstream>#include <sstream>