Description

Adds taint information to all symbolic values.

Classes
class	RiscOperators
	Defines RISC operators for the TaintSemantics domain. More...

class	SValue
	Type of values manipulated by the SymbolicSemantics domain. More...

Typedefs
using	ExprPtr = SymbolicSemantics::ExprPtr

using	ExprNode = SymbolicSemantics::ExprNode

using	Merger = SymbolicSemantics::Merger
	Controls merging of tainted values.

using	MergerPtr = Sawyer::SharedPointer< Merger >
	Shared-ownership pointer for a merge control object.

using	SValuePtr = Sawyer::SharedPointer< class SValue >
	Shared-ownership pointer for symbolic semantic value.

using	Formatter = SymbolicSemantics::Formatter
	Formatter for taint values.

using	RegisterState = SymbolicSemantics::RegisterState

using	RegisterStatePtr = SymbolicSemantics::RegisterStatePtr

using	MemoryListState = SymbolicSemantics::MemoryListState

using	MemoryListStatePtr = SymbolicSemantics::MemoryListStatePtr

using	MemoryMapState = SymbolicSemantics::MemoryMapState

using	MemoryMapStatePtr = SymbolicSemantics::MemoryMapStatePtr

using	MemoryState = MemoryListState

using	MemoryStatePtr = MemoryListStatePtr

using	State = SymbolicSemantics::State

using	StatePtr = SymbolicSemantics::StatePtr

using	RiscOperatorsPtr = boost::shared_ptr< class RiscOperators >
	Shared-ownership pointer to symbolic RISC operations.

Enumerations
enum class	Taintedness { BOTTOM , UNTAINTED , TAINTED , TOP }
	Whether a value is tainted. More...

Typedef Documentation

◆ ExprPtr

using Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::ExprPtr = typedef SymbolicSemantics::ExprPtr

Definition at line 24 of file TaintSemantics.h.

◆ ExprNode

using Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::ExprNode = typedef SymbolicSemantics::ExprNode

Definition at line 25 of file TaintSemantics.h.

◆ Merger

using Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::Merger = typedef SymbolicSemantics::Merger

Controls merging of tainted values.

Definition at line 32 of file TaintSemantics.h.

◆ MergerPtr

using Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::MergerPtr = typedef Sawyer::SharedPointer<Merger>

Shared-ownership pointer for a merge control object.

Definition at line 35 of file TaintSemantics.h.

◆ SValuePtr

using Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::SValuePtr = typedef Sawyer::SharedPointer<class SValue>

Shared-ownership pointer for symbolic semantic value.

Definition at line 43 of file TaintSemantics.h.

◆ Formatter

using Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::Formatter = typedef SymbolicSemantics::Formatter

Formatter for taint values.

Definition at line 46 of file TaintSemantics.h.

◆ RegisterState

using Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RegisterState = typedef SymbolicSemantics::RegisterState

Definition at line 216 of file TaintSemantics.h.

◆ RegisterStatePtr

using Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RegisterStatePtr = typedef SymbolicSemantics::RegisterStatePtr

Definition at line 217 of file TaintSemantics.h.

◆ MemoryListState

using Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::MemoryListState = typedef SymbolicSemantics::MemoryListState

Definition at line 224 of file TaintSemantics.h.

◆ MemoryListStatePtr

using Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::MemoryListStatePtr = typedef SymbolicSemantics::MemoryListStatePtr

Definition at line 225 of file TaintSemantics.h.

◆ MemoryMapState

using Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::MemoryMapState = typedef SymbolicSemantics::MemoryMapState

Definition at line 227 of file TaintSemantics.h.

◆ MemoryMapStatePtr

using Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::MemoryMapStatePtr = typedef SymbolicSemantics::MemoryMapStatePtr

Definition at line 228 of file TaintSemantics.h.

◆ MemoryState

using Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::MemoryState = typedef MemoryListState

Definition at line 230 of file TaintSemantics.h.

◆ MemoryStatePtr

using Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::MemoryStatePtr = typedef MemoryListStatePtr

Definition at line 231 of file TaintSemantics.h.

◆ State

using Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::State = typedef SymbolicSemantics::State

Definition at line 238 of file TaintSemantics.h.

◆ StatePtr

using Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::StatePtr = typedef SymbolicSemantics::StatePtr

Definition at line 239 of file TaintSemantics.h.

◆ RiscOperatorsPtr

using Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::RiscOperatorsPtr = typedef boost::shared_ptr<class RiscOperators>

Shared-ownership pointer to symbolic RISC operations.

Definition at line 247 of file TaintSemantics.h.

Enumeration Type Documentation

◆ Taintedness

enum class Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics::Taintedness

strong

Whether a value is tainted.

Enumerator
BOTTOM	Neither tainted nor untainted.
UNTAINTED	Untainted.
TAINTED	Tainted.
TOP	Both tainted and untainted at the same time.

Definition at line 17 of file TaintSemantics.h.