Static Value-Flow Analysis
SVF::VersionedFlowSensitive::SCC Member List

This is the complete list of members for SVF::VersionedFlowSensitive::SCC, including all inherited members.

detectSCCs(VersionedFlowSensitive *vfs, const SVFG *svfg, const NodeID object, const std::vector< const SVFGNode * > &startingNodes, std::vector< int > &partOf, std::vector< const IndirectSVFGEdge * > &footprint)SVF::VersionedFlowSensitive::SCCstatic
NodeData typedefSVF::VersionedFlowSensitive::SCCprivate
visit(VersionedFlowSensitive *vfs, const NodeID object, std::vector< int > &partOf, std::vector< const IndirectSVFGEdge * > &footprint, std::vector< NodeData > &nodeData, std::stack< const SVFGNode * > &stack, int &index, int &currentSCC, const SVFGNode *v)SVF::VersionedFlowSensitive::SCCprivatestatic
Generated by doxygen 1.9.1