ROSE
0.11.109.0
|
Settings that directly control a partitioner.
These settings are specific to a Partitioner object.
Definition at line 345 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... | |
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 346 of file BinaryAnalysis/Partitioner2/BasicTypes.h.
Referenced by Rose::BinaryAnalysis::Partitioner2::Partitioner::disableSymbolicSemantics(), Rose::BinaryAnalysis::Partitioner2::Partitioner::enableSymbolicSemantics(), Rose::BinaryAnalysis::Partitioner2::EngineJvm::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 350 of file BinaryAnalysis/Partitioner2/BasicTypes.h.
Referenced by Rose::BinaryAnalysis::Partitioner2::EngineJvm::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 351 of file BinaryAnalysis/Partitioner2/BasicTypes.h.
Referenced by Rose::BinaryAnalysis::Partitioner2::EngineJvm::basicBlockSemanticsAutoDrop(), and Rose::BinaryAnalysis::Partitioner2::Partitioner::basicBlockSemanticsAutoDrop().
bool Rose::BinaryAnalysis::Partitioner2::BasePartitionerSettings::ignoringUnknownInsns |
Whether to ignore unkonwn insns when extending basic blocks.
Definition at line 352 of file BinaryAnalysis/Partitioner2/BasicTypes.h.
Referenced by Rose::BinaryAnalysis::Partitioner2::EngineJvm::ignoringUnknownInsns().