Description
Base class for callbacks for function summaries.
See the functionSummarizer property. These objects are reference counted and allocated on the heap.
Definition at line 310 of file FeasiblePath.h.
#include <Rose/BinaryAnalysis/FeasiblePath.h>
Public Types | |
| typedef Sawyer::SharedPointer< FunctionSummarizer > | Ptr |
| Reference counting pointer. More... | |
Public Member Functions | |
| virtual void | init (const FeasiblePath &analysis, FunctionSummary &summary, const Partitioner2::FunctionPtr &function, Partitioner2::ControlFlowGraph::ConstVertexIterator cfgCallTarget)=0 |
| Invoked when a new summary is created. More... | |
| virtual bool | process (const FeasiblePath &analysis, const FunctionSummary &summary, const InstructionSemantics::SymbolicSemantics::RiscOperatorsPtr &ops)=0 |
| Invoked when the analysis traverses the summary. More... | |
| virtual InstructionSemantics::SymbolicSemantics::SValuePtr | returnValue (const FeasiblePath &analysis, const FunctionSummary &summary, const InstructionSemantics::SymbolicSemantics::RiscOperatorsPtr &ops)=0 |
| Return value for function. More... | |
 Public Member Functions inherited from Sawyer::SharedObject | |
| SharedObject () | |
| Default constructor. More... | |
| SharedObject (const SharedObject &) | |
| Copy constructor. More... | |
| virtual | ~SharedObject () |
| Virtual destructor. More... | |
| SharedObject & | operator= (const SharedObject &) |
| Assignment. More... | |
Member Typedef Documentation
| typedef Sawyer::SharedPointer<FunctionSummarizer> Rose::BinaryAnalysis::FeasiblePath::FunctionSummarizer::Ptr |
Reference counting pointer.
Definition at line 313 of file FeasiblePath.h.
Member Function Documentation
|
pure virtual |
Invoked when a new summary is created.
|
pure virtual |
Invoked when the analysis traverses the summary.
Returns true if the function was processed, false if we decline to process the function. If returning false, then the caller will do some basic processing based on the calling convention.
|
pure virtual |
Return value for function.
This is called after process in order to obtain the primary return value for the function. If the function doesn't return anything, then this method returns a null pointer.
The documentation for this class was generated from the following file:
