Description

Settings that directly control a partitioner.

These settings are specific to a Partitioner object.

Definition at line 343 of file BinaryAnalysis/Partitioner2/BasicTypes.h.

#include <Rose/BinaryAnalysis/Partitioner2/BasicTypes.h>

Public Attributes
bool	usingSemantics
	Whether instruction semantics are used. More...

bool	checkingCallBranch
	Check for situations where CALL is used as a branch. More...

bool	basicBlockSemanticsAutoDrop
	Conserve memory by dropping semantics for attached basic blocks. More...

bool	ignoringUnknownInsns
	Whether to ignore unkonwn insns when extending basic blocks. More...

Member Data Documentation

bool Rose::BinaryAnalysis::Partitioner2::BasePartitionerSettings::usingSemantics

Whether instruction semantics are used.

If semantics are used, then the partitioner will have more accurate reasoning about the control flow graph. For instance, semantics enable the detection of certain kinds of opaque predicates.

Definition at line 344 of file BinaryAnalysis/Partitioner2/BasicTypes.h.

Referenced by Rose::BinaryAnalysis::Partitioner2::Partitioner::disableSymbolicSemantics(), Rose::BinaryAnalysis::Partitioner2::Partitioner::enableSymbolicSemantics(), Rose::BinaryAnalysis::Partitioner2::JvmEngine::usingSemantics(), and Rose::BinaryAnalysis::Partitioner2::Partitioner::usingSymbolicSemantics().

bool Rose::BinaryAnalysis::Partitioner2::BasePartitionerSettings::checkingCallBranch

Check for situations where CALL is used as a branch.

Definition at line 348 of file BinaryAnalysis/Partitioner2/BasicTypes.h.

Referenced by Rose::BinaryAnalysis::Partitioner2::JvmEngine::checkingCallBranch(), and Rose::BinaryAnalysis::Partitioner2::Partitioner::checkingCallBranch().

bool Rose::BinaryAnalysis::Partitioner2::BasePartitionerSettings::basicBlockSemanticsAutoDrop

Conserve memory by dropping semantics for attached basic blocks.

Definition at line 349 of file BinaryAnalysis/Partitioner2/BasicTypes.h.

Referenced by Rose::BinaryAnalysis::Partitioner2::JvmEngine::basicBlockSemanticsAutoDrop(), and Rose::BinaryAnalysis::Partitioner2::Partitioner::basicBlockSemanticsAutoDrop().

bool Rose::BinaryAnalysis::Partitioner2::BasePartitionerSettings::ignoringUnknownInsns

Whether to ignore unkonwn insns when extending basic blocks.