klee::StackFrame Struct Reference

#include <ExecutionState.h>

Collaboration diagram for klee::StackFrame:

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 41 of file ExecutionState.h.

Constructor & Destructor Documentation

StackFrame() [1/2]

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

Definition at line 49 of file ExecutionState.cpp.

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

StackFrame() [2/2]

StackFrame::StackFrame

(

const StackFrame &

s

)

Definition at line 55 of file ExecutionState.cpp.

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

~StackFrame()

StackFrame::~StackFrame

(

)

Definition at line 67 of file ExecutionState.cpp.

References locals.

Member Data Documentation

allocas

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

Definition at line 46 of file ExecutionState.h.

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

caller

KInstIterator klee::StackFrame::caller

Definition at line 42 of file ExecutionState.h.

Referenced by klee::ExecutionState::dumpStack(), and klee::StatsTracker::framePushed().

callPathNode

CallPathNode* klee::StackFrame::callPathNode

Definition at line 44 of file ExecutionState.h.

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

kf

KFunction* klee::StackFrame::kf

Definition at line 43 of file ExecutionState.h.

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

locals

Cell* klee::StackFrame::locals

Definition at line 47 of file ExecutionState.h.

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

minDistToUncoveredOnReturn

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 54 of file ExecutionState.h.

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

varargs

MemoryObject* klee::StackFrame::varargs

Definition at line 61 of file ExecutionState.h.

Referenced by klee::Executor::executeCall().

---

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

• /Users/cristic/klee/lib/Core/ExecutionState.h
• /Users/cristic/klee/lib/Core/ExecutionState.cpp