#include <KModule.h>

Public Member Functions
KConstant *	getKConstant (const llvm::Constant *c)

	KModule ()=default

void	optimiseAndPrepare (const Interpreter::ModuleOptions &opts, llvm::ArrayRef< const char * >)
	Optimise and prepare module such that KLEE can execute it. More...

void	manifest (InterpreterHandler *ih, bool forceSourceOutput)

bool	link (std::vector< std::unique_ptr< llvm::Module > > &modules, const std::string &entryPoint)

void	instrument (const Interpreter::ModuleOptions &opts)

unsigned	getConstantID (llvm::Constant c, KInstruction ki)
	Return an id for the given constant, creating a new one if necessary. More...

void	checkModule ()

Public Attributes
std::unique_ptr< llvm::Module >	module

std::unique_ptr< llvm::DataLayout >	targetData

std::vector< std::unique_ptr< KFunction > >	functions

std::map< llvm::Function , KFunction >	functionMap

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

std::unique_ptr< InstructionInfoTable >	infos

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

std::map< const llvm::Constant *, std::unique_ptr< KConstant > >	constantMap

std::unique_ptr< Cell[]>	constantTable

std::set< const llvm::Function * >	internalFunctions

Private Member Functions
void	addInternalFunction (const char *functionName)

Detailed Description

Definition at line 83 of file KModule.h.

Constructor & Destructor Documentation

◆ KModule()

klee::KModule::KModule ( )

default

Member Function Documentation

◆ addInternalFunction()

void KModule::addInternalFunction ( const char * functionName )

private

Definition at line 199 of file KModule.cpp.

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

Referenced by optimiseAndPrepare().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ checkModule()

void KModule::checkModule ( )

Run passes that check if module is valid LLVM IR and if invariants expected by KLEE's Executor hold.

Definition at line 360 of file KModule.cpp.

References klee::InstructionOperandTypeCheckPass::checkPassed(), klee::klee_error(), and module.

Here is the call graph for this function:

◆ getConstantID()

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

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

Definition at line 385 of file KModule.cpp.

References constantMap, constants, and getKConstant().

Referenced by getOperandNum().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ getKConstant()

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

Definition at line 378 of file KModule.cpp.

References constantMap.

Referenced by getConstantID().

Here is the caller graph for this function:

◆ instrument()

void KModule::instrument ( const Interpreter::ModuleOptions & opts )

Definition at line 227 of file KModule.cpp.

References klee::Interpreter::ModuleOptions::CheckDivZero, klee::Interpreter::ModuleOptions::CheckOvershift, module, and targetData.

◆ link()

bool KModule::link	(	std::vector< std::unique_ptr< llvm::Module > > &	modules,
		const std::string &	entryPoint
	)

Link the provided modules together as one KLEE module.

If the entry point is empty, all modules are linked together. If the entry point is not empty, all modules are linked which resolve the dependencies of the module containing entryPoint

Parameters