File List

Here is a list of all files with brief descriptions:

[detail level 12345]

▼ docs
intro
overview
▼ include
► klee
► ADT
BitArray.h
Bits.h
DiscretePDF.h
DiscretePDF.inc
ImmutableMap.h
ImmutableSet.h
ImmutableTree.h
KTest.h
MapOfSets.h
Ref.h	Implements smart-pointer ref<> used by KLEE
RNG.h
TreeStream.h
► Config
Version.h
► Core
BranchTypes.h
Interpreter.h
TerminationTypes.h
► Expr
► Parser
Lexer.h
Parser.h
ArrayCache.h
ArrayExprHash.h
ArrayExprOptimizer.h
ArrayExprRewriter.h
ArrayExprVisitor.h
Assignment.h
AssignmentGenerator.h
Constraints.h
Expr.h
ExprBuilder.h
ExprEvaluator.h
ExprHashMap.h
ExprPPrinter.h
ExprRangeEvaluator.h
ExprSMTLIBPrinter.h
ExprUtil.h
ExprVisitor.h
► Module
Cell.h
InstructionInfoTable.h
KInstIterator.h
KInstruction.h
KModule.h
► Solver
Common.h
IncompleteSolver.h
Solver.h
SolverCmdLine.h
SolverImpl.h
SolverStats.h
► Statistics
Statistic.h
Statistics.h
TimerStatIncrementer.h
► Support
Casting.h
CompressionStream.h
ErrorHandling.h
FileHandling.h
FloatEvaluation.h
IntEvaluation.h
ModuleUtil.h
OptionCategories.h
PrintContext.h
PrintVersion.h
Timer.h
► System
MemoryUsage.h
Time.h
klee.h
▼ lib
► Basic
KTest.cpp
Statistics.cpp
► Core
AddressSpace.cpp
AddressSpace.h
CallPathManager.cpp
CallPathManager.h
Context.cpp
Context.h
CoreStats.cpp
CoreStats.h
ExecutionState.cpp
ExecutionState.h
Executor.cpp
Executor.h
ExecutorUtil.cpp
ExternalDispatcher.cpp
ExternalDispatcher.h
GetElementPtrTypeIterator.h
ImpliedValue.cpp
ImpliedValue.h
Memory.cpp
Memory.h
MemoryManager.cpp
MemoryManager.h
MergeHandler.cpp
MergeHandler.h	Implementation of the region based merging
PTree.cpp
PTree.h
Searcher.cpp
Searcher.h
SeedInfo.cpp
SeedInfo.h
SpecialFunctionHandler.cpp
SpecialFunctionHandler.h
StatsTracker.cpp
StatsTracker.h
TimingSolver.cpp
TimingSolver.h
UserSearcher.cpp
UserSearcher.h
► Expr
ArrayCache.cpp
ArrayExprOptimizer.cpp
ArrayExprRewriter.cpp
ArrayExprVisitor.cpp
Assignment.cpp
AssignmentGenerator.cpp
Constraints.cpp
Expr.cpp
ExprBuilder.cpp
ExprEvaluator.cpp
ExprPPrinter.cpp
ExprSMTLIBPrinter.cpp
ExprUtil.cpp
ExprVisitor.cpp
Lexer.cpp
Parser.cpp
Updates.cpp
► Module
Checks.cpp
FunctionAlias.cpp
InstructionInfoTable.cpp
InstructionOperandTypeCheckPass.cpp
IntrinsicCleaner.cpp
KInstruction.cpp
KLEEIRMetaData.h
KModule.cpp
LowerSwitch.cpp
ModuleUtil.cpp
Optimize.cpp
OptNone.cpp
Passes.h
PhiCleaner.cpp
RaiseAsm.cpp
WorkaroundLLVMPR39177.cpp
► Solver
AssignmentValidatingSolver.cpp
CachingSolver.cpp
CexCachingSolver.cpp
ConstantDivision.cpp
ConstantDivision.h
ConstructSolverChain.cpp
CoreSolver.cpp
DummySolver.cpp
FastCexSolver.cpp
IncompleteSolver.cpp
IndependentSolver.cpp
KQueryLoggingSolver.cpp
MetaSMTBuilder.h
MetaSMTSolver.cpp
MetaSMTSolver.h
QueryLoggingSolver.cpp
QueryLoggingSolver.h
SMTLIBLoggingSolver.cpp
Solver.cpp
SolverCmdLine.cpp
SolverImpl.cpp
SolverStats.cpp
STPBuilder.cpp
STPBuilder.h
STPSolver.cpp
STPSolver.h
ValidatingSolver.cpp
Z3Builder.cpp
Z3Builder.h
Z3Solver.cpp
Z3Solver.h
► Support
CompressionStream.cpp
ErrorHandling.cpp
FileHandling.cpp
MemoryUsage.cpp
PrintVersion.cpp
RNG.cpp
Time.cpp
Timer.cpp
TreeStream.cpp
▼ tools
► gen-bout
gen-bout.cpp
► gen-random-bout
gen-random-bout.cpp
► kleaver
main.cpp
► klee
main.cpp
► klee-replay
fd_init.c
file-creator.c
klee-replay.c
klee-replay.h
klee_init_env.c