1 #ifndef ROSE_BinaryAnalysis_ReturnValueUsed_H
2 #define ROSE_BinaryAnalysis_ReturnValueUsed_H
3 #include <featureTests.h>
4 #ifdef ROSE_ENABLE_BINARY_ANALYSIS
6 #include <Rose/BinaryAnalysis/CallingConvention.h>
7 #include <Rose/BinaryAnalysis/Partitioner2/BasicTypes.h>
8 #include <Rose/BinaryAnalysis/Partitioner2/ControlFlowGraph.h>
9 #include <Rose/BinaryAnalysis/RegisterParts.h>
12 namespace BinaryAnalysis {
17 namespace ReturnValueUsed {
35 std::vector<Partitioner2::FunctionPtr> callees_;
39 #ifdef ROSE_HAVE_BOOST_SERIALIZATION_LIB
41 friend class boost::serialization::access;
44 void serialize(S & s,
const unsigned ) {
45 s & BOOST_SERIALIZATION_NVP(didConverge_);
46 s & BOOST_SERIALIZATION_NVP(callees_);
47 s & BOOST_SERIALIZATION_NVP(returnRegistersUsed_);
48 s & BOOST_SERIALIZATION_NVP(returnRegistersUnused_);
68 const std::vector<Partitioner2::FunctionPtr>
callees()
const;
92 void callees(
const std::vector<Partitioner2::FunctionPtr>&);
105 CallSiteMap callSites_;
106 bool assumeCallerReturnsValue_;
108 #ifdef ROSE_HAVE_BOOST_SERIALIZATION_LIB
110 friend class boost::serialization::access;
113 void serialize(S &s,
const unsigned ) {
114 s & BOOST_SERIALIZATION_NVP(defaultCallingConvention_);
115 s & BOOST_SERIALIZATION_NVP(callSites_);
116 s & BOOST_SERIALIZATION_NVP(assumeCallerReturnsValue_);
187 const Partitioner2::ControlFlowGraph::ConstVertexIterator&);
192 std::vector<Partitioner2::FunctionPtr>
197 std::vector<Partitioner2::ControlFlowGraph::ConstVertexIterator>
199 const Partitioner2::ControlFlowGraph::ConstVertexIterator &callSite);
CallSiteResults analyzeCallSite(const Partitioner2::PartitionerConstPtr &, const Partitioner2::ControlFlowGraph::ConstVertexIterator &)
Analyze a call site to see if a function's return value is used.
const RegisterParts & returnRegistersUnused() const
Property: Return registers that are unused in the caller.
CallingConvention::Definition::Ptr defaultCallingConvention() const
Property: Default calling convention.
void initDiagnostics()
Initialize diagnostics.
Main namespace for the ROSE library.
Holds a set of registers without regard for register boundaries.
Sawyer::Message::Facility mlog
Facility for diagnostic output.
void clearResults()
Clear analysis results.
bool assumeCallerReturnsValue() const
Property: Assume caller returns value(s).
bool didConverge() const
Property: Did the analysis converge to a solution.
Analysis()
Default constructor.
const RegisterParts & returnRegistersUsed() const
Property: Return registers that are used in the caller.
const std::vector< Partitioner2::FunctionPtr > callees() const
Property: Functions called at this site.
Container associating values with keys.