Static Value-Flow Analysis
|
#include <SVFFileSystem.h>
Public Member Functions | |
GenericGraphWriter (const GraphType *graph) | |
size_t | getEdgeID (const EdgeType *edge) |
Private Types | |
using | NodeType = NodeTy |
using | EdgeType = EdgeTy |
using | GraphType = GenericGraph< NodeType, EdgeType > |
Private Attributes | |
WriterPtrPool< EdgeType > | edgePool |
Friends | |
class | SVFIRWriter |
Forward declaration of some friend classes
Definition at line 289 of file SVFFileSystem.h.
|
private |
Definition at line 295 of file SVFFileSystem.h.
|
private |
Definition at line 296 of file SVFFileSystem.h.
|
private |
Definition at line 294 of file SVFFileSystem.h.
|
inline |
Definition at line 302 of file SVFFileSystem.h.
|
inline |
Definition at line 318 of file SVFFileSystem.h.
|
friend |
Definition at line 291 of file SVFFileSystem.h.
|
private |
Definition at line 299 of file SVFFileSystem.h.