├── LICENSE.TXT ├── Makefile ├── Makefile.common ├── Makefile.config.in ├── Makefile.rules ├── README.txt ├── TODO.txt ├── autoconf ├── AutoRegen.sh ├── config.guess ├── config.sub ├── configure.ac └── install-sh ├── configure ├── docs ├── SMT-COMP │ ├── BitVector_ArraysEx.smt │ ├── BitVectors.smt │ ├── QF_AUFBV.smt │ └── QF_BV.smt ├── doxygen.cfg.in ├── intro └── overview ├── examples ├── get_sign │ └── get_sign.c ├── islower │ └── islower.c ├── regexp │ ├── Regexp.c │ └── notes.txt └── sort │ └── sort.c ├── include ├── expr │ ├── Lexer.h │ └── Parser.h └── klee │ ├── CommandLine.h │ ├── Common.h │ ├── Config │ ├── Version.h │ └── config.h.in │ ├── Constraints.h │ ├── ExecutionState.h │ ├── Expr.h │ ├── ExprBuilder.h │ ├── IncompleteSolver.h │ ├── Internal │ ├── ADT │ │ ├── DiscretePDF.h │ │ ├── DiscretePDF.inc │ │ ├── ImmutableMap.h │ │ ├── ImmutableSet.h │ │ ├── ImmutableTree.h │ │ ├── KTest.h │ │ ├── MapOfSets.h │ │ ├── RNG.h │ │ └── TreeStream.h │ ├── Module │ │ ├── Cell.h │ │ ├── InstructionInfoTable.h │ │ ├── KInstIterator.h │ │ ├── KInstruction.h │ │ └── KModule.h │ ├── README.txt │ ├── Support │ │ ├── FloatEvaluation.h │ │ ├── IntEvaluation.h │ │ ├── ModuleUtil.h │ │ ├── QueryLog.h │ │ └── Timer.h │ └── System │ │ └── Time.h │ ├── Interpreter.h │ ├── Solver.h │ ├── SolverImpl.h │ ├── Statistic.h │ ├── Statistics.h │ ├── TimerStatIncrementer.h │ ├── klee.h │ └── util │ ├── ArrayExprHash.h │ ├── Assignment.h │ ├── BitArray.h │ ├── Bits.h │ ├── ExprEvaluator.h │ ├── ExprHashMap.h │ ├── ExprPPrinter.h │ ├── ExprRangeEvaluator.h │ ├── ExprSMTLIBLetPrinter.h │ ├── ExprSMTLIBPrinter.h │ ├── ExprUtil.h │ ├── ExprVisitor.h │ ├── GetElementPtrTypeIterator.h │ ├── PrintContext.h │ └── Ref.h ├── lib ├── Basic │ ├── CmdLineOptions.cpp │ ├── ConstructSolverChain.cpp │ ├── KTest.cpp │ ├── Makefile │ ├── README.txt │ └── Statistics.cpp ├── Core │ ├── AddressSpace.cpp │ ├── AddressSpace.h │ ├── CallPathManager.cpp │ ├── CallPathManager.h │ ├── Common.cpp │ ├── Common.h │ ├── Context.cpp │ ├── Context.h │ ├── CoreStats.cpp │ ├── CoreStats.h │ ├── ExecutionState.cpp │ ├── Executor.cpp │ ├── Executor.h │ ├── ExecutorTimers.cpp │ ├── ExecutorUtil.cpp │ ├── ExternalDispatcher.cpp │ ├── ExternalDispatcher.h │ ├── ImpliedValue.cpp │ ├── ImpliedValue.h │ ├── Makefile │ ├── Memory.cpp │ ├── Memory.h │ ├── MemoryManager.cpp │ ├── MemoryManager.h │ ├── ObjectHolder.h │ ├── 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 │ ├── Constraints.cpp │ ├── Expr.cpp │ ├── ExprBuilder.cpp │ ├── ExprEvaluator.cpp │ ├── ExprPPrinter.cpp │ ├── ExprSMTLIBLetPrinter.cpp │ ├── ExprSMTLIBPrinter.cpp │ ├── ExprUtil.cpp │ ├── ExprVisitor.cpp │ ├── Lexer.cpp │ ├── Makefile │ ├── Parser.cpp │ └── Updates.cpp ├── Makefile ├── Module │ ├── Checks.cpp │ ├── InstructionInfoTable.cpp │ ├── IntrinsicCleaner.cpp │ ├── KInstruction.cpp │ ├── KModule.cpp │ ├── LowerSwitch.cpp │ ├── Makefile │ ├── ModuleUtil.cpp │ ├── Optimize.cpp │ ├── Passes.h │ ├── PhiCleaner.cpp │ └── RaiseAsm.cpp ├── README.txt ├── SMT │ ├── LICENSE.CVC3 │ ├── Makefile │ ├── SMTParser.cpp │ ├── SMTParser.h │ ├── main.cpp │ ├── smtlib.lex │ └── smtlib.y ├── Solver │ ├── CachingSolver.cpp │ ├── CexCachingSolver.cpp │ ├── ConstantDivision.cpp │ ├── ConstantDivision.h │ ├── FastCexSolver.cpp │ ├── IncompleteSolver.cpp │ ├── IndependentSolver.cpp │ ├── Makefile │ ├── PCLoggingSolver.cpp │ ├── QueryLoggingSolver.cpp │ ├── QueryLoggingSolver.h │ ├── SMTLIBLoggingSolver.cpp │ ├── STPBuilder.cpp │ ├── STPBuilder.h │ ├── Solver.cpp │ ├── SolverStats.cpp │ └── SolverStats.h └── Support │ ├── Makefile │ ├── README.txt │ ├── RNG.cpp │ ├── Time.cpp │ ├── Timer.cpp │ └── TreeStream.cpp ├── runtime ├── Intrinsic │ ├── Makefile │ ├── klee_div_zero_check.c │ ├── klee_int.c │ ├── klee_range.c │ ├── memcpy.c │ ├── memmove.c │ ├── mempcpy.c │ └── memset.c ├── Makefile ├── POSIX │ ├── Makefile │ ├── fd.c │ ├── fd.h │ ├── fd_32.c │ ├── fd_64.c │ ├── fd_init.c │ ├── illegal.c │ ├── klee_init_env.c │ ├── misc.c │ ├── selinux.c │ ├── stubs.c │ ├── testing-dir │ │ ├── a │ │ ├── b │ │ ├── c │ │ └── d │ └── testing-env ├── Runtest │ ├── Makefile │ └── intrinsics.c └── klee-libc │ ├── Makefile │ ├── __cxa_atexit.c │ ├── abort.c │ ├── atexit.c │ ├── atoi.c │ ├── calloc.c │ ├── htonl.c │ ├── klee-choose.c │ ├── memchr.c │ ├── memcmp.c │ ├── memcpy.c │ ├── memmove.c │ ├── mempcpy.c │ ├── memset.c │ ├── putchar.c │ ├── stpcpy.c │ ├── strcat.c │ ├── strchr.c │ ├── strcmp.c │ ├── strcoll.c │ ├── strcpy.c │ ├── strlen.c │ ├── strncmp.c │ ├── strncpy.c │ ├── strrchr.c │ ├── strtol.c │ ├── strtoul.c │ ├── tolower.c │ └── toupper.c ├── scripts ├── IStatsMerge.py ├── IStatsSum.py ├── klee-control ├── klee-gcc └── objdump ├── test ├── CXX │ ├── ArrayNew.cpp │ ├── New.cpp │ ├── SimpleVirtual.cpp │ ├── StaticConstructor.cpp │ ├── StaticDestructor.cpp │ ├── Trivial.cpp │ └── dg.exp ├── Concrete │ ├── BitwiseOps.ll │ ├── BoolReadWrite.ll │ ├── Casts.ll │ ├── CmpEq.ll │ ├── ConcreteTest.py │ ├── ConstantExpr.ll │ ├── FloatingPointOps.ll │ ├── GlobalInitializers.ll │ ├── GlobalUndef.ll │ ├── GlobalVariable.ll │ ├── ICmp.ll │ ├── InvokeAndReturn.ll │ ├── InvokeAndUnwindOnce.ll │ ├── InvokeAndUnwindTwice.ll │ ├── Makefile │ ├── OneCall.ll │ ├── OverlappingPhiNodes.ll │ ├── Select.ll │ ├── Shifts.ll │ ├── SimpleStoreAndLoad.ll │ ├── UnconditionalBranch.ll │ ├── UnconditionalBranchWithSimplePhi.ll │ ├── UnorderedPhiNodes.ll │ ├── _testingUtils.c │ ├── ackermann.c │ └── arith_test.ll ├── Coverage │ ├── ReadArgs.c │ ├── ReplayOutDir.c │ └── dg.exp ├── Dogfood │ ├── ImmutableSet.cpp │ └── dg.exp ├── Expr │ ├── Evaluate.pc │ ├── Evaluate2.pc │ ├── Lexer │ │ ├── Numbers.pc │ │ └── dg.exp │ ├── Parser │ │ ├── Concat64.pc │ │ ├── ConstantFolding.pc │ │ ├── Exprs.pc │ │ ├── MultiByteReads.pc │ │ ├── Simplify.pc │ │ ├── TypeChecking.pc │ │ └── dg.exp │ ├── dg.exp │ ├── print-smt.pc │ └── print-smt.smt2.good ├── Feature │ ├── Alias.c │ ├── AliasFunction.c │ ├── AliasFunctionExit.c │ ├── AsmAddresses.c │ ├── BitcastAlias.ll │ ├── ByteSwap.c │ ├── CallToUndefinedExternal.cpp │ ├── CheckForImpliedValue.c.failing │ ├── CheckMemoryAccess.c │ ├── ConstantStruct.ll │ ├── CopyOnWrite.c │ ├── DanglingConcreteReadExpr.c │ ├── DefineFixedObject.c │ ├── DoubleFree.c │ ├── DumpStatesOnHalt.c │ ├── Envp.c │ ├── ExprLogging.c │ ├── ExternalWeakLinkage.c │ ├── Float.c │ ├── FloatingPt.c │ ├── FunctionPointer.c │ ├── GetElementPtr.ll │ ├── GetValue.c │ ├── ImpliedValue.c.failing │ ├── InAndOutOfBounds.c │ ├── IndirectCallToBuiltin.c │ ├── IndirectCallToExternal.c │ ├── InsertExtractValue.ll │ ├── InvalidBitfieldAccess.c.failing │ ├── IsSymbolic.c │ ├── KleeReportError.c │ ├── LargeReturnTypes.cpp │ ├── LongDouble.cpp │ ├── LongDoubleSupport.c │ ├── LowerSwitch.c │ ├── MakeConcreteSymbolic.c │ ├── MakeSymbolicName.c │ ├── MemoryLimit.c │ ├── MultipleFreeResolution.c │ ├── MultipleReadResolution.c │ ├── MultipleReallocResolution.c │ ├── MultipleWriteResolution.c │ ├── NamedSeedMatching.c │ ├── OneFreeError.c │ ├── OneOutOfBounds.c │ ├── Optimize.c │ ├── Overflow.ll │ ├── OverlappedError.c │ ├── PreferCex.c │ ├── RaiseAsm.c │ ├── Realloc.c │ ├── ReplayPath.c │ ├── Searchers.c │ ├── SetForking.c │ ├── SolverTimeout.c │ ├── Vararg.c │ ├── WithLibc.c │ ├── WriteCov.c │ ├── _utils._ll │ ├── const_array_opt1.c │ ├── dg.exp │ └── utils.h ├── Makefile ├── Makefile.tests ├── Programs │ ├── dg.exp │ └── pcregrep.c ├── README ├── Runtime │ ├── POSIX │ │ ├── DirConsistency.c │ │ ├── DirSeek.c │ │ ├── FDNumbers.c │ │ ├── FD_Fail.c │ │ ├── FD_Fail2.c │ │ ├── Fcntl.c │ │ ├── FilePerm.c │ │ ├── FreeArgv.c │ │ ├── Getenv.c │ │ ├── Ioctl.c │ │ ├── Isatty.c │ │ ├── PrgName.c │ │ ├── Read1.c │ │ ├── SELinux.c │ │ ├── SeedAndFail.c │ │ ├── Stdin.c │ │ ├── Write1.c │ │ ├── Write2.c │ │ └── dg.exp │ └── Uclibc │ │ ├── 2007-10-08-optimization-calls-wrong-libc-functions.c │ │ ├── 2008-03-04-libc-atexit-uses-dso-handle.c │ │ ├── Environ.c │ │ └── dg.exp ├── Solver │ ├── FastCexSolver.pc │ ├── LargeIntegers.pc │ └── dg.exp ├── TestRunner.sh ├── lib │ └── llvm.exp ├── lit.cfg ├── lit.site.cfg.in └── regression │ ├── 2007-07-25-invalid-stp-array-binding-to-objectstate.c │ ├── 2007-07-30-unflushed-byte.c │ ├── 2007-08-01-bool-zext-in-call.ll │ ├── 2007-08-01-cache-unclear-on-overwrite-flushed.c │ ├── 2007-08-06-64bit-shift.c │ ├── 2007-08-06-access-after-free.c │ ├── 2007-08-08-free-zero.c │ ├── 2007-08-16-invalid-constant-value.c │ ├── 2007-08-16-valid-write-to-freed-object.c │ ├── 2007-10-11-free-of-alloca.c │ ├── 2007-10-11-illegal-access-after-free-and-branch.c │ ├── 2007-10-12-failed-make-symbolic-after-copy.c │ ├── 2008-03-04-free-of-global.c │ ├── 2008-03-11-free-of-malloc-zero.c │ ├── 2008-04-10-bad-alloca-free.c │ ├── 2008-05-23-gep-with-global-const.c │ ├── 2012-05-13-asm-causes-aborts.c │ └── dg.exp ├── tools ├── Makefile ├── gen-random-bout │ ├── Makefile │ └── gen-random-bout.cpp ├── kleaver │ ├── Makefile │ └── main.cpp ├── klee-replay │ ├── Makefile │ ├── fd_init.c │ ├── file-creator.c │ ├── klee-replay.c │ ├── klee-replay.h │ └── klee_init_env.c ├── klee-stats │ ├── Makefile │ └── klee-stats ├── klee │ ├── Debug.cpp │ ├── Makefile │ └── main.cpp └── ktest-tool │ ├── Makefile │ └── ktest-tool ├── unittests ├── Expr │ ├── ExprTest.cpp │ └── Makefile ├── Makefile ├── Ref │ ├── Makefile │ └── RefTest.cpp ├── Solver │ ├── Makefile │ └── SolverTest.cpp └── TestMain.cpp ├── utils ├── data │ └── Queries │ │ ├── pcresymperf-3.pc │ │ └── pcresymperf-4.pc ├── emacs │ └── klee-pc-mode.el ├── hacks │ └── TreeGraphs │ │ ├── Animate.py │ │ ├── DumpTreeStream.py │ │ ├── Graphics │ │ ├── Canvas │ │ │ └── __init__.py │ │ ├── Geometry │ │ │ ├── Intersect2D.py │ │ │ ├── __init__.py │ │ │ ├── mat2.py │ │ │ ├── mat3.py │ │ │ ├── mat4.py │ │ │ ├── quat.py │ │ │ ├── vec2.py │ │ │ ├── vec3.py │ │ │ └── vec4.py │ │ └── __init__.py │ │ ├── README.txt │ │ ├── TreeGraph.py │ │ └── inputs │ │ ├── symPaths.ts │ │ └── symPaths6.ts └── valgrind │ ├── README.txt │ ├── valgrind-llvm.supp │ └── valgrind-stp.supp └── www ├── content.css ├── content ├── coreutils_kc_0.png └── coreutils_kc_1.png ├── index.html ├── menu.css ├── menu.html.incl └── resources ├── Regexp.c.html ├── get_sign.c.html └── islower.c.html /LICENSE.TXT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/LICENSE.TXT -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/Makefile -------------------------------------------------------------------------------- /Makefile.common: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/Makefile.common -------------------------------------------------------------------------------- /Makefile.config.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/Makefile.config.in -------------------------------------------------------------------------------- /Makefile.rules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/Makefile.rules -------------------------------------------------------------------------------- /README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/README.txt -------------------------------------------------------------------------------- /TODO.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/TODO.txt -------------------------------------------------------------------------------- /autoconf/AutoRegen.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/autoconf/AutoRegen.sh -------------------------------------------------------------------------------- /autoconf/config.guess: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/autoconf/config.guess -------------------------------------------------------------------------------- /autoconf/config.sub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/autoconf/config.sub -------------------------------------------------------------------------------- /autoconf/configure.ac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/autoconf/configure.ac -------------------------------------------------------------------------------- /autoconf/install-sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/autoconf/install-sh -------------------------------------------------------------------------------- /configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/configure -------------------------------------------------------------------------------- /docs/SMT-COMP/BitVector_ArraysEx.smt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/docs/SMT-COMP/BitVector_ArraysEx.smt -------------------------------------------------------------------------------- /docs/SMT-COMP/BitVectors.smt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/docs/SMT-COMP/BitVectors.smt -------------------------------------------------------------------------------- /docs/SMT-COMP/QF_AUFBV.smt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/docs/SMT-COMP/QF_AUFBV.smt -------------------------------------------------------------------------------- /docs/SMT-COMP/QF_BV.smt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/docs/SMT-COMP/QF_BV.smt -------------------------------------------------------------------------------- /docs/doxygen.cfg.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/docs/doxygen.cfg.in -------------------------------------------------------------------------------- /docs/intro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/docs/intro -------------------------------------------------------------------------------- /docs/overview: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/docs/overview -------------------------------------------------------------------------------- /examples/get_sign/get_sign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/examples/get_sign/get_sign.c -------------------------------------------------------------------------------- /examples/islower/islower.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/examples/islower/islower.c -------------------------------------------------------------------------------- /examples/regexp/Regexp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/examples/regexp/Regexp.c -------------------------------------------------------------------------------- /examples/regexp/notes.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/examples/regexp/notes.txt -------------------------------------------------------------------------------- /examples/sort/sort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/examples/sort/sort.c -------------------------------------------------------------------------------- /include/expr/Lexer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/expr/Lexer.h -------------------------------------------------------------------------------- /include/expr/Parser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/expr/Parser.h -------------------------------------------------------------------------------- /include/klee/CommandLine.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/CommandLine.h -------------------------------------------------------------------------------- /include/klee/Common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Common.h -------------------------------------------------------------------------------- /include/klee/Config/Version.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Config/Version.h -------------------------------------------------------------------------------- /include/klee/Config/config.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Config/config.h.in -------------------------------------------------------------------------------- /include/klee/Constraints.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Constraints.h -------------------------------------------------------------------------------- /include/klee/ExecutionState.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/ExecutionState.h -------------------------------------------------------------------------------- /include/klee/Expr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Expr.h -------------------------------------------------------------------------------- /include/klee/ExprBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/ExprBuilder.h -------------------------------------------------------------------------------- /include/klee/IncompleteSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/IncompleteSolver.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/DiscretePDF.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Internal/ADT/DiscretePDF.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/DiscretePDF.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Internal/ADT/DiscretePDF.inc -------------------------------------------------------------------------------- /include/klee/Internal/ADT/ImmutableMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Internal/ADT/ImmutableMap.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/ImmutableSet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Internal/ADT/ImmutableSet.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/ImmutableTree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Internal/ADT/ImmutableTree.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/KTest.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Internal/ADT/KTest.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/MapOfSets.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Internal/ADT/MapOfSets.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/RNG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Internal/ADT/RNG.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/TreeStream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Internal/ADT/TreeStream.h -------------------------------------------------------------------------------- /include/klee/Internal/Module/Cell.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Internal/Module/Cell.h -------------------------------------------------------------------------------- /include/klee/Internal/Module/InstructionInfoTable.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Internal/Module/InstructionInfoTable.h -------------------------------------------------------------------------------- /include/klee/Internal/Module/KInstIterator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Internal/Module/KInstIterator.h -------------------------------------------------------------------------------- /include/klee/Internal/Module/KInstruction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Internal/Module/KInstruction.h -------------------------------------------------------------------------------- /include/klee/Internal/Module/KModule.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Internal/Module/KModule.h -------------------------------------------------------------------------------- /include/klee/Internal/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Internal/README.txt -------------------------------------------------------------------------------- /include/klee/Internal/Support/FloatEvaluation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Internal/Support/FloatEvaluation.h -------------------------------------------------------------------------------- /include/klee/Internal/Support/IntEvaluation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Internal/Support/IntEvaluation.h -------------------------------------------------------------------------------- /include/klee/Internal/Support/ModuleUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Internal/Support/ModuleUtil.h -------------------------------------------------------------------------------- /include/klee/Internal/Support/QueryLog.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Internal/Support/QueryLog.h -------------------------------------------------------------------------------- /include/klee/Internal/Support/Timer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Internal/Support/Timer.h -------------------------------------------------------------------------------- /include/klee/Internal/System/Time.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Internal/System/Time.h -------------------------------------------------------------------------------- /include/klee/Interpreter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Interpreter.h -------------------------------------------------------------------------------- /include/klee/Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Solver.h -------------------------------------------------------------------------------- /include/klee/SolverImpl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/SolverImpl.h -------------------------------------------------------------------------------- /include/klee/Statistic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Statistic.h -------------------------------------------------------------------------------- /include/klee/Statistics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/Statistics.h -------------------------------------------------------------------------------- /include/klee/TimerStatIncrementer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/TimerStatIncrementer.h -------------------------------------------------------------------------------- /include/klee/klee.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/klee.h -------------------------------------------------------------------------------- /include/klee/util/ArrayExprHash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/util/ArrayExprHash.h -------------------------------------------------------------------------------- /include/klee/util/Assignment.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/util/Assignment.h -------------------------------------------------------------------------------- /include/klee/util/BitArray.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/util/BitArray.h -------------------------------------------------------------------------------- /include/klee/util/Bits.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/util/Bits.h -------------------------------------------------------------------------------- /include/klee/util/ExprEvaluator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/util/ExprEvaluator.h -------------------------------------------------------------------------------- /include/klee/util/ExprHashMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/util/ExprHashMap.h -------------------------------------------------------------------------------- /include/klee/util/ExprPPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/util/ExprPPrinter.h -------------------------------------------------------------------------------- /include/klee/util/ExprRangeEvaluator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/util/ExprRangeEvaluator.h -------------------------------------------------------------------------------- /include/klee/util/ExprSMTLIBLetPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/util/ExprSMTLIBLetPrinter.h -------------------------------------------------------------------------------- /include/klee/util/ExprSMTLIBPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/util/ExprSMTLIBPrinter.h -------------------------------------------------------------------------------- /include/klee/util/ExprUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/util/ExprUtil.h -------------------------------------------------------------------------------- /include/klee/util/ExprVisitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/util/ExprVisitor.h -------------------------------------------------------------------------------- /include/klee/util/GetElementPtrTypeIterator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/util/GetElementPtrTypeIterator.h -------------------------------------------------------------------------------- /include/klee/util/PrintContext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/util/PrintContext.h -------------------------------------------------------------------------------- /include/klee/util/Ref.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/include/klee/util/Ref.h -------------------------------------------------------------------------------- /lib/Basic/CmdLineOptions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Basic/CmdLineOptions.cpp -------------------------------------------------------------------------------- /lib/Basic/ConstructSolverChain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Basic/ConstructSolverChain.cpp -------------------------------------------------------------------------------- /lib/Basic/KTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Basic/KTest.cpp -------------------------------------------------------------------------------- /lib/Basic/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Basic/Makefile -------------------------------------------------------------------------------- /lib/Basic/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Basic/README.txt -------------------------------------------------------------------------------- /lib/Basic/Statistics.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Basic/Statistics.cpp -------------------------------------------------------------------------------- /lib/Core/AddressSpace.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/AddressSpace.cpp -------------------------------------------------------------------------------- /lib/Core/AddressSpace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/AddressSpace.h -------------------------------------------------------------------------------- /lib/Core/CallPathManager.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/CallPathManager.cpp -------------------------------------------------------------------------------- /lib/Core/CallPathManager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/CallPathManager.h -------------------------------------------------------------------------------- /lib/Core/Common.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/Common.cpp -------------------------------------------------------------------------------- /lib/Core/Common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/Common.h -------------------------------------------------------------------------------- /lib/Core/Context.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/Context.cpp -------------------------------------------------------------------------------- /lib/Core/Context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/Context.h -------------------------------------------------------------------------------- /lib/Core/CoreStats.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/CoreStats.cpp -------------------------------------------------------------------------------- /lib/Core/CoreStats.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/CoreStats.h -------------------------------------------------------------------------------- /lib/Core/ExecutionState.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/ExecutionState.cpp -------------------------------------------------------------------------------- /lib/Core/Executor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/Executor.cpp -------------------------------------------------------------------------------- /lib/Core/Executor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/Executor.h -------------------------------------------------------------------------------- /lib/Core/ExecutorTimers.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/ExecutorTimers.cpp -------------------------------------------------------------------------------- /lib/Core/ExecutorUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/ExecutorUtil.cpp -------------------------------------------------------------------------------- /lib/Core/ExternalDispatcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/ExternalDispatcher.cpp -------------------------------------------------------------------------------- /lib/Core/ExternalDispatcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/ExternalDispatcher.h -------------------------------------------------------------------------------- /lib/Core/ImpliedValue.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/ImpliedValue.cpp -------------------------------------------------------------------------------- /lib/Core/ImpliedValue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/ImpliedValue.h -------------------------------------------------------------------------------- /lib/Core/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/Makefile -------------------------------------------------------------------------------- /lib/Core/Memory.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/Memory.cpp -------------------------------------------------------------------------------- /lib/Core/Memory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/Memory.h -------------------------------------------------------------------------------- /lib/Core/MemoryManager.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/MemoryManager.cpp -------------------------------------------------------------------------------- /lib/Core/MemoryManager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/MemoryManager.h -------------------------------------------------------------------------------- /lib/Core/ObjectHolder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/ObjectHolder.h -------------------------------------------------------------------------------- /lib/Core/PTree.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/PTree.cpp -------------------------------------------------------------------------------- /lib/Core/PTree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/PTree.h -------------------------------------------------------------------------------- /lib/Core/Searcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/Searcher.cpp -------------------------------------------------------------------------------- /lib/Core/Searcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/Searcher.h -------------------------------------------------------------------------------- /lib/Core/SeedInfo.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/SeedInfo.cpp -------------------------------------------------------------------------------- /lib/Core/SeedInfo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/SeedInfo.h -------------------------------------------------------------------------------- /lib/Core/SpecialFunctionHandler.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/SpecialFunctionHandler.cpp -------------------------------------------------------------------------------- /lib/Core/SpecialFunctionHandler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/SpecialFunctionHandler.h -------------------------------------------------------------------------------- /lib/Core/StatsTracker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/StatsTracker.cpp -------------------------------------------------------------------------------- /lib/Core/StatsTracker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/StatsTracker.h -------------------------------------------------------------------------------- /lib/Core/TimingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/TimingSolver.cpp -------------------------------------------------------------------------------- /lib/Core/TimingSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/TimingSolver.h -------------------------------------------------------------------------------- /lib/Core/UserSearcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/UserSearcher.cpp -------------------------------------------------------------------------------- /lib/Core/UserSearcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Core/UserSearcher.h -------------------------------------------------------------------------------- /lib/Expr/Constraints.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Expr/Constraints.cpp -------------------------------------------------------------------------------- /lib/Expr/Expr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Expr/Expr.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Expr/ExprBuilder.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprEvaluator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Expr/ExprEvaluator.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprPPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Expr/ExprPPrinter.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprSMTLIBLetPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Expr/ExprSMTLIBLetPrinter.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprSMTLIBPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Expr/ExprSMTLIBPrinter.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Expr/ExprUtil.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprVisitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Expr/ExprVisitor.cpp -------------------------------------------------------------------------------- /lib/Expr/Lexer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Expr/Lexer.cpp -------------------------------------------------------------------------------- /lib/Expr/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Expr/Makefile -------------------------------------------------------------------------------- /lib/Expr/Parser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Expr/Parser.cpp -------------------------------------------------------------------------------- /lib/Expr/Updates.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Expr/Updates.cpp -------------------------------------------------------------------------------- /lib/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Makefile -------------------------------------------------------------------------------- /lib/Module/Checks.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Module/Checks.cpp -------------------------------------------------------------------------------- /lib/Module/InstructionInfoTable.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Module/InstructionInfoTable.cpp -------------------------------------------------------------------------------- /lib/Module/IntrinsicCleaner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Module/IntrinsicCleaner.cpp -------------------------------------------------------------------------------- /lib/Module/KInstruction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Module/KInstruction.cpp -------------------------------------------------------------------------------- /lib/Module/KModule.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Module/KModule.cpp -------------------------------------------------------------------------------- /lib/Module/LowerSwitch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Module/LowerSwitch.cpp -------------------------------------------------------------------------------- /lib/Module/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Module/Makefile -------------------------------------------------------------------------------- /lib/Module/ModuleUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Module/ModuleUtil.cpp -------------------------------------------------------------------------------- /lib/Module/Optimize.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Module/Optimize.cpp -------------------------------------------------------------------------------- /lib/Module/Passes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Module/Passes.h -------------------------------------------------------------------------------- /lib/Module/PhiCleaner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Module/PhiCleaner.cpp -------------------------------------------------------------------------------- /lib/Module/RaiseAsm.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Module/RaiseAsm.cpp -------------------------------------------------------------------------------- /lib/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/README.txt -------------------------------------------------------------------------------- /lib/SMT/LICENSE.CVC3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/SMT/LICENSE.CVC3 -------------------------------------------------------------------------------- /lib/SMT/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/SMT/Makefile -------------------------------------------------------------------------------- /lib/SMT/SMTParser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/SMT/SMTParser.cpp -------------------------------------------------------------------------------- /lib/SMT/SMTParser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/SMT/SMTParser.h -------------------------------------------------------------------------------- /lib/SMT/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/SMT/main.cpp -------------------------------------------------------------------------------- /lib/SMT/smtlib.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/SMT/smtlib.lex -------------------------------------------------------------------------------- /lib/SMT/smtlib.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/SMT/smtlib.y -------------------------------------------------------------------------------- /lib/Solver/CachingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Solver/CachingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/CexCachingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Solver/CexCachingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/ConstantDivision.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Solver/ConstantDivision.cpp -------------------------------------------------------------------------------- /lib/Solver/ConstantDivision.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Solver/ConstantDivision.h -------------------------------------------------------------------------------- /lib/Solver/FastCexSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Solver/FastCexSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/IncompleteSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Solver/IncompleteSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/IndependentSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Solver/IndependentSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Solver/Makefile -------------------------------------------------------------------------------- /lib/Solver/PCLoggingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Solver/PCLoggingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/QueryLoggingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Solver/QueryLoggingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/QueryLoggingSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Solver/QueryLoggingSolver.h -------------------------------------------------------------------------------- /lib/Solver/SMTLIBLoggingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Solver/SMTLIBLoggingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/STPBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Solver/STPBuilder.cpp -------------------------------------------------------------------------------- /lib/Solver/STPBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Solver/STPBuilder.h -------------------------------------------------------------------------------- /lib/Solver/Solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Solver/Solver.cpp -------------------------------------------------------------------------------- /lib/Solver/SolverStats.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Solver/SolverStats.cpp -------------------------------------------------------------------------------- /lib/Solver/SolverStats.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Solver/SolverStats.h -------------------------------------------------------------------------------- /lib/Support/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Support/Makefile -------------------------------------------------------------------------------- /lib/Support/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Support/README.txt -------------------------------------------------------------------------------- /lib/Support/RNG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Support/RNG.cpp -------------------------------------------------------------------------------- /lib/Support/Time.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Support/Time.cpp -------------------------------------------------------------------------------- /lib/Support/Timer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Support/Timer.cpp -------------------------------------------------------------------------------- /lib/Support/TreeStream.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/lib/Support/TreeStream.cpp -------------------------------------------------------------------------------- /runtime/Intrinsic/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/Intrinsic/Makefile -------------------------------------------------------------------------------- /runtime/Intrinsic/klee_div_zero_check.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/Intrinsic/klee_div_zero_check.c -------------------------------------------------------------------------------- /runtime/Intrinsic/klee_int.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/Intrinsic/klee_int.c -------------------------------------------------------------------------------- /runtime/Intrinsic/klee_range.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/Intrinsic/klee_range.c -------------------------------------------------------------------------------- /runtime/Intrinsic/memcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/Intrinsic/memcpy.c -------------------------------------------------------------------------------- /runtime/Intrinsic/memmove.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/Intrinsic/memmove.c -------------------------------------------------------------------------------- /runtime/Intrinsic/mempcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/Intrinsic/mempcpy.c -------------------------------------------------------------------------------- /runtime/Intrinsic/memset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/Intrinsic/memset.c -------------------------------------------------------------------------------- /runtime/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/Makefile -------------------------------------------------------------------------------- /runtime/POSIX/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/POSIX/Makefile -------------------------------------------------------------------------------- /runtime/POSIX/fd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/POSIX/fd.c -------------------------------------------------------------------------------- /runtime/POSIX/fd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/POSIX/fd.h -------------------------------------------------------------------------------- /runtime/POSIX/fd_32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/POSIX/fd_32.c -------------------------------------------------------------------------------- /runtime/POSIX/fd_64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/POSIX/fd_64.c -------------------------------------------------------------------------------- /runtime/POSIX/fd_init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/POSIX/fd_init.c -------------------------------------------------------------------------------- /runtime/POSIX/illegal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/POSIX/illegal.c -------------------------------------------------------------------------------- /runtime/POSIX/klee_init_env.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/POSIX/klee_init_env.c -------------------------------------------------------------------------------- /runtime/POSIX/misc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/POSIX/misc.c -------------------------------------------------------------------------------- /runtime/POSIX/selinux.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/POSIX/selinux.c -------------------------------------------------------------------------------- /runtime/POSIX/stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/POSIX/stubs.c -------------------------------------------------------------------------------- /runtime/POSIX/testing-dir/a: -------------------------------------------------------------------------------- 1 | /dev/null -------------------------------------------------------------------------------- /runtime/POSIX/testing-dir/b: -------------------------------------------------------------------------------- 1 | /dev/random -------------------------------------------------------------------------------- /runtime/POSIX/testing-dir/c: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | echo "Hello world!" 3 | -------------------------------------------------------------------------------- /runtime/POSIX/testing-dir/d: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /runtime/POSIX/testing-env: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/POSIX/testing-env -------------------------------------------------------------------------------- /runtime/Runtest/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/Runtest/Makefile -------------------------------------------------------------------------------- /runtime/Runtest/intrinsics.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/Runtest/intrinsics.c -------------------------------------------------------------------------------- /runtime/klee-libc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/Makefile -------------------------------------------------------------------------------- /runtime/klee-libc/__cxa_atexit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/__cxa_atexit.c -------------------------------------------------------------------------------- /runtime/klee-libc/abort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/abort.c -------------------------------------------------------------------------------- /runtime/klee-libc/atexit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/atexit.c -------------------------------------------------------------------------------- /runtime/klee-libc/atoi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/atoi.c -------------------------------------------------------------------------------- /runtime/klee-libc/calloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/calloc.c -------------------------------------------------------------------------------- /runtime/klee-libc/htonl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/htonl.c -------------------------------------------------------------------------------- /runtime/klee-libc/klee-choose.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/klee-choose.c -------------------------------------------------------------------------------- /runtime/klee-libc/memchr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/memchr.c -------------------------------------------------------------------------------- /runtime/klee-libc/memcmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/memcmp.c -------------------------------------------------------------------------------- /runtime/klee-libc/memcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/memcpy.c -------------------------------------------------------------------------------- /runtime/klee-libc/memmove.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/memmove.c -------------------------------------------------------------------------------- /runtime/klee-libc/mempcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/mempcpy.c -------------------------------------------------------------------------------- /runtime/klee-libc/memset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/memset.c -------------------------------------------------------------------------------- /runtime/klee-libc/putchar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/putchar.c -------------------------------------------------------------------------------- /runtime/klee-libc/stpcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/stpcpy.c -------------------------------------------------------------------------------- /runtime/klee-libc/strcat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/strcat.c -------------------------------------------------------------------------------- /runtime/klee-libc/strchr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/strchr.c -------------------------------------------------------------------------------- /runtime/klee-libc/strcmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/strcmp.c -------------------------------------------------------------------------------- /runtime/klee-libc/strcoll.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/strcoll.c -------------------------------------------------------------------------------- /runtime/klee-libc/strcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/strcpy.c -------------------------------------------------------------------------------- /runtime/klee-libc/strlen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/strlen.c -------------------------------------------------------------------------------- /runtime/klee-libc/strncmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/strncmp.c -------------------------------------------------------------------------------- /runtime/klee-libc/strncpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/strncpy.c -------------------------------------------------------------------------------- /runtime/klee-libc/strrchr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/strrchr.c -------------------------------------------------------------------------------- /runtime/klee-libc/strtol.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/strtol.c -------------------------------------------------------------------------------- /runtime/klee-libc/strtoul.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/strtoul.c -------------------------------------------------------------------------------- /runtime/klee-libc/tolower.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/tolower.c -------------------------------------------------------------------------------- /runtime/klee-libc/toupper.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/runtime/klee-libc/toupper.c -------------------------------------------------------------------------------- /scripts/IStatsMerge.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/scripts/IStatsMerge.py -------------------------------------------------------------------------------- /scripts/IStatsSum.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/scripts/IStatsSum.py -------------------------------------------------------------------------------- /scripts/klee-control: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/scripts/klee-control -------------------------------------------------------------------------------- /scripts/klee-gcc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/scripts/klee-gcc -------------------------------------------------------------------------------- /scripts/objdump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/scripts/objdump -------------------------------------------------------------------------------- /test/CXX/ArrayNew.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/CXX/ArrayNew.cpp -------------------------------------------------------------------------------- /test/CXX/New.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/CXX/New.cpp -------------------------------------------------------------------------------- /test/CXX/SimpleVirtual.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/CXX/SimpleVirtual.cpp -------------------------------------------------------------------------------- /test/CXX/StaticConstructor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/CXX/StaticConstructor.cpp -------------------------------------------------------------------------------- /test/CXX/StaticDestructor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/CXX/StaticDestructor.cpp -------------------------------------------------------------------------------- /test/CXX/Trivial.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/CXX/Trivial.cpp -------------------------------------------------------------------------------- /test/CXX/dg.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/CXX/dg.exp -------------------------------------------------------------------------------- /test/Concrete/BitwiseOps.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/BitwiseOps.ll -------------------------------------------------------------------------------- /test/Concrete/BoolReadWrite.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/BoolReadWrite.ll -------------------------------------------------------------------------------- /test/Concrete/Casts.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/Casts.ll -------------------------------------------------------------------------------- /test/Concrete/CmpEq.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/CmpEq.ll -------------------------------------------------------------------------------- /test/Concrete/ConcreteTest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/ConcreteTest.py -------------------------------------------------------------------------------- /test/Concrete/ConstantExpr.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/ConstantExpr.ll -------------------------------------------------------------------------------- /test/Concrete/FloatingPointOps.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/FloatingPointOps.ll -------------------------------------------------------------------------------- /test/Concrete/GlobalInitializers.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/GlobalInitializers.ll -------------------------------------------------------------------------------- /test/Concrete/GlobalUndef.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/GlobalUndef.ll -------------------------------------------------------------------------------- /test/Concrete/GlobalVariable.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/GlobalVariable.ll -------------------------------------------------------------------------------- /test/Concrete/ICmp.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/ICmp.ll -------------------------------------------------------------------------------- /test/Concrete/InvokeAndReturn.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/InvokeAndReturn.ll -------------------------------------------------------------------------------- /test/Concrete/InvokeAndUnwindOnce.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/InvokeAndUnwindOnce.ll -------------------------------------------------------------------------------- /test/Concrete/InvokeAndUnwindTwice.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/InvokeAndUnwindTwice.ll -------------------------------------------------------------------------------- /test/Concrete/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/Makefile -------------------------------------------------------------------------------- /test/Concrete/OneCall.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/OneCall.ll -------------------------------------------------------------------------------- /test/Concrete/OverlappingPhiNodes.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/OverlappingPhiNodes.ll -------------------------------------------------------------------------------- /test/Concrete/Select.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/Select.ll -------------------------------------------------------------------------------- /test/Concrete/Shifts.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/Shifts.ll -------------------------------------------------------------------------------- /test/Concrete/SimpleStoreAndLoad.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/SimpleStoreAndLoad.ll -------------------------------------------------------------------------------- /test/Concrete/UnconditionalBranch.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/UnconditionalBranch.ll -------------------------------------------------------------------------------- /test/Concrete/UnconditionalBranchWithSimplePhi.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/UnconditionalBranchWithSimplePhi.ll -------------------------------------------------------------------------------- /test/Concrete/UnorderedPhiNodes.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/UnorderedPhiNodes.ll -------------------------------------------------------------------------------- /test/Concrete/_testingUtils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/_testingUtils.c -------------------------------------------------------------------------------- /test/Concrete/ackermann.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/ackermann.c -------------------------------------------------------------------------------- /test/Concrete/arith_test.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Concrete/arith_test.ll -------------------------------------------------------------------------------- /test/Coverage/ReadArgs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Coverage/ReadArgs.c -------------------------------------------------------------------------------- /test/Coverage/ReplayOutDir.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Coverage/ReplayOutDir.c -------------------------------------------------------------------------------- /test/Coverage/dg.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Coverage/dg.exp -------------------------------------------------------------------------------- /test/Dogfood/ImmutableSet.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Dogfood/ImmutableSet.cpp -------------------------------------------------------------------------------- /test/Dogfood/dg.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Dogfood/dg.exp -------------------------------------------------------------------------------- /test/Expr/Evaluate.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Expr/Evaluate.pc -------------------------------------------------------------------------------- /test/Expr/Evaluate2.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Expr/Evaluate2.pc -------------------------------------------------------------------------------- /test/Expr/Lexer/Numbers.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Expr/Lexer/Numbers.pc -------------------------------------------------------------------------------- /test/Expr/Lexer/dg.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Expr/Lexer/dg.exp -------------------------------------------------------------------------------- /test/Expr/Parser/Concat64.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Expr/Parser/Concat64.pc -------------------------------------------------------------------------------- /test/Expr/Parser/ConstantFolding.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Expr/Parser/ConstantFolding.pc -------------------------------------------------------------------------------- /test/Expr/Parser/Exprs.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Expr/Parser/Exprs.pc -------------------------------------------------------------------------------- /test/Expr/Parser/MultiByteReads.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Expr/Parser/MultiByteReads.pc -------------------------------------------------------------------------------- /test/Expr/Parser/Simplify.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Expr/Parser/Simplify.pc -------------------------------------------------------------------------------- /test/Expr/Parser/TypeChecking.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Expr/Parser/TypeChecking.pc -------------------------------------------------------------------------------- /test/Expr/Parser/dg.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Expr/Parser/dg.exp -------------------------------------------------------------------------------- /test/Expr/dg.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Expr/dg.exp -------------------------------------------------------------------------------- /test/Expr/print-smt.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Expr/print-smt.pc -------------------------------------------------------------------------------- /test/Expr/print-smt.smt2.good: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Expr/print-smt.smt2.good -------------------------------------------------------------------------------- /test/Feature/Alias.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/Alias.c -------------------------------------------------------------------------------- /test/Feature/AliasFunction.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/AliasFunction.c -------------------------------------------------------------------------------- /test/Feature/AliasFunctionExit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/AliasFunctionExit.c -------------------------------------------------------------------------------- /test/Feature/AsmAddresses.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/AsmAddresses.c -------------------------------------------------------------------------------- /test/Feature/BitcastAlias.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/BitcastAlias.ll -------------------------------------------------------------------------------- /test/Feature/ByteSwap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/ByteSwap.c -------------------------------------------------------------------------------- /test/Feature/CallToUndefinedExternal.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/CallToUndefinedExternal.cpp -------------------------------------------------------------------------------- /test/Feature/CheckForImpliedValue.c.failing: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/CheckForImpliedValue.c.failing -------------------------------------------------------------------------------- /test/Feature/CheckMemoryAccess.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/CheckMemoryAccess.c -------------------------------------------------------------------------------- /test/Feature/ConstantStruct.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/ConstantStruct.ll -------------------------------------------------------------------------------- /test/Feature/CopyOnWrite.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/CopyOnWrite.c -------------------------------------------------------------------------------- /test/Feature/DanglingConcreteReadExpr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/DanglingConcreteReadExpr.c -------------------------------------------------------------------------------- /test/Feature/DefineFixedObject.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/DefineFixedObject.c -------------------------------------------------------------------------------- /test/Feature/DoubleFree.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/DoubleFree.c -------------------------------------------------------------------------------- /test/Feature/DumpStatesOnHalt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/DumpStatesOnHalt.c -------------------------------------------------------------------------------- /test/Feature/Envp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/Envp.c -------------------------------------------------------------------------------- /test/Feature/ExprLogging.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/ExprLogging.c -------------------------------------------------------------------------------- /test/Feature/ExternalWeakLinkage.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/ExternalWeakLinkage.c -------------------------------------------------------------------------------- /test/Feature/Float.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/Float.c -------------------------------------------------------------------------------- /test/Feature/FloatingPt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/FloatingPt.c -------------------------------------------------------------------------------- /test/Feature/FunctionPointer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/FunctionPointer.c -------------------------------------------------------------------------------- /test/Feature/GetElementPtr.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/GetElementPtr.ll -------------------------------------------------------------------------------- /test/Feature/GetValue.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/GetValue.c -------------------------------------------------------------------------------- /test/Feature/ImpliedValue.c.failing: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/ImpliedValue.c.failing -------------------------------------------------------------------------------- /test/Feature/InAndOutOfBounds.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/InAndOutOfBounds.c -------------------------------------------------------------------------------- /test/Feature/IndirectCallToBuiltin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/IndirectCallToBuiltin.c -------------------------------------------------------------------------------- /test/Feature/IndirectCallToExternal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/IndirectCallToExternal.c -------------------------------------------------------------------------------- /test/Feature/InsertExtractValue.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/InsertExtractValue.ll -------------------------------------------------------------------------------- /test/Feature/InvalidBitfieldAccess.c.failing: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/InvalidBitfieldAccess.c.failing -------------------------------------------------------------------------------- /test/Feature/IsSymbolic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/IsSymbolic.c -------------------------------------------------------------------------------- /test/Feature/KleeReportError.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/KleeReportError.c -------------------------------------------------------------------------------- /test/Feature/LargeReturnTypes.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/LargeReturnTypes.cpp -------------------------------------------------------------------------------- /test/Feature/LongDouble.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/LongDouble.cpp -------------------------------------------------------------------------------- /test/Feature/LongDoubleSupport.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/LongDoubleSupport.c -------------------------------------------------------------------------------- /test/Feature/LowerSwitch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/LowerSwitch.c -------------------------------------------------------------------------------- /test/Feature/MakeConcreteSymbolic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/MakeConcreteSymbolic.c -------------------------------------------------------------------------------- /test/Feature/MakeSymbolicName.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/MakeSymbolicName.c -------------------------------------------------------------------------------- /test/Feature/MemoryLimit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/MemoryLimit.c -------------------------------------------------------------------------------- /test/Feature/MultipleFreeResolution.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/MultipleFreeResolution.c -------------------------------------------------------------------------------- /test/Feature/MultipleReadResolution.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/MultipleReadResolution.c -------------------------------------------------------------------------------- /test/Feature/MultipleReallocResolution.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/MultipleReallocResolution.c -------------------------------------------------------------------------------- /test/Feature/MultipleWriteResolution.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/MultipleWriteResolution.c -------------------------------------------------------------------------------- /test/Feature/NamedSeedMatching.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/NamedSeedMatching.c -------------------------------------------------------------------------------- /test/Feature/OneFreeError.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/OneFreeError.c -------------------------------------------------------------------------------- /test/Feature/OneOutOfBounds.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/OneOutOfBounds.c -------------------------------------------------------------------------------- /test/Feature/Optimize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/Optimize.c -------------------------------------------------------------------------------- /test/Feature/Overflow.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/Overflow.ll -------------------------------------------------------------------------------- /test/Feature/OverlappedError.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/OverlappedError.c -------------------------------------------------------------------------------- /test/Feature/PreferCex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/PreferCex.c -------------------------------------------------------------------------------- /test/Feature/RaiseAsm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/RaiseAsm.c -------------------------------------------------------------------------------- /test/Feature/Realloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/Realloc.c -------------------------------------------------------------------------------- /test/Feature/ReplayPath.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/ReplayPath.c -------------------------------------------------------------------------------- /test/Feature/Searchers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/Searchers.c -------------------------------------------------------------------------------- /test/Feature/SetForking.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/SetForking.c -------------------------------------------------------------------------------- /test/Feature/SolverTimeout.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/SolverTimeout.c -------------------------------------------------------------------------------- /test/Feature/Vararg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/Vararg.c -------------------------------------------------------------------------------- /test/Feature/WithLibc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/WithLibc.c -------------------------------------------------------------------------------- /test/Feature/WriteCov.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/WriteCov.c -------------------------------------------------------------------------------- /test/Feature/_utils._ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/_utils._ll -------------------------------------------------------------------------------- /test/Feature/const_array_opt1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/const_array_opt1.c -------------------------------------------------------------------------------- /test/Feature/dg.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/dg.exp -------------------------------------------------------------------------------- /test/Feature/utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Feature/utils.h -------------------------------------------------------------------------------- /test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Makefile -------------------------------------------------------------------------------- /test/Makefile.tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Makefile.tests -------------------------------------------------------------------------------- /test/Programs/dg.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Programs/dg.exp -------------------------------------------------------------------------------- /test/Programs/pcregrep.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Programs/pcregrep.c -------------------------------------------------------------------------------- /test/README: -------------------------------------------------------------------------------- 1 | about tests.... 2 | -------------------------------------------------------------------------------- /test/Runtime/POSIX/DirConsistency.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Runtime/POSIX/DirConsistency.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/DirSeek.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Runtime/POSIX/DirSeek.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/FDNumbers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Runtime/POSIX/FDNumbers.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/FD_Fail.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Runtime/POSIX/FD_Fail.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/FD_Fail2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Runtime/POSIX/FD_Fail2.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Fcntl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Runtime/POSIX/Fcntl.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/FilePerm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Runtime/POSIX/FilePerm.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/FreeArgv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Runtime/POSIX/FreeArgv.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Getenv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Runtime/POSIX/Getenv.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Ioctl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Runtime/POSIX/Ioctl.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Isatty.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Runtime/POSIX/Isatty.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/PrgName.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Runtime/POSIX/PrgName.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Read1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Runtime/POSIX/Read1.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/SELinux.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Runtime/POSIX/SELinux.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/SeedAndFail.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Runtime/POSIX/SeedAndFail.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Stdin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Runtime/POSIX/Stdin.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Write1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Runtime/POSIX/Write1.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Write2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Runtime/POSIX/Write2.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/dg.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Runtime/POSIX/dg.exp -------------------------------------------------------------------------------- /test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c -------------------------------------------------------------------------------- /test/Runtime/Uclibc/2008-03-04-libc-atexit-uses-dso-handle.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Runtime/Uclibc/2008-03-04-libc-atexit-uses-dso-handle.c -------------------------------------------------------------------------------- /test/Runtime/Uclibc/Environ.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Runtime/Uclibc/Environ.c -------------------------------------------------------------------------------- /test/Runtime/Uclibc/dg.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Runtime/Uclibc/dg.exp -------------------------------------------------------------------------------- /test/Solver/FastCexSolver.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Solver/FastCexSolver.pc -------------------------------------------------------------------------------- /test/Solver/LargeIntegers.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Solver/LargeIntegers.pc -------------------------------------------------------------------------------- /test/Solver/dg.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/Solver/dg.exp -------------------------------------------------------------------------------- /test/TestRunner.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/TestRunner.sh -------------------------------------------------------------------------------- /test/lib/llvm.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/lib/llvm.exp -------------------------------------------------------------------------------- /test/lit.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/lit.cfg -------------------------------------------------------------------------------- /test/lit.site.cfg.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/lit.site.cfg.in -------------------------------------------------------------------------------- /test/regression/2007-07-25-invalid-stp-array-binding-to-objectstate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/regression/2007-07-25-invalid-stp-array-binding-to-objectstate.c -------------------------------------------------------------------------------- /test/regression/2007-07-30-unflushed-byte.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/regression/2007-07-30-unflushed-byte.c -------------------------------------------------------------------------------- /test/regression/2007-08-01-bool-zext-in-call.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/regression/2007-08-01-bool-zext-in-call.ll -------------------------------------------------------------------------------- /test/regression/2007-08-01-cache-unclear-on-overwrite-flushed.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/regression/2007-08-01-cache-unclear-on-overwrite-flushed.c -------------------------------------------------------------------------------- /test/regression/2007-08-06-64bit-shift.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/regression/2007-08-06-64bit-shift.c -------------------------------------------------------------------------------- /test/regression/2007-08-06-access-after-free.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/regression/2007-08-06-access-after-free.c -------------------------------------------------------------------------------- /test/regression/2007-08-08-free-zero.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/regression/2007-08-08-free-zero.c -------------------------------------------------------------------------------- /test/regression/2007-08-16-invalid-constant-value.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/regression/2007-08-16-invalid-constant-value.c -------------------------------------------------------------------------------- /test/regression/2007-08-16-valid-write-to-freed-object.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/regression/2007-08-16-valid-write-to-freed-object.c -------------------------------------------------------------------------------- /test/regression/2007-10-11-free-of-alloca.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/regression/2007-10-11-free-of-alloca.c -------------------------------------------------------------------------------- /test/regression/2007-10-11-illegal-access-after-free-and-branch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/regression/2007-10-11-illegal-access-after-free-and-branch.c -------------------------------------------------------------------------------- /test/regression/2007-10-12-failed-make-symbolic-after-copy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/regression/2007-10-12-failed-make-symbolic-after-copy.c -------------------------------------------------------------------------------- /test/regression/2008-03-04-free-of-global.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/regression/2008-03-04-free-of-global.c -------------------------------------------------------------------------------- /test/regression/2008-03-11-free-of-malloc-zero.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/regression/2008-03-11-free-of-malloc-zero.c -------------------------------------------------------------------------------- /test/regression/2008-04-10-bad-alloca-free.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/regression/2008-04-10-bad-alloca-free.c -------------------------------------------------------------------------------- /test/regression/2008-05-23-gep-with-global-const.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/regression/2008-05-23-gep-with-global-const.c -------------------------------------------------------------------------------- /test/regression/2012-05-13-asm-causes-aborts.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/regression/2012-05-13-asm-causes-aborts.c -------------------------------------------------------------------------------- /test/regression/dg.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/test/regression/dg.exp -------------------------------------------------------------------------------- /tools/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/tools/Makefile -------------------------------------------------------------------------------- /tools/gen-random-bout/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/tools/gen-random-bout/Makefile -------------------------------------------------------------------------------- /tools/gen-random-bout/gen-random-bout.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/tools/gen-random-bout/gen-random-bout.cpp -------------------------------------------------------------------------------- /tools/kleaver/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/tools/kleaver/Makefile -------------------------------------------------------------------------------- /tools/kleaver/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/tools/kleaver/main.cpp -------------------------------------------------------------------------------- /tools/klee-replay/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/tools/klee-replay/Makefile -------------------------------------------------------------------------------- /tools/klee-replay/fd_init.c: -------------------------------------------------------------------------------- 1 | #include "../../runtime/POSIX/fd_init.c" 2 | -------------------------------------------------------------------------------- /tools/klee-replay/file-creator.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/tools/klee-replay/file-creator.c -------------------------------------------------------------------------------- /tools/klee-replay/klee-replay.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/tools/klee-replay/klee-replay.c -------------------------------------------------------------------------------- /tools/klee-replay/klee-replay.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/tools/klee-replay/klee-replay.h -------------------------------------------------------------------------------- /tools/klee-replay/klee_init_env.c: -------------------------------------------------------------------------------- 1 | #include "../../runtime/POSIX/klee_init_env.c" 2 | -------------------------------------------------------------------------------- /tools/klee-stats/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/tools/klee-stats/Makefile -------------------------------------------------------------------------------- /tools/klee-stats/klee-stats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/tools/klee-stats/klee-stats -------------------------------------------------------------------------------- /tools/klee/Debug.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/tools/klee/Debug.cpp -------------------------------------------------------------------------------- /tools/klee/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/tools/klee/Makefile -------------------------------------------------------------------------------- /tools/klee/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/tools/klee/main.cpp -------------------------------------------------------------------------------- /tools/ktest-tool/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/tools/ktest-tool/Makefile -------------------------------------------------------------------------------- /tools/ktest-tool/ktest-tool: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/tools/ktest-tool/ktest-tool -------------------------------------------------------------------------------- /unittests/Expr/ExprTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/unittests/Expr/ExprTest.cpp -------------------------------------------------------------------------------- /unittests/Expr/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/unittests/Expr/Makefile -------------------------------------------------------------------------------- /unittests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/unittests/Makefile -------------------------------------------------------------------------------- /unittests/Ref/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/unittests/Ref/Makefile -------------------------------------------------------------------------------- /unittests/Ref/RefTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/unittests/Ref/RefTest.cpp -------------------------------------------------------------------------------- /unittests/Solver/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/unittests/Solver/Makefile -------------------------------------------------------------------------------- /unittests/Solver/SolverTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/unittests/Solver/SolverTest.cpp -------------------------------------------------------------------------------- /unittests/TestMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/unittests/TestMain.cpp -------------------------------------------------------------------------------- /utils/data/Queries/pcresymperf-3.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/utils/data/Queries/pcresymperf-3.pc -------------------------------------------------------------------------------- /utils/data/Queries/pcresymperf-4.pc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/utils/data/Queries/pcresymperf-4.pc -------------------------------------------------------------------------------- /utils/emacs/klee-pc-mode.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/utils/emacs/klee-pc-mode.el -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Animate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/utils/hacks/TreeGraphs/Animate.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/DumpTreeStream.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/utils/hacks/TreeGraphs/DumpTreeStream.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Canvas/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/utils/hacks/TreeGraphs/Graphics/Canvas/__init__.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/Intersect2D.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/utils/hacks/TreeGraphs/Graphics/Geometry/Intersect2D.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/mat2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/utils/hacks/TreeGraphs/Graphics/Geometry/mat2.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/mat3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/utils/hacks/TreeGraphs/Graphics/Geometry/mat3.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/mat4.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/utils/hacks/TreeGraphs/Graphics/Geometry/mat4.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/quat.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/utils/hacks/TreeGraphs/Graphics/Geometry/quat.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/vec2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/utils/hacks/TreeGraphs/Graphics/Geometry/vec2.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/vec3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/utils/hacks/TreeGraphs/Graphics/Geometry/vec3.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/vec4.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/utils/hacks/TreeGraphs/Graphics/Geometry/vec4.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/utils/hacks/TreeGraphs/Graphics/__init__.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/utils/hacks/TreeGraphs/README.txt -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/TreeGraph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/utils/hacks/TreeGraphs/TreeGraph.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/inputs/symPaths.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/utils/hacks/TreeGraphs/inputs/symPaths.ts -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/inputs/symPaths6.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/utils/hacks/TreeGraphs/inputs/symPaths6.ts -------------------------------------------------------------------------------- /utils/valgrind/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/utils/valgrind/README.txt -------------------------------------------------------------------------------- /utils/valgrind/valgrind-llvm.supp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/utils/valgrind/valgrind-llvm.supp -------------------------------------------------------------------------------- /utils/valgrind/valgrind-stp.supp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/utils/valgrind/valgrind-stp.supp -------------------------------------------------------------------------------- /www/content.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/www/content.css -------------------------------------------------------------------------------- /www/content/coreutils_kc_0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/www/content/coreutils_kc_0.png -------------------------------------------------------------------------------- /www/content/coreutils_kc_1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/www/content/coreutils_kc_1.png -------------------------------------------------------------------------------- /www/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/www/index.html -------------------------------------------------------------------------------- /www/menu.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/www/menu.css -------------------------------------------------------------------------------- /www/menu.html.incl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/www/menu.html.incl -------------------------------------------------------------------------------- /www/resources/Regexp.c.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/www/resources/Regexp.c.html -------------------------------------------------------------------------------- /www/resources/get_sign.c.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/www/resources/get_sign.c.html -------------------------------------------------------------------------------- /www/resources/islower.c.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/llvm-mirror/klee/HEAD/www/resources/islower.c.html --------------------------------------------------------------------------------