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. More...

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

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

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

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. More...

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