ROSE  0.11.145.0
Rose::BinaryAnalysis::FeasiblePath Member List

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

AddressSet typedefRose::BinaryAnalysis::FeasiblePath
buildVirtualCpu(const Partitioner2::PartitionerConstPtr &, const Partitioner2::CfgPath *, PathProcessor *, const SmtSolverPtr &)Rose::BinaryAnalysis::FeasiblePathvirtual
cfgToPaths(const Partitioner2::CfgConstVertexSet &) const Rose::BinaryAnalysis::FeasiblePath
cfgToPaths(const Partitioner2::CfgConstEdgeSet &) const Rose::BinaryAnalysis::FeasiblePath
commandLineSwitches(Settings &settings)Rose::BinaryAnalysis::FeasiblePathstatic
depthFirstSearch(PathProcessor &pathProcessor)Rose::BinaryAnalysis::FeasiblePath
EdgeVisitOrder enum nameRose::BinaryAnalysis::FeasiblePath
expressionDocumentation()Rose::BinaryAnalysis::FeasiblePathstatic
FeasiblePath()Rose::BinaryAnalysis::FeasiblePath
functionSummaries() const Rose::BinaryAnalysis::FeasiblePathinline
FunctionSummaries typedefRose::BinaryAnalysis::FeasiblePath
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
initialState() const Rose::BinaryAnalysis::FeasiblePath
IoMode enum nameRose::BinaryAnalysis::FeasiblePath
isAnyEndpointReachable(const Partitioner2::ControlFlowGraph &cfg, const Partitioner2::ControlFlowGraph::ConstVertexIterator &beginVertex, const Partitioner2::CfgConstVertexSet &endVertices)Rose::BinaryAnalysis::FeasiblePath
isDirectedSearch() const Rose::BinaryAnalysis::FeasiblePathinline
isFunctionCall(const Partitioner2::ControlFlowGraph::ConstVertexIterator &) const Rose::BinaryAnalysis::FeasiblePath
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
pathEffectiveK(const Partitioner2::CfgPath &) const Rose::BinaryAnalysis::FeasiblePath
pathEndsWithFunctionCall(const Partitioner2::CfgPath &) const Rose::BinaryAnalysis::FeasiblePath
pathLength(const Partitioner2::CfgPath &, int position=-1)Rose::BinaryAnalysis::FeasiblePathstatic
pathPostState(const Partitioner2::CfgPath &, size_t vertexIdx)Rose::BinaryAnalysis::FeasiblePathstatic
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::BasicBlockPtr &bblock, const InstructionSemantics::BaseSemantics::DispatcherPtr &cpu, size_t pathInsnIndex)Rose::BinaryAnalysis::FeasiblePathvirtual
processFunctionSummary(const Partitioner2::ControlFlowGraph::ConstVertexIterator &pathsVertex, const InstructionSemantics::BaseSemantics::DispatcherPtr &cpu, size_t pathInsnIndex)Rose::BinaryAnalysis::FeasiblePathvirtual
processIndeterminateBlock(const Partitioner2::ControlFlowGraph::ConstVertexIterator &vertex, const InstructionSemantics::BaseSemantics::DispatcherPtr &cpu, size_t pathInsnIndex)Rose::BinaryAnalysis::FeasiblePathvirtual
processVertex(const InstructionSemantics::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::FeasiblePath
resetStatistics()Rose::BinaryAnalysis::FeasiblePathinline
SEARCH_MULTI enum valueRose::BinaryAnalysis::FeasiblePath
SEARCH_SINGLE_BFS enum valueRose::BinaryAnalysis::FeasiblePath
SEARCH_SINGLE_DFS enum valueRose::BinaryAnalysis::FeasiblePath
SearchMode enum nameRose::BinaryAnalysis::FeasiblePath
SemanticMemoryParadigm enum nameRose::BinaryAnalysis::FeasiblePath
setInitialState(const InstructionSemantics::BaseSemantics::DispatcherPtr &cpu, const Partitioner2::ControlFlowGraph::ConstVertexIterator &pathsBeginVertex)Rose::BinaryAnalysis::FeasiblePathvirtual
setSearchBoundary(const Partitioner2::PartitionerConstPtr &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::PartitionerConstPtr &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
setSearchBoundary(const Partitioner2::PartitionerConstPtr &partitioner, const Partitioner2::CfgConstVertexSet &cfgBeginVertices, const Partitioner2::CfgConstVertexSet &cfgAvoidVertices=Partitioner2::CfgConstVertexSet(), const Partitioner2::CfgConstEdgeSet &cfgAvoidEdges=Partitioner2::CfgConstEdgeSet())Rose::BinaryAnalysis::FeasiblePath
setSearchBoundary(const Partitioner2::PartitionerConstPtr &partitioner, const Partitioner2::ControlFlowGraph::ConstVertexIterator &cfgBeginVertex, 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
statistics() const Rose::BinaryAnalysis::FeasiblePathinline
varDetail(const InstructionSemantics::BaseSemantics::StatePtr &, const std::string &varName) const Rose::BinaryAnalysis::FeasiblePath
VarDetails typedefRose::BinaryAnalysis::FeasiblePath
varDetails(const InstructionSemantics::BaseSemantics::StatePtr &) const Rose::BinaryAnalysis::FeasiblePath
VISIT_NATURAL enum valueRose::BinaryAnalysis::FeasiblePath
VISIT_RANDOM enum valueRose::BinaryAnalysis::FeasiblePath
VISIT_REVERSE enum valueRose::BinaryAnalysis::FeasiblePath
WRITE enum value (defined in Rose::BinaryAnalysis::FeasiblePath)Rose::BinaryAnalysis::FeasiblePath
~FeasiblePath() (defined in Rose::BinaryAnalysis::FeasiblePath)Rose::BinaryAnalysis::FeasiblePathvirtual