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 > 
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 )
KFunction::KFunction ( llvm::Function *  _function,
KModule km 
KFunction::~KFunction ( )

Definition at line 631 of file KModule.cpp.

References instructions, and numInstructions.

Member Function Documentation

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

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 )

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: