klee
klee::KFunction Struct Reference

#include <KModule.h>

Collaboration diagram for klee::KFunction:

Public Member Functions

 KFunction (llvm::Function *, KModule *)
 
 KFunction (const KFunction &)=delete
 
KFunctionoperator= (const KFunction &)=delete
 
 ~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
 

Detailed Description

Definition at line 42 of file KModule.h.

Constructor & Destructor Documentation

◆ KFunction() [1/2]

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

◆ KFunction() [2/2]

klee::KFunction::KFunction ( const KFunction )
delete

◆ ~KFunction()

KFunction::~KFunction ( )

Definition at line 499 of file KModule.cpp.

References instructions, and numInstructions.

Member Function Documentation

◆ getArgRegister()

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

Definition at line 63 of file KModule.h.

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

Here is the caller graph for this function:

◆ operator=()

KFunction & klee::KFunction::operator= ( const KFunction )
delete

Member Data Documentation

◆ basicBlockEntry

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

Definition at line 50 of file KModule.h.

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

◆ function

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

◆ instructions

◆ numArgs

unsigned klee::KFunction::numArgs

Definition at line 45 of file KModule.h.

Referenced by KFunction().

◆ numInstructions

unsigned klee::KFunction::numInstructions

◆ numRegisters

unsigned klee::KFunction::numRegisters

Definition at line 45 of file KModule.h.

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

◆ trackCoverage

bool klee::KFunction::trackCoverage

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

Definition at line 54 of file KModule.h.

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


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