klee::StackFrame Struct Reference

#include <ExecutionState.h>

Collaboration diagram for klee::StackFrame:

[legend]

List of all members.

Public Member Functions
	StackFrame (KInstIterator caller, KFunction *kf)
	StackFrame (const StackFrame &s)
	~StackFrame ()
Public Attributes
KInstIterator	caller
KFunction *	kf
CallPathNode *	callPathNode
std::vector< const MemoryObject * >	allocas
Cell *	locals
unsigned	minDistToUncoveredOnReturn
MemoryObject *	varargs

---

Detailed Description

Definition at line 37 of file ExecutionState.h.

---

Constructor & Destructor Documentation

StackFrame::StackFrame	(	KInstIterator	caller,
		KFunction *	kf
	)

Definition at line 40 of file ExecutionState.cpp.

References kf, locals, and klee::KFunction::numRegisters.

StackFrame::StackFrame

(

const StackFrame &

s

)

Definition at line 46 of file ExecutionState.cpp.

References kf, locals, and klee::KFunction::numRegisters.

StackFrame::~StackFrame

(

)

Definition at line 58 of file ExecutionState.cpp.

References locals.

---

Member Data Documentation

std::vector<const MemoryObject*> klee::StackFrame::allocas

Definition at line 42 of file ExecutionState.h.

Referenced by klee::ExecutionState::popFrame().

KInstIterator klee::StackFrame::caller

Definition at line 38 of file ExecutionState.h.

Referenced by klee::StatsTracker::framePushed(), and klee::Executor::terminateStateOnError().

CallPathNode* klee::StackFrame::callPathNode

Definition at line 40 of file ExecutionState.h.

Referenced by klee::StatsTracker::framePushed(), klee::WeightedRandomSearcher::getWeight(), klee::Executor::processTimers(), and klee::StatsTracker::stepInstruction().

KFunction* klee::StackFrame::kf

Definition at line 39 of file ExecutionState.h.

Referenced by klee::StatsTracker::framePushed(), klee::ExecutionState::merge(), StackFrame(), klee::StatsTracker::stepInstruction(), and klee::Executor::terminateStateOnError().

Cell* klee::StackFrame::locals

Definition at line 43 of file ExecutionState.h.

Referenced by klee::Executor::eval(), klee::ExecutionState::merge(), StackFrame(), klee::Executor::terminateStateOnError(), and ~StackFrame().

unsigned klee::StackFrame::minDistToUncoveredOnReturn

Minimum distance to an uncovered instruction once the function returns. This is not a good place for this but is used to quickly compute the context sensitive minimum distance to an uncovered instruction. This value is updated by the StatsTracker periodically.

Definition at line 50 of file ExecutionState.h.

Referenced by klee::StatsTracker::framePushed(), and klee::Executor::processTimers().

MemoryObject* klee::StackFrame::varargs

Definition at line 57 of file ExecutionState.h.

---

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

• include/klee/ExecutionState.h
• lib/Core/ExecutionState.cpp