klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::KModule Class Reference

#include <KModule.h>

Collaboration diagram for klee::KModule:

Public Member Functions

KConstantgetKConstant (llvm::Constant *c)
 
 KModule (llvm::Module *_module)
 
 ~KModule ()
 
void prepare (const Interpreter::ModuleOptions &opts, InterpreterHandler *ihandler)
 Initialize local data structures. More...
 
unsigned getConstantID (llvm::Constant *c, KInstruction *ki)
 Return an id for the given constant, creating a new one if necessary. More...
 

Public Attributes

llvm::Module * module
 
llvm::TargetData * targetData
 
llvm::Function * dbgStopPointFn
 
llvm::Function * kleeMergeFn
 
std::vector< KFunction * > functions
 
std::map< llvm::Function
*, KFunction * > 
functionMap
 
std::set< llvm::Function * > escapingFunctions
 
InstructionInfoTableinfos
 
std::vector< llvm::Constant * > constants
 
std::map< llvm::Constant
*, KConstant * > 
constantMap
 
CellconstantTable
 
std::set< const llvm::Function * > internalFunctions
 

Private Member Functions

void addInternalFunction (const char *functionName)
 

Detailed Description

Definition at line 85 of file KModule.h.

Constructor & Destructor Documentation

KModule::KModule ( llvm::Module *  _module)

Definition at line 101 of file KModule.cpp.

KModule::~KModule ( )

Definition at line 113 of file KModule.cpp.

References constantMap, constantTable, functions, infos, module, and targetData.

Member Function Documentation

void KModule::addInternalFunction ( const char *  functionName)
private

Definition at line 270 of file KModule.cpp.

References internalFunctions, klee::klee_message(), klee::klee_warning(), and module.

Referenced by prepare().

Here is the call graph for this function:

Here is the caller graph for this function:

unsigned KModule::getConstantID ( llvm::Constant *  c,
KInstruction ki 
)

Return an id for the given constant, creating a new one if necessary.

Definition at line 521 of file KModule.cpp.

References constantMap, constants, getKConstant(), and klee::KConstant::id.

Referenced by getOperandNum().

Here is the call graph for this function:

Here is the caller graph for this function:

KConstant * KModule::getKConstant ( llvm::Constant *  c)

Definition at line 514 of file KModule.cpp.

References constantMap.

Referenced by getConstantID().

Here is the caller graph for this function:

Member Data Documentation

std::map<llvm::Constant*, KConstant*> klee::KModule::constantMap

Definition at line 108 of file KModule.h.

Referenced by getConstantID(), getKConstant(), and ~KModule().

std::vector<llvm::Constant*> klee::KModule::constants

Definition at line 107 of file KModule.h.

Referenced by klee::Executor::bindModuleConstants(), and getConstantID().

Cell* klee::KModule::constantTable

Definition at line 111 of file KModule.h.

Referenced by klee::Executor::bindModuleConstants(), klee::Executor::eval(), and ~KModule().

llvm::Function* klee::KModule::dbgStopPointFn

Definition at line 95 of file KModule.h.

std::set<llvm::Function*> klee::KModule::escapingFunctions

Definition at line 103 of file KModule.h.

Referenced by klee::StatsTracker::computeReachableUncovered(), and prepare().

std::map<llvm::Function*, KFunction*> klee::KModule::functionMap
std::vector<KFunction*> klee::KModule::functions
std::set<const llvm::Function*> klee::KModule::internalFunctions
llvm::Function * klee::KModule::kleeMergeFn

Definition at line 95 of file KModule.h.

Referenced by prepare().


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