ROSE  0.11.98.0
Classes | Typedefs | Enumerations
Rose::BinaryAnalysis::InstructionSemantics::TaintSemantics Namespace Reference

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

Typedef Documentation

Controls merging of tainted values.

Definition at line 32 of file TaintSemantics.h.

Shared-ownership pointer for a merge control object.

See Shared ownership.

Definition at line 35 of file TaintSemantics.h.

Shared-ownership pointer for symbolic semantic value.

See Shared ownership.

Definition at line 43 of file TaintSemantics.h.

Formatter for taint values.

Definition at line 46 of file TaintSemantics.h.

Shared-ownership pointer to symbolic RISC operations.

See Shared ownership.

Definition at line 247 of file TaintSemantics.h.

Enumeration Type Documentation

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.