klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::KFunction Struct Reference

#include <KModule.h>

Collaboration diagram for klee::KFunction:

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 &)
 
KFunctionoperator= (const KFunction &)
 

Detailed Description

Definition at line 43 of file KModule.h.

Constructor & Destructor Documentation

klee::KFunction::KFunction ( const KFunction )
private
KFunction::KFunction ( llvm::Function *  _function,
KModule km 
)
explicit
KFunction::~KFunction ( )

Definition at line 631 of file KModule.cpp.

References instructions, and numInstructions.

Member Function Documentation

unsigned klee::KFunction::getArgRegister ( unsigned  index)
inline

Definition at line 65 of file KModule.h.

Referenced by klee::ExecutionState::dumpStack(), and klee::Executor::getArgumentCell().

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 51 of file KModule.h.

Referenced by KFunction(), and klee::Executor::transferToBasicBlock().

llvm::Function* klee::KFunction::function
unsigned klee::KFunction::numArgs

Definition at line 46 of file KModule.h.

Referenced by KFunction().

unsigned klee::KFunction::numInstructions
unsigned klee::KFunction::numRegisters

Definition at line 46 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 55 of file KModule.h.

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


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