klee
Public Member Functions | Public Attributes | List of all members
klee::KFunction Struct Reference

#include <KModule.h>

Collaboration diagram for klee::KFunction:
Collaboration graph
[legend]

Public Member Functions

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

Definition at line 424 of file KModule.cpp.

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

Here is the call graph for this function:

◆ 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

Definition at line 43 of file KModule.h.

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

◆ instructions

KInstruction** klee::KFunction::instructions

Definition at line 48 of file KModule.h.

Referenced by klee::Executor::bindModuleConstants(), klee::Executor::executeCall(), KFunction(), klee::StatsTracker::StatsTracker(), klee::Executor::transferToBasicBlock(), klee::Executor::unwindToNextLandingpad(), and ~KFunction().

◆ numArgs

unsigned klee::KFunction::numArgs

Definition at line 45 of file KModule.h.

Referenced by KFunction().

◆ numInstructions

unsigned klee::KFunction::numInstructions

Definition at line 47 of file KModule.h.

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

◆ 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: