cfg | retdec::llvmir2hll::CFGTraversal | protected |
CFGTraversal(ShPtr< CFG > cfg, bool defaultCurrRetVal) | retdec::llvmir2hll::CFGTraversal | protected |
checkedStmts | retdec::llvmir2hll::CFGTraversal | protected |
cio | retdec::llvmir2hll::ModifiedBeforeReadCFGTraversal | private |
combineRetVals(bool origRetVal, bool newRetVal) const override | retdec::llvmir2hll::ModifiedBeforeReadCFGTraversal | privatevirtual |
currRetVal | retdec::llvmir2hll::CFGTraversal | protected |
getCurrRetVal() const | retdec::llvmir2hll::CFGTraversal | protected |
getEndRetVal() const override | retdec::llvmir2hll::ModifiedBeforeReadCFGTraversal | privatevirtual |
isModifiedBeforeEveryRead(ShPtr< Variable > var, ShPtr< Statement > startStmt, ShPtr< CFG > cfg, ShPtr< ValueAnalysis > va, ShPtr< CallInfoObtainer > cio) | retdec::llvmir2hll::ModifiedBeforeReadCFGTraversal | static |
ModifiedBeforeReadCFGTraversal(ShPtr< Variable > var, ShPtr< CFG > cfg, ShPtr< ValueAnalysis > va, ShPtr< CallInfoObtainer > cio) | retdec::llvmir2hll::ModifiedBeforeReadCFGTraversal | private |
NonCopyable(const NonCopyable &)=delete | retdec::utils::NonCopyable | private |
NonCopyable()=default | retdec::utils::NonCopyable | private |
operator=(const NonCopyable &)=delete | retdec::utils::NonCopyable | private |
performReverseTraversal(ShPtr< Statement > startStmt) | retdec::llvmir2hll::CFGTraversal | protected |
performReverseTraversalFromPredecessors(ShPtr< Statement > stmt) | retdec::llvmir2hll::CFGTraversal | protected |
performReverseTraversalImpl(ShPtr< CFG::Node > startNode, CFG::stmt_reverse_iterator startStmtRIter) | retdec::llvmir2hll::CFGTraversal | private |
performTraversal(ShPtr< Statement > startStmt) | retdec::llvmir2hll::CFGTraversal | protected |
performTraversalFromSuccessors(ShPtr< Statement > stmt) | retdec::llvmir2hll::CFGTraversal | protected |
performTraversalImpl(ShPtr< CFG::Node > startNode, CFG::stmt_iterator startStmtIter) | retdec::llvmir2hll::CFGTraversal | private |
stopTraversal | retdec::llvmir2hll::CFGTraversal | protected |
traverseNodePredecessors(ShPtr< CFG::Node > node) | retdec::llvmir2hll::CFGTraversal | private |
va | retdec::llvmir2hll::ModifiedBeforeReadCFGTraversal | private |
var | retdec::llvmir2hll::ModifiedBeforeReadCFGTraversal | private |
visitSingleNode(CFG::stmt_iterator startStmtIter, CFG::stmt_iterator endStmtIter) | retdec::llvmir2hll::CFGTraversal | private |
visitStmt(ShPtr< Statement > stmt) override | retdec::llvmir2hll::ModifiedBeforeReadCFGTraversal | privatevirtual |
wasModifiedBeforeEveryRead | retdec::llvmir2hll::ModifiedBeforeReadCFGTraversal | private |
~CFGTraversal()=default | retdec::llvmir2hll::CFGTraversal | protected |
~NonCopyable()=default | retdec::utils::NonCopyable | private |