Rose::BinaryAnalysis::FeasiblePath::Expression Struct Reference

Description

Expression to be evaluated.

If the expression is a string, then the string is parsed to create a symbolic expression, substituting registers and memory from a supplied semantic state.

If the expression is an expression tree, then the expression is used directly.

Definition at line 71 of file FeasiblePath.h.

#include <Rose/BinaryAnalysis/FeasiblePath.h>

Collaboration diagram for Rose::BinaryAnalysis::FeasiblePath::Expression:

Public Member Functions
	Expression (const std::string &parsable)
	Expression (const SymbolicExpressionPtr &expr)
void	print (std::ostream &) const

Public Attributes
AddressIntervalSet	location
	Location where constraint applies.
std::string	parsable
	String to be parsed as an expression.
SymbolicExpressionPtr	expr
	Symbolic expression.

Constructor & Destructor Documentation

Expression() [1/3]

Rose::BinaryAnalysis::FeasiblePath::Expression::Expression ( )

inline

Definition at line 76 of file FeasiblePath.h.

Expression() [2/3]

Rose::BinaryAnalysis::FeasiblePath::Expression::Expression ( const std::string &  parsable )

inline

Definition at line 77 of file FeasiblePath.h.

Expression() [3/3]

Rose::BinaryAnalysis::FeasiblePath::Expression::Expression ( const SymbolicExpressionPtr &  expr )

inline

Definition at line 78 of file FeasiblePath.h.

Member Data Documentation

location

AddressIntervalSet Rose::BinaryAnalysis::FeasiblePath::Expression::location

Location where constraint applies.

Empty implies end-of-path.

Definition at line 72 of file FeasiblePath.h.

parsable

std::string Rose::BinaryAnalysis::FeasiblePath::Expression::parsable

String to be parsed as an expression.

Definition at line 73 of file FeasiblePath.h.

expr

SymbolicExpressionPtr Rose::BinaryAnalysis::FeasiblePath::Expression::expr

Symbolic expression.

Definition at line 74 of file FeasiblePath.h.

---

The documentation for this struct was generated from the following file:

• FeasiblePath.h