A helper class for describing the similarity of the boolean condition between 2 CBRANCH operations. More...

#include <condexe.hh>

Public Member Functions
bool	verifyCondition (PcodeOp op, PcodeOp iop)
	Perform the correlation test on two CBRANCH operations.

int4	getMultiSlot (void) const
	Get the MULTIEQUAL slot in the critical path.

bool	getFlip (void) const
	Return true if the expressions are anti-correlated.

Private Attributes
bool	matchflip
	True if the compared CBRANCH keys on the opposite boolean value of the root.

Static Private Attributes
static const int4	maxDepth = 1
	Maximum depth to trace a boolean expression.

Detailed Description

A helper class for describing the similarity of the boolean condition between 2 CBRANCH operations.

This class determines if two CBRANCHs share the same condition. It also determines if the conditions are complements of each other, and/or they are shared along only one path.

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

/builds/appsec/reveng-binrw/ghidraplusplus/src/dec/condexe.hh
/builds/appsec/reveng-binrw/ghidraplusplus/src/dec/condexe.cc

Public Member Functions

Private Attributes

Static Private Attributes

Detailed Description