ROSE 0.11.145.272
|
Basic merge operation for instruction semantics.
This merge operator is for data-flow that uses an instruction semantics state.
Definition at line 217 of file DataFlow.h.
#include <Rose/BinaryAnalysis/DataFlow.h>
Public Member Functions | |
SemanticsMerge (const InstructionSemantics::BaseSemantics::RiscOperatorsPtr &) | |
SemanticsMerge (const InstructionSemantics::BaseSemantics::DispatcherPtr &) | |
bool | operator() (size_t dstId, InstructionSemantics::BaseSemantics::StatePtr &dst, size_t srcId, const InstructionSemantics::BaseSemantics::StatePtr &src) const |
InstructionSemantics::BaseSemantics::RiscOperatorsPtr | operators () const |