klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Executor.cpp File Reference
#include "Common.h"
#include "Executor.h"
#include "Context.h"
#include "CoreStats.h"
#include "ExternalDispatcher.h"
#include "ImpliedValue.h"
#include "Memory.h"
#include "MemoryManager.h"
#include "PTree.h"
#include "Searcher.h"
#include "SeedInfo.h"
#include "SpecialFunctionHandler.h"
#include "StatsTracker.h"
#include "TimingSolver.h"
#include "UserSearcher.h"
#include "ExecutorTimerInfo.h"
#include "../Solver/SolverStats.h"
#include "klee/ExecutionState.h"
#include "klee/Expr.h"
#include "klee/Interpreter.h"
#include "klee/TimerStatIncrementer.h"
#include "klee/CommandLine.h"
#include "klee/Common.h"
#include "klee/util/Assignment.h"
#include "klee/util/ExprPPrinter.h"
#include "klee/util/ExprSMTLIBLetPrinter.h"
#include "klee/util/ExprUtil.h"
#include "klee/util/GetElementPtrTypeIterator.h"
#include "klee/Config/Version.h"
#include "klee/Internal/ADT/KTest.h"
#include "klee/Internal/ADT/RNG.h"
#include "klee/Internal/Module/Cell.h"
#include "klee/Internal/Module/InstructionInfoTable.h"
#include "klee/Internal/Module/KInstruction.h"
#include "klee/Internal/Module/KModule.h"
#include "klee/Internal/Support/FloatEvaluation.h"
#include "klee/Internal/System/Time.h"
#include "klee/Internal/System/MemoryUsage.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/Attributes.h"
#include "llvm/IR/BasicBlock.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/IntrinsicInst.h"
#include "llvm/IR/LLVMContext.h"
#include "llvm/IR/Module.h"
#include "llvm/IR/DataLayout.h"
#include "llvm/IR/TypeBuilder.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/Support/CallSite.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/Support/Process.h"
#include <cassert>
#include <algorithm>
#include <iomanip>
#include <iosfwd>
#include <fstream>
#include <sstream>
#include <vector>
#include <string>
#include <sys/mman.h>
#include <errno.h>
#include <cxxabi.h>

Go to the source code of this file.

Namespaces

 klee
 

Functions

void *__dso_handle __attribute__ ((__weak__))
 
static bool isDebugIntrinsic (const Function *f, KModule *KM)
 TODO remove? More...
 
static const llvm::fltSemantics * fpWidthToSemantics (unsigned width)
 
static std::set< std::string > okExternals (okExternalsList, okExternalsList+(sizeof(okExternalsList)/sizeof(okExternalsList[0])))
 

Variables

RNG klee::theRNG
 
static const char * okExternalsList []
 

Function Documentation

void* __dso_handle __attribute__ ( (__weak__)  )
static const llvm::fltSemantics* fpWidthToSemantics ( unsigned  width)
inlinestatic

Definition at line 1413 of file Executor.cpp.

References klee::Expr::Fl80, klee::Expr::Int32, and klee::Expr::Int64.

Referenced by klee::Executor::executeInstruction().

Here is the caller graph for this function:

static bool isDebugIntrinsic ( const Function *  f,
KModule KM 
)
static

TODO remove?

Definition at line 1409 of file Executor.cpp.

Referenced by klee::Executor::executeInstruction().

Here is the caller graph for this function:

static std::set<std::string> okExternals ( okExternalsList  ,
okExternalsList sizeof(okExternalsList)/sizeof(okExternalsList[0]) 
)
static

Referenced by klee::Executor::callExternalFunction().

Here is the caller graph for this function:

Variable Documentation

const char* okExternalsList[]
static
Initial value:
= { "printf",
"fprintf",
"puts",
"getpid" }

Definition at line 2819 of file Executor.cpp.