klee::KFunction Struct Reference

#include <KModule.h>

Collaboration diagram for klee::KFunction:

[legend]

List of all members.

Public Member Functions
	KFunction (llvm::Function *, KModule *)
	~KFunction ()
unsigned	getArgRegister (unsigned index)
Public Attributes
llvm::Function *	function
unsigned	numArgs
unsigned	numRegisters
unsigned	numInstructions
KInstruction **	instructions
std::map< llvm::BasicBlock *, unsigned >	basicBlockEntry
bool	trackCoverage
Private Member Functions
	KFunction (const KFunction &)
KFunction &	operator= (const KFunction &)

---

Detailed Description

Definition at line 38 of file KModule.h.

---

Constructor & Destructor Documentation

klee::KFunction::KFunction

(

const KFunction &

)

[private]

KFunction::KFunction	(	llvm::Function *	_function,
		KModule *	km
	)			[explicit]

Definition at line 436 of file KModule.cpp.

References basicBlockEntry, klee::KInstruction::dest, function, klee::KModule::getConstantID(), klee::KInstruction::inst, instructions, numArgs, numInstructions, numRegisters, and klee::KInstruction::operands.

Here is the call graph for this function:

KFunction::~KFunction

(

)

Definition at line 502 of file KModule.cpp.

References instructions, and numInstructions.

---

Member Function Documentation

unsigned klee::KFunction::getArgRegister

(

unsigned

index

)

[inline]

Definition at line 60 of file KModule.h.

Referenced by klee::Executor::getArgumentCell(), and klee::Executor::terminateStateOnError().

Here is the caller graph for this function:

KFunction& klee::KFunction::operator=

(

const KFunction &

)

[private]

---

Member Data Documentation

std::map<llvm::BasicBlock*, unsigned> klee::KFunction::basicBlockEntry

Definition at line 46 of file KModule.h.

Referenced by KFunction().

llvm::Function* klee::KFunction::function

Definition at line 39 of file KModule.h.

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

KInstruction** klee::KFunction::instructions

Definition at line 44 of file KModule.h.

Referenced by klee::Executor::bindModuleConstants(), KFunction(), klee::KModule::prepare(), klee::StatsTracker::StatsTracker(), and ~KFunction().

unsigned klee::KFunction::numArgs

Definition at line 41 of file KModule.h.

Referenced by KFunction().

unsigned klee::KFunction::numInstructions

Definition at line 43 of file KModule.h.

Referenced by klee::Executor::bindModuleConstants(), KFunction(), klee::KModule::prepare(), klee::StatsTracker::StatsTracker(), and ~KFunction().

unsigned klee::KFunction::numRegisters

Definition at line 41 of file KModule.h.

Referenced by KFunction(), klee::ExecutionState::merge(), and klee::StackFrame::StackFrame().

bool klee::KFunction::trackCoverage

Whether instructions in this function should count as "coverable" for statistics and search heuristics.

Definition at line 50 of file KModule.h.

Referenced by klee::StatsTracker::StatsTracker(), and klee::StatsTracker::stepInstruction().

---

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

• include/klee/Internal/Module/KModule.h
• lib/Module/KModule.cpp