ROSE  0.9.10.44
Rose::BinaryAnalysis::FeasiblePath Member List

This is the complete list of members for Rose::BinaryAnalysis::FeasiblePath, including all inherited members.

buildVirtualCpu(const Partitioner2::Partitioner &, PathProcessor *)Rose::BinaryAnalysis::FeasiblePathvirtual
cfgToPaths(const Partitioner2::CfgConstVertexSet &) const Rose::BinaryAnalysis::FeasiblePath
depthFirstSearch(PathProcessor &pathProcessor)Rose::BinaryAnalysis::FeasiblePath
FeasiblePath()Rose::BinaryAnalysis::FeasiblePathinline
FunctionSummaries typedefRose::BinaryAnalysis::FeasiblePath
functionSummaries() const Rose::BinaryAnalysis::FeasiblePathinline
functionSummarizer() const Rose::BinaryAnalysis::FeasiblePathinline
functionSummarizer(const FunctionSummarizer::Ptr &f)Rose::BinaryAnalysis::FeasiblePathinline
functionSummary(rose_addr_t entryVa) const Rose::BinaryAnalysis::FeasiblePath
initDiagnostics()Rose::BinaryAnalysis::FeasiblePathstatic
IoMode enum nameRose::BinaryAnalysis::FeasiblePath
isFunctionCall(const Partitioner2::ControlFlowGraph::ConstVertexIterator &) const Rose::BinaryAnalysis::FeasiblePath
isPathFeasible(const Partitioner2::CfgPath &path, const SmtSolverPtr &, const std::vector< SymbolicExpr::Ptr > &postConditions, PathProcessor *pathProcessor, std::vector< SymbolicExpr::Ptr > &pathConditions, InstructionSemantics2::BaseSemantics::DispatcherPtr &cpu)Rose::BinaryAnalysis::FeasiblePathvirtual
LIST_BASED_MEMORY enum valueRose::BinaryAnalysis::FeasiblePath
MAP_BASED_MEMORY enum valueRose::BinaryAnalysis::FeasiblePath
MAY enum value (defined in Rose::BinaryAnalysis::FeasiblePath)Rose::BinaryAnalysis::FeasiblePath
MayOrMust enum nameRose::BinaryAnalysis::FeasiblePath
mlogRose::BinaryAnalysis::FeasiblePathstatic
MUST enum value (defined in Rose::BinaryAnalysis::FeasiblePath)Rose::BinaryAnalysis::FeasiblePath
partitioner() const Rose::BinaryAnalysis::FeasiblePath
pathEndsWithFunctionCall(const Partitioner2::CfgPath &) const Rose::BinaryAnalysis::FeasiblePath
pathToCfg(const Partitioner2::ControlFlowGraph::ConstVertexIterator &pathVertex) const Rose::BinaryAnalysis::FeasiblePath
printPath(std::ostream &out, const Partitioner2::CfgPath &) const Rose::BinaryAnalysis::FeasiblePath
printPathVertex(std::ostream &out, const Partitioner2::ControlFlowGraph::Vertex &pathVertex, size_t &insnIdx) const Rose::BinaryAnalysis::FeasiblePath
processBasicBlock(const Partitioner2::BasicBlock::Ptr &bblock, const InstructionSemantics2::BaseSemantics::DispatcherPtr &cpu, size_t pathInsnIndex)Rose::BinaryAnalysis::FeasiblePathvirtual
processFunctionSummary(const Partitioner2::ControlFlowGraph::ConstVertexIterator &pathsVertex, const InstructionSemantics2::BaseSemantics::DispatcherPtr &cpu, size_t pathInsnIndex)Rose::BinaryAnalysis::FeasiblePathvirtual
processIndeterminateBlock(const Partitioner2::ControlFlowGraph::ConstVertexIterator &vertex, const InstructionSemantics2::BaseSemantics::DispatcherPtr &cpu, size_t pathInsnIndex)Rose::BinaryAnalysis::FeasiblePathvirtual
processVertex(const InstructionSemantics2::BaseSemantics::DispatcherPtr &cpu, const Partitioner2::ControlFlowGraph::ConstVertexIterator &pathsVertex, size_t &pathInsnIndex)Rose::BinaryAnalysis::FeasiblePathvirtual
READ enum value (defined in Rose::BinaryAnalysis::FeasiblePath)Rose::BinaryAnalysis::FeasiblePath
REG_PATHRose::BinaryAnalysis::FeasiblePath
reset()Rose::BinaryAnalysis::FeasiblePathinline
SEARCH_MULTI enum value (defined in Rose::BinaryAnalysis::FeasiblePath)Rose::BinaryAnalysis::FeasiblePath
SEARCH_SINGLE_BFS enum value (defined in Rose::BinaryAnalysis::FeasiblePath)Rose::BinaryAnalysis::FeasiblePath
SEARCH_SINGLE_DFS enum value (defined in Rose::BinaryAnalysis::FeasiblePath)Rose::BinaryAnalysis::FeasiblePath
SearchMode enum name (defined in Rose::BinaryAnalysis::FeasiblePath)Rose::BinaryAnalysis::FeasiblePath
SemanticMemoryParadigm enum nameRose::BinaryAnalysis::FeasiblePath
setInitialState(const InstructionSemantics2::BaseSemantics::DispatcherPtr &cpu, const Partitioner2::ControlFlowGraph::ConstVertexIterator &pathsBeginVertex)Rose::BinaryAnalysis::FeasiblePathvirtual
setSearchBoundary(const Partitioner2::Partitioner &partitioner, const Partitioner2::CfgConstVertexSet &cfgBeginVertices, const Partitioner2::CfgConstVertexSet &cfgEndVertices, const Partitioner2::CfgConstVertexSet &cfgAvoidVertices=Partitioner2::CfgConstVertexSet(), const Partitioner2::CfgConstEdgeSet &cfgAvoidEdges=Partitioner2::CfgConstEdgeSet())Rose::BinaryAnalysis::FeasiblePath
setSearchBoundary(const Partitioner2::Partitioner &partitioner, const Partitioner2::ControlFlowGraph::ConstVertexIterator &cfgBeginVertex, const Partitioner2::ControlFlowGraph::ConstVertexIterator &cfgEndVertex, const Partitioner2::CfgConstVertexSet &cfgAvoidVertices=Partitioner2::CfgConstVertexSet(), const Partitioner2::CfgConstEdgeSet &cfgAvoidEdges=Partitioner2::CfgConstEdgeSet())Rose::BinaryAnalysis::FeasiblePath
settings() const Rose::BinaryAnalysis::FeasiblePathinline
settings()Rose::BinaryAnalysis::FeasiblePathinline
settings(const Settings &s)Rose::BinaryAnalysis::FeasiblePathinline
shouldInline(const Partitioner2::CfgPath &path, const Partitioner2::ControlFlowGraph::ConstVertexIterator &cfgCallTarget)Rose::BinaryAnalysis::FeasiblePathvirtual
shouldSummarizeCall(const Partitioner2::ControlFlowGraph::ConstVertexIterator &pathVertex, const Partitioner2::ControlFlowGraph &cfg, const Partitioner2::ControlFlowGraph::ConstVertexIterator &cfgCallTarget)Rose::BinaryAnalysis::FeasiblePathvirtual
varDetail(const InstructionSemantics2::BaseSemantics::StatePtr &state, const std::string &varName) const Rose::BinaryAnalysis::FeasiblePath
WRITE enum value (defined in Rose::BinaryAnalysis::FeasiblePath)Rose::BinaryAnalysis::FeasiblePath
~FeasiblePath() (defined in Rose::BinaryAnalysis::FeasiblePath)Rose::BinaryAnalysis::FeasiblePathinlinevirtual