klee::ExprEvaluator Class Reference

#include <ExprEvaluator.h>

Inheritance diagram for klee::ExprEvaluator:

[legend]

Collaboration diagram for klee::ExprEvaluator:

[legend]

List of all members.

Public Member Functions
	ExprEvaluator ()
virtual ref< Expr >	getInitialValue (const Array &os, unsigned index)=0
Protected Member Functions
Action	evalRead (const UpdateList &ul, unsigned index)
Action	visitRead (const ReadExpr &re)
Action	protectedDivOperation (const BinaryExpr &e)
Action	visitUDiv (const UDivExpr &e)
Action	visitSDiv (const SDivExpr &e)
Action	visitURem (const URemExpr &e)
Action	visitSRem (const SRemExpr &e)

---

Detailed Description

Definition at line 17 of file ExprEvaluator.h.

---

Constructor & Destructor Documentation

klee::ExprEvaluator::ExprEvaluator

(

)

[inline]

Definition at line 29 of file ExprEvaluator.h.

---

Member Function Documentation

ExprVisitor::Action ExprEvaluator::evalRead	(	const UpdateList &	ul,
		unsigned	index
	)			[protected]

Definition at line 14 of file ExprEvaluator.cpp.

References klee::ConstantExpr::alloc(), klee::ExprVisitor::ExprVisitor::Action::changeTo(), klee::ReadExpr::create(), getInitialValue(), klee::UpdateList::head, klee::Expr::Int32, klee::UpdateNode::next, klee::UpdateList::root, and klee::ExprVisitor::visit().

Referenced by visitRead().

Here is the call graph for this function:

Here is the caller graph for this function:

virtual ref<Expr> klee::ExprEvaluator::getInitialValue	(	const Array &	os,
		unsigned	index
	)			[pure virtual]

Implemented in CexConstifier, and klee::AssignmentEvaluator.

Referenced by evalRead().

Here is the caller graph for this function:

ExprVisitor::Action ExprEvaluator::protectedDivOperation

(

const BinaryExpr &

e

)

[protected]

Definition at line 49 of file ExprEvaluator.cpp.

References klee::ExprVisitor::ExprVisitor::Action::changeTo(), klee::BinaryExpr::left, klee::Expr::rebuild(), klee::BinaryExpr::right, klee::ExprVisitor::ExprVisitor::Action::skipChildren(), and klee::ExprVisitor::visit().

Referenced by visitSDiv(), visitSRem(), visitUDiv(), and visitURem().

Here is the call graph for this function:

Here is the caller graph for this function:

ExprVisitor::Action ExprEvaluator::visitRead

(

const ReadExpr &

re

)

[protected, virtual]

Reimplemented from klee::ExprVisitor.

Definition at line 36 of file ExprEvaluator.cpp.

References klee::ExprVisitor::ExprVisitor::Action::doChildren(), evalRead(), klee::ReadExpr::index, klee::ReadExpr::updates, and klee::ExprVisitor::visit().

Here is the call graph for this function:

ExprVisitor::Action ExprEvaluator::visitSDiv

(

const SDivExpr &

e

)

[protected, virtual]

Reimplemented from klee::ExprVisitor.

Definition at line 67 of file ExprEvaluator.cpp.

References protectedDivOperation().

Here is the call graph for this function:

ExprVisitor::Action ExprEvaluator::visitSRem

(

const SRemExpr &

e

)

[protected, virtual]

Reimplemented from klee::ExprVisitor.

Definition at line 73 of file ExprEvaluator.cpp.

References protectedDivOperation().

Here is the call graph for this function:

ExprVisitor::Action ExprEvaluator::visitUDiv

(

const UDivExpr &

e

)

[protected, virtual]

Reimplemented from klee::ExprVisitor.

Definition at line 64 of file ExprEvaluator.cpp.

References protectedDivOperation().

Here is the call graph for this function:

ExprVisitor::Action ExprEvaluator::visitURem

(

const URemExpr &

e

)

[protected, virtual]

Reimplemented from klee::ExprVisitor.

Definition at line 70 of file ExprEvaluator.cpp.

References protectedDivOperation().

Here is the call graph for this function:

---

The documentation for this class was generated from the following files:

• include/klee/util/ExprEvaluator.h
• lib/Expr/ExprEvaluator.cpp