Static Value-Flow Analysis
|
This is the complete list of members for SVF::VFCFLGraphBuilder, including all inherited members.
addAttribute(CFGrammar::Kind kind, CFGrammar::Attribute attribute) | SVF::CFLGraphBuilder | protected |
addBiCFLEdge(CFLGraph *cflGraph, ConstraintNode *src, ConstraintNode *dst, CFGrammar::Kind label) | SVF::VFCFLGraphBuilder | private |
addBiGepCFLEdge(CFLGraph *cflGraph, ConstraintNode *src, ConstraintNode *dst, CFGrammar::Attribute attri) | SVF::VFCFLGraphBuilder | private |
addGNode(u32_t NodeID) | SVF::CFLGraphBuilder | protected |
build(GenericGraph< N, E > *graph, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain) | SVF::CFLGraphBuilder | |
build(std::string fileName, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain) | SVF::CFLGraphBuilder | |
buildBigraph(SVFG *graph, Kind startKind, GrammarBase *grammar) | SVF::VFCFLGraphBuilder | |
buildBiPEGgraph(ConstraintGraph *graph, Kind startKind, GrammarBase *grammar, SVFIR *pag) | SVF::VFCFLGraphBuilder | |
buildFromDot(std::string filename, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain) | SVF::CFLGraphBuilder | protected |
buildFromJson(std::string filename, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain) | SVF::CFLGraphBuilder | protected |
buildFromText(std::string fileName, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain) | SVF::CFLGraphBuilder | protected |
buildlabelToKindMap(GrammarBase *grammar) | SVF::CFLGraphBuilder | protected |
cflGraph | SVF::CFLGraphBuilder | protected |
connectVGep(CFLGraph *cflGraph, ConstraintGraph *graph, ConstraintNode *src, ConstraintNode *dst, u32_t level, SVFIR *pag) | SVF::VFCFLGraphBuilder | private |
current | SVF::CFLGraphBuilder | protected |
getKindToAttrsMap() | SVF::CFLGraphBuilder | inline |
getKindToLabelMap() | SVF::CFLGraphBuilder | inline |
getLabelToKindMap() | SVF::CFLGraphBuilder | inline |
Kind typedef | SVF::CFLGraphBuilder | protected |
kindToAttrsMap | SVF::CFLGraphBuilder | protected |
kindToLabelMap | SVF::CFLGraphBuilder | protected |
labelToKindMap | SVF::CFLGraphBuilder | protected |
Symbol typedef | SVF::CFLGraphBuilder | protected |