|
Static Value-Flow Analysis
|
#include "Graphs/GraphTraits.h"#include "Graphs/DOTGraphTraits.h"#include <algorithm>#include <cstddef>#include <iterator>#include <string>#include <type_traits>#include <vector>#include <fstream>#include <sstream>#include <iostream>Go to the source code of this file.
Classes | |
| class | SVF::GraphWriter< GraphType > |
Namespaces | |
| namespace | SVF |
| for isBitcode | |
| namespace | SVF::DOT |
| namespace | SVF::GraphProgram |
Enumerations | |
| enum | SVF::GraphProgram::Name { SVF::GraphProgram::DOT , SVF::GraphProgram::FDP , SVF::GraphProgram::NEATO , SVF::GraphProgram::TWOPI , SVF::GraphProgram::CIRCO } |
Functions | |
| std::string | SVF::DOT::EscapeStr (const std::string &Label) |
| template<typename GraphType > | |
| std::ofstream & | SVF::WriteGraph (std::ofstream &O, const GraphType &G, bool ShortNames=false) |
| template<typename GraphType > | |
| std::string | SVF::WriteGraph (const GraphType &G, bool ShortNames=false, std::string Filename="") |
| template<typename GraphType > | |
| void | SVF::ViewGraph (const GraphType &G, const std::string &name, bool ShortNames=false, GraphProgram::Name Program=GraphProgram::DOT) |