Home
last modified time | relevance | path

Searched refs:KModule (Results 1 – 6 of 6) sorted by relevance

/dports/security/klee/klee-2.2/include/klee/Module/
H A DKModule.h39 class KModule; variable
57 explicit KFunction(llvm::Function*, KModule *);
83 class KModule {
112 KModule() = default;
H A DKInstruction.h28 class KModule; variable
/dports/security/klee/klee-2.2/lib/Module/
H A DKModule.cpp204 void KModule::addInternalFunction(const char* functionName){ in addInternalFunction()
215 bool KModule::link(std::vector<std::unique_ptr<llvm::Module>> &modules, in link()
232 void KModule::instrument(const Interpreter::ModuleOptions &opts) { in instrument()
257 void KModule::optimiseAndPrepare( in optimiseAndPrepare()
302 void KModule::manifest(InterpreterHandler *ih, bool forceSourceOutput) { in manifest()
365 void KModule::checkModule() { in checkModule()
383 KConstant* KModule::getKConstant(const Constant *c) { in getKConstant()
390 unsigned KModule::getConstantID(Constant *c, KInstruction* ki) { in getConstantID()
413 KModule *km, in getOperandNum()
430 KModule *km) in KFunction()
/dports/security/klee/klee-2.2/lib/Core/
H A DExecutor.h67 class KModule; variable
124 std::unique_ptr<KModule> kmodule;
H A DStatsTracker.cpp188 KModule *km = executor.kmodule.get(); in StatsTracker()
778 KModule *km = executor.kmodule.get();
H A DExecutor.cpp518 kmodule = std::unique_ptr<KModule>(new KModule()); in setModule()