ROSE 0.11.145.192
Public Member Functions | List of all members
Rose::BinaryAnalysis::DataFlow::SemanticsMerge Class Reference

Description

Basic merge operation for instruction semantics.

This merge operator is for data-flow that uses an instruction semantics state.

Definition at line 218 of file DataFlow.h.

#include <Rose/BinaryAnalysis/DataFlow.h>

Public Member Functions

 SemanticsMerge (const InstructionSemantics::BaseSemantics::RiscOperatorsPtr &ops)
 
 SemanticsMerge (const InstructionSemantics::BaseSemantics::DispatcherPtr &cpu)
 
bool operator() (InstructionSemantics::BaseSemantics::StatePtr &dst, const InstructionSemantics::BaseSemantics::StatePtr &src) const
 

Constructor & Destructor Documentation

◆ SemanticsMerge() [1/2]

Rose::BinaryAnalysis::DataFlow::SemanticsMerge::SemanticsMerge ( const InstructionSemantics::BaseSemantics::RiscOperatorsPtr ops)
inlineexplicit

Definition at line 221 of file DataFlow.h.

◆ SemanticsMerge() [2/2]

Rose::BinaryAnalysis::DataFlow::SemanticsMerge::SemanticsMerge ( const InstructionSemantics::BaseSemantics::DispatcherPtr cpu)
inlineexplicit

Definition at line 222 of file DataFlow.h.

Member Function Documentation

◆ operator()()

bool Rose::BinaryAnalysis::DataFlow::SemanticsMerge::operator() ( InstructionSemantics::BaseSemantics::StatePtr dst,
const InstructionSemantics::BaseSemantics::StatePtr src 
) const
inline

Definition at line 224 of file DataFlow.h.


The documentation for this class was generated from the following file: