Static Value-Flow Analysis
Classes | Namespaces | Enumerations | Functions
GraphWriter.h File Reference
#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

 SVF
 for isBitcode
 
 SVF::DOT
 
 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)