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) |