├── .clang-format ├── .dockerignore ├── .gitattributes ├── .gitignore ├── .travis.yml ├── .travis ├── install-llvm-and-runtime-compiler.sh ├── install-tcmalloc.sh ├── klee.sh ├── metaSMT.sh ├── sanitizer_flags.sh ├── solvers.sh ├── stp.sh └── testing-utils.sh ├── CMakeLists.txt ├── Dockerfile ├── LICENSE.TXT ├── Makefile ├── Makefile.common ├── Makefile.config.in ├── Makefile.rules ├── MetaSMT.mk ├── NEWS ├── README-CMake.md ├── README.md ├── TODO.txt ├── autoconf ├── AutoRegen.sh ├── config.guess ├── config.sub ├── configure.ac └── install-sh ├── cmake ├── GetGitRevisionDescription.cmake ├── GetGitRevisionDescription.cmake.in ├── add_global_flag.cmake ├── c_flags_override.cmake ├── compiler_warnings.cmake ├── cxx_flags_override.cmake ├── find_bitcode_compiler.cmake ├── find_llvm.cmake ├── find_metasmt.cmake ├── klee_add_component.cmake ├── klee_component_add_cxx_flag.cmake ├── modules │ └── FindZ3.cmake └── string_to_list.cmake ├── configure ├── docs ├── CMakeLists.txt ├── 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 │ ├── ASContext.h │ ├── AllocationRecord.h │ ├── CommandLine.h │ ├── Common.h │ ├── Config │ ├── CompileTimeInfo.h.cmin │ ├── Version.h │ ├── config.h.cmin │ └── 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 │ ├── Analysis │ │ ├── AAPass.h │ │ ├── Annotator.h │ │ ├── Cloner.h │ │ ├── Inliner.h │ │ ├── ModRefAnalysis.h │ │ ├── ReachabilityAnalysis.h │ │ ├── SVFPointerAnalysis.h │ │ ├── SliceGenerator.h │ │ └── Slicer.h │ ├── Module │ │ ├── Cell.h │ │ ├── InstructionInfoTable.h │ │ ├── KInstIterator.h │ │ ├── KInstruction.h │ │ └── KModule.h │ ├── README.txt │ ├── Support │ │ ├── CompressionStream.h │ │ ├── Debug.h │ │ ├── ErrorHandling.h │ │ ├── FloatEvaluation.h │ │ ├── IntEvaluation.h │ │ ├── ModuleUtil.h │ │ ├── PrintVersion.h │ │ ├── QueryLog.h │ │ └── Timer.h │ └── System │ │ ├── MemoryUsage.h │ │ └── Time.h │ ├── Interpreter.h │ ├── Solver.h │ ├── SolverImpl.h │ ├── SolverStats.h │ ├── Statistic.h │ ├── Statistics.h │ ├── TimerStatIncrementer.h │ ├── klee.h │ └── util │ ├── ArrayCache.h │ ├── ArrayExprHash.h │ ├── Assignment.h │ ├── BitArray.h │ ├── Bits.h │ ├── ExprEvaluator.h │ ├── ExprHashMap.h │ ├── ExprPPrinter.h │ ├── ExprRangeEvaluator.h │ ├── ExprSMTLIBPrinter.h │ ├── ExprUtil.h │ ├── ExprVisitor.h │ ├── GetElementPtrTypeIterator.h │ ├── PrintContext.h │ └── Ref.h ├── lib ├── Analysis │ ├── AAPass.cpp │ ├── Annotator.cpp │ ├── CMakeLists.txt │ ├── Cloner.cpp │ ├── Inliner.cpp │ ├── ModRefAnalysis.cpp │ ├── ReachabilityAnalysis.cpp │ ├── SVFPointerAnalysis.cpp │ ├── SliceGenerator.cpp │ └── Slicer.cpp ├── Basic │ ├── CMakeLists.txt │ ├── CmdLineOptions.cpp │ ├── ConstructSolverChain.cpp │ ├── KTest.cpp │ ├── Makefile │ ├── README.txt │ └── Statistics.cpp ├── CMakeLists.txt ├── Core │ ├── ASContext.cpp │ ├── AddressSpace.cpp │ ├── AddressSpace.h │ ├── AllocationRecord.cpp │ ├── CMakeLists.txt │ ├── CallPathManager.cpp │ ├── CallPathManager.h │ ├── Context.cpp │ ├── Context.h │ ├── CoreStats.cpp │ ├── CoreStats.h │ ├── ExecutionState.cpp │ ├── Executor.cpp │ ├── Executor.h │ ├── ExecutorTimerInfo.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 │ ├── ArrayCache.cpp │ ├── Assigment.cpp │ ├── CMakeLists.txt │ ├── Constraints.cpp │ ├── Expr.cpp │ ├── ExprBuilder.cpp │ ├── ExprEvaluator.cpp │ ├── ExprPPrinter.cpp │ ├── ExprSMTLIBPrinter.cpp │ ├── ExprUtil.cpp │ ├── ExprVisitor.cpp │ ├── Lexer.cpp │ ├── Makefile │ ├── Parser.cpp │ └── Updates.cpp ├── Makefile ├── Module │ ├── CMakeLists.txt │ ├── Checks.cpp │ ├── InstructionInfoTable.cpp │ ├── IntrinsicCleaner.cpp │ ├── KInstruction.cpp │ ├── KModule.cpp │ ├── LowerSwitch.cpp │ ├── Makefile │ ├── ModuleUtil.cpp │ ├── Optimize.cpp │ ├── Passes.h │ ├── PhiCleaner.cpp │ ├── RaiseAsm.cpp │ └── ReturnToVoidFunctionPass.cpp ├── README.txt ├── Solver │ ├── CMakeLists.txt │ ├── CachingSolver.cpp │ ├── CexCachingSolver.cpp │ ├── ConstantDivision.cpp │ ├── ConstantDivision.h │ ├── CoreSolver.cpp │ ├── DummySolver.cpp │ ├── FastCexSolver.cpp │ ├── IncompleteSolver.cpp │ ├── IndependentSolver.cpp │ ├── KQueryLoggingSolver.cpp │ ├── Makefile │ ├── MetaSMTBuilder.h │ ├── MetaSMTSolver.cpp │ ├── QueryLoggingSolver.cpp │ ├── QueryLoggingSolver.h │ ├── SMTLIBLoggingSolver.cpp │ ├── STPBuilder.cpp │ ├── STPBuilder.h │ ├── STPSolver.cpp │ ├── Solver.cpp │ ├── SolverImpl.cpp │ ├── SolverStats.cpp │ ├── ValidatingSolver.cpp │ ├── Z3Builder.cpp │ ├── Z3Builder.h │ └── Z3Solver.cpp └── Support │ ├── CMakeLists.txt │ ├── CompressionStream.cpp │ ├── ErrorHandling.cpp │ ├── Makefile │ ├── MemoryUsage.cpp │ ├── PrintVersion.cpp │ ├── README.txt │ ├── RNG.cpp │ ├── Time.cpp │ ├── Timer.cpp │ └── TreeStream.cpp ├── runtime ├── CMakeLists.txt ├── Intrinsic │ ├── Makefile │ ├── Makefile.cmake.bitcode │ ├── klee_div_zero_check.c │ ├── klee_init_args.c │ ├── klee_int.c │ ├── klee_overshift_check.c │ ├── klee_range.c │ ├── memcpy.c │ ├── memmove.c │ ├── mempcpy.c │ └── memset.c ├── Makefile ├── Makefile.cmake.bitcode ├── Makefile.cmake.bitcode.config.in ├── Makefile.cmake.bitcode.rules ├── POSIX │ ├── Makefile │ ├── Makefile.cmake.bitcode │ ├── 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 ├── Runtest │ ├── CMakeLists.txt │ ├── Makefile │ └── intrinsics.c ├── klee-libc │ ├── Makefile │ ├── Makefile.cmake.bitcode │ ├── __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 │ ├── strndup.c │ ├── strnlen.c │ ├── strrchr.c │ ├── strtol.c │ ├── strtoul.c │ ├── tolower.c │ └── toupper.c └── klee-uclibc │ └── Makefile ├── scripts ├── IStatsMerge.py ├── IStatsSum.py ├── coverageServer.py ├── genTempFiles.sh ├── klee-chroot-env ├── klee-clang ├── klee-control ├── klee-gcc └── objdump ├── test ├── CMakeLists.txt ├── CXX │ ├── ArrayNew.cpp │ ├── New.cpp │ ├── SimpleVirtual.cpp │ ├── StaticConstructor.cpp │ ├── StaticDestructor.cpp │ └── Trivial.cpp ├── Concrete │ ├── BitwiseOps.ll │ ├── BoolReadWrite.ll │ ├── CMakeLists.txt │ ├── Casts.ll │ ├── CmpEq.ll │ ├── ConcreteTest.py │ ├── ConstantExpr.ll │ ├── FloatingPointOps.ll │ ├── GlobalInitializers.ll │ ├── GlobalUndef.ll │ ├── GlobalVariable.ll │ ├── ICmp.ll │ ├── Makefile │ ├── Makefile.cmake.test.in │ ├── OneCall.ll │ ├── OverlappingPhiNodes.ll │ ├── README.txt │ ├── Select.ll │ ├── Shifts.ll │ ├── SimpleStoreAndLoad.ll │ ├── UnconditionalBranch.ll │ ├── UnconditionalBranchWithSimplePhi.ll │ ├── UnorderedPhiNodes.ll │ ├── _testingUtils.c │ ├── ackermann.c │ └── arith_test.ll ├── Coverage │ ├── ReadArgs.c │ └── ReplayOutDir.c ├── Dogfood │ └── ImmutableSet.cpp ├── Expr │ ├── Evaluate.kquery │ ├── Evaluate2.kquery │ ├── Lexer │ │ └── Numbers.kquery │ ├── Parser │ │ ├── Concat64.kquery │ │ ├── ConstantFolding.kquery │ │ ├── Exprs.kquery │ │ ├── MultiByteReads.kquery │ │ ├── Simplify.kquery │ │ └── TypeChecking.kquery │ ├── print-smt-let.kquery │ ├── print-smt-let.smt2.good │ ├── print-smt-named.kquery │ ├── print-smt-named.smt2.good │ ├── print-smt-none.kquery │ └── print-smt-none.smt2.good ├── Feature │ ├── Alias.c │ ├── AliasFunction.c │ ├── AliasFunctionExit.c │ ├── BFSSearcher.c │ ├── BitcastAlias.ll │ ├── BitcastAliasMD2U.ll │ ├── ByteSwap.c │ ├── CallToUndefinedExternal.cpp │ ├── CheckForImpliedValue.c.failing │ ├── CheckMemoryAccess.c │ ├── CompressedExprLogging.c │ ├── ConstantStruct.ll │ ├── CopyOnWrite.c │ ├── DanglingConcreteReadExpr.c │ ├── DefineFixedObject.c │ ├── DeterministicSwitch.c │ ├── DoubleFree.c │ ├── DumpStatesOnHalt.c │ ├── EntryPoint.c │ ├── Envp.c │ ├── ExitOnErrorLocation.c │ ├── ExitOnErrorType.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 │ ├── IntrinsicTrap.ll │ ├── InvalidBitfieldAccess.c.failing │ ├── IsSymbolic.c │ ├── KleeReportError.c │ ├── LargeReturnTypes.cpp │ ├── LinkLLVMLib.c │ ├── LoggingInstructions.c │ ├── LongDouble.cpp │ ├── LongDoubleSupport.c │ ├── LowerSwitch.c │ ├── MakeConcreteSymbolic.c │ ├── MakeSymbolicName.c │ ├── MemoryLimit.c │ ├── MultiMkSym.c │ ├── MultipleFreeResolution.c │ ├── MultipleReadResolution.c │ ├── MultipleReallocResolution.c │ ├── MultipleWriteResolution.c │ ├── NamedSeedMatching.c │ ├── NonSizedGlobals.c │ ├── OneFreeError.c │ ├── OneOutOfBounds.c │ ├── Optimize.c │ ├── Overflow.ll │ ├── OverflowMul.ll │ ├── OverlappedError.c │ ├── OvershiftCheck.c │ ├── PreferCex.c │ ├── RaiseAsm.c │ ├── Realloc.c │ ├── ReplayPath.c │ ├── RewriteEqualities.c │ ├── Searchers.c │ ├── SetForking.c │ ├── SilentKleeAssume.c │ ├── SolverTimeout.c │ ├── SourceMapping.c │ ├── StatesCoveringNew.c │ ├── VarArgLongDouble.c │ ├── Vararg.c │ ├── WithLibc.c │ ├── WriteCov.c │ ├── _utils._ll │ ├── arithmetic-right-overshift-sym-conc.c │ ├── consecutive_divide_by_zero.c │ ├── const_array_opt1.c │ ├── left-overshift-sym-conc.c │ ├── logical-right-overshift-sym-conc.c │ ├── srem.c │ ├── ubsan_signed_overflow.c │ ├── ubsan_unsigned_overflow.c │ └── utils.h ├── Intrinsics │ ├── objectsize.ll │ └── objectsize.llvm29.ll ├── Makefile ├── Makefile.tests ├── Programs │ └── pcregrep.c ├── README ├── Replay │ └── libkleeruntest │ │ ├── replay_invalid_klee_assume.c │ │ ├── replay_invalid_klee_choose.c │ │ ├── replay_invalid_klee_range.c │ │ ├── replay_invalid_num_objects.c │ │ ├── replay_invalid_object_names.c │ │ ├── replay_invalid_object_size.c │ │ ├── replay_posix_runtime.c │ │ ├── replay_simple.c │ │ └── replay_two_objects.c ├── Runtime │ ├── POSIX │ │ ├── DirConsistency.c │ │ ├── DirSeek.c │ │ ├── FDNumbers.c │ │ ├── FD_Fail.c │ │ ├── FD_Fail2.c │ │ ├── Fcntl.c │ │ ├── FilePerm.c │ │ ├── FreeArgv.c │ │ ├── Futimesat.c │ │ ├── Getenv.c │ │ ├── Ioctl.c │ │ ├── Isatty.c │ │ ├── Openat.c │ │ ├── PrgName.c │ │ ├── Read1.c │ │ ├── SELinux │ │ │ ├── SELinux.c │ │ │ └── lit.local.cfg │ │ ├── SeedAndFail.c │ │ ├── Stdin.c │ │ ├── Write1.c │ │ ├── Write2.c │ │ └── lit.local.cfg │ └── Uclibc │ │ ├── 2007-10-08-optimization-calls-wrong-libc-functions.c │ │ ├── 2008-03-04-libc-atexit-uses-dso-handle.c │ │ ├── Environ.c │ │ └── lit.local.cfg ├── Slicing │ ├── allocation-record.c │ ├── allocation-record2.c │ ├── allocation-record3.c │ ├── allocation-record4.c │ ├── allocation-record5.c │ ├── array-1.c │ ├── array-2.c │ ├── array-3.c │ ├── array-4.c │ ├── array-5.c │ ├── array-6.c │ ├── basic.c │ ├── consecutive-dependent-functions.c │ ├── dependent-functions.c │ ├── dynamic-list.c │ ├── field-sensitivity.c │ ├── fork.c │ ├── function-pointer.c │ ├── function-pointer2.c │ ├── function-pointer3.c │ ├── guiding-constraints-in-recovery-state.c │ ├── guiding-constraints.c │ ├── guiding-constraints2.c │ ├── guiding-constraints3.c │ ├── independent-functions.c │ ├── infeasible.c │ ├── infeasible2.c │ ├── infeasible3.c │ ├── infeasible4.c │ ├── libc-atexit.c │ ├── malloc.c │ ├── multiple-allocsite-multiple-callsite.c │ ├── multiple-slices.c │ ├── no-skip-function-in-body.c │ ├── non-void-skip-without-recovery.c │ ├── non-void-skip-without-recovery2.c │ ├── non-void-skip.c │ ├── non-void-skip2.c │ ├── overriding-store-non-void.c │ ├── overriding-store-non-void2.c │ ├── overriding-store.c │ ├── overriding-store2.c │ ├── random-path-searcher.c │ ├── regression-pass.c │ ├── single-allocsite-multiple-callsite.c │ ├── single-allocsite-multiple-callsite2.c │ ├── single-allocsite-multiple-callsite3.c │ ├── single-allocsite-single-callsite.c │ ├── skip-called-function.c │ ├── skip-calling-function.c │ ├── skip-multiple-without-recovery.c │ ├── skip-switch.c │ ├── skip-with-buffer.c │ ├── skip-with-buffer2.c │ ├── skip-without-recovery.c │ └── test-check-consistency.c ├── Solver │ ├── 2016-04-12-array-parsing-bug.kquery │ ├── AShr_to_smtlib.kquery │ ├── AShr_to_smtlib.kquery.good.smt2 │ ├── FastCexSolver.kquery │ ├── LargeIntegers.kquery │ ├── lit.local.cfg │ ├── overshift-aright-by-constant.kquery │ ├── overshift-aright-by-symbolic.kquery │ ├── overshift-left-by-constant.kquery │ ├── overshift-left-by-symbolic.kquery │ ├── overshift-lright-by-constant.kquery │ └── overshift-lright-by-symbolic.kquery ├── TestRunner.sh ├── 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 │ ├── 2014-07-04-unflushed-error-report.c │ ├── 2014-12-08-ashr.c │ ├── 2015-06-22-struct-write.c │ ├── 2015-08-30-empty-constraints.c │ ├── 2015-08-30-sdiv-1.c │ ├── 2016-03-22-independence-solver-missing-objects-for-assignment.kquery │ ├── 2016-04-14-sdiv-2.c │ ├── 2016-06-28-div-zero-bug.c │ ├── 2016-08-06-klee-get-obj-size.c │ ├── 2016-08-11-entry-point-internalize-pass.c │ ├── 2016-08-12-empty-file.c │ └── lit.local.cfg ├── tools ├── CMakeLists.txt ├── Makefile ├── gen-random-bout │ ├── CMakeLists.txt │ ├── Makefile │ └── gen-random-bout.cpp ├── kleaver │ ├── CMakeLists.txt │ ├── Makefile │ └── main.cpp ├── klee-replay │ ├── CMakeLists.txt │ ├── Makefile │ ├── fd_init.c │ ├── file-creator.c │ ├── klee-replay.c │ ├── klee-replay.h │ └── klee_init_env.c ├── klee-stats │ ├── CMakeLists.txt │ ├── Makefile │ └── klee-stats ├── klee │ ├── CMakeLists.txt │ ├── Debug.cpp │ ├── Makefile │ └── main.cpp └── ktest-tool │ ├── CMakeLists.txt │ ├── Makefile │ └── ktest-tool ├── unittests ├── Assignment │ ├── AssignmentTest.cpp │ ├── CMakeLists.txt │ └── Makefile ├── CMakeLists.txt ├── Expr │ ├── CMakeLists.txt │ ├── ExprTest.cpp │ └── Makefile ├── Makefile ├── Ref │ ├── CMakeLists.txt │ ├── Makefile │ └── RefTest.cpp ├── Solver │ ├── CMakeLists.txt │ ├── Makefile │ └── SolverTest.cpp ├── TestMain.cpp ├── lit-unit-tests-common.cfg └── lit-unit-tests-common.site.cfg.in └── utils ├── data └── Queries │ ├── pcresymperf-3.kquery │ └── pcresymperf-4.kquery ├── 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 ├── sanitizers └── lsan.txt └── valgrind ├── README.txt ├── valgrind-llvm.supp └── valgrind-stp.supp /.clang-format: -------------------------------------------------------------------------------- 1 | --- 2 | BasedOnStyle: LLVM 3 | Standard: Cpp03 4 | ... 5 | -------------------------------------------------------------------------------- /.dockerignore: -------------------------------------------------------------------------------- 1 | .git 2 | autom4te.cache 3 | **/.*.swp 4 | Dockerfile 5 | -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/.gitattributes -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/.travis.yml -------------------------------------------------------------------------------- /.travis/install-llvm-and-runtime-compiler.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/.travis/install-llvm-and-runtime-compiler.sh -------------------------------------------------------------------------------- /.travis/install-tcmalloc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/.travis/install-tcmalloc.sh -------------------------------------------------------------------------------- /.travis/klee.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/.travis/klee.sh -------------------------------------------------------------------------------- /.travis/metaSMT.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/.travis/metaSMT.sh -------------------------------------------------------------------------------- /.travis/sanitizer_flags.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/.travis/sanitizer_flags.sh -------------------------------------------------------------------------------- /.travis/solvers.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/.travis/solvers.sh -------------------------------------------------------------------------------- /.travis/stp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/.travis/stp.sh -------------------------------------------------------------------------------- /.travis/testing-utils.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/.travis/testing-utils.sh -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE.TXT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/LICENSE.TXT -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/Makefile -------------------------------------------------------------------------------- /Makefile.common: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/Makefile.common -------------------------------------------------------------------------------- /Makefile.config.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/Makefile.config.in -------------------------------------------------------------------------------- /Makefile.rules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/Makefile.rules -------------------------------------------------------------------------------- /MetaSMT.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/MetaSMT.mk -------------------------------------------------------------------------------- /NEWS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/NEWS -------------------------------------------------------------------------------- /README-CMake.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/README-CMake.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/README.md -------------------------------------------------------------------------------- /TODO.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/TODO.txt -------------------------------------------------------------------------------- /autoconf/AutoRegen.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/autoconf/AutoRegen.sh -------------------------------------------------------------------------------- /autoconf/config.guess: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/autoconf/config.guess -------------------------------------------------------------------------------- /autoconf/config.sub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/autoconf/config.sub -------------------------------------------------------------------------------- /autoconf/configure.ac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/autoconf/configure.ac -------------------------------------------------------------------------------- /autoconf/install-sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/autoconf/install-sh -------------------------------------------------------------------------------- /cmake/GetGitRevisionDescription.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/cmake/GetGitRevisionDescription.cmake -------------------------------------------------------------------------------- /cmake/GetGitRevisionDescription.cmake.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/cmake/GetGitRevisionDescription.cmake.in -------------------------------------------------------------------------------- /cmake/add_global_flag.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/cmake/add_global_flag.cmake -------------------------------------------------------------------------------- /cmake/c_flags_override.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/cmake/c_flags_override.cmake -------------------------------------------------------------------------------- /cmake/compiler_warnings.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/cmake/compiler_warnings.cmake -------------------------------------------------------------------------------- /cmake/cxx_flags_override.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/cmake/cxx_flags_override.cmake -------------------------------------------------------------------------------- /cmake/find_bitcode_compiler.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/cmake/find_bitcode_compiler.cmake -------------------------------------------------------------------------------- /cmake/find_llvm.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/cmake/find_llvm.cmake -------------------------------------------------------------------------------- /cmake/find_metasmt.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/cmake/find_metasmt.cmake -------------------------------------------------------------------------------- /cmake/klee_add_component.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/cmake/klee_add_component.cmake -------------------------------------------------------------------------------- /cmake/klee_component_add_cxx_flag.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/cmake/klee_component_add_cxx_flag.cmake -------------------------------------------------------------------------------- /cmake/modules/FindZ3.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/cmake/modules/FindZ3.cmake -------------------------------------------------------------------------------- /cmake/string_to_list.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/cmake/string_to_list.cmake -------------------------------------------------------------------------------- /configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/configure -------------------------------------------------------------------------------- /docs/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/docs/CMakeLists.txt -------------------------------------------------------------------------------- /docs/SMT-COMP/BitVector_ArraysEx.smt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/docs/SMT-COMP/BitVector_ArraysEx.smt -------------------------------------------------------------------------------- /docs/SMT-COMP/BitVectors.smt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/docs/SMT-COMP/BitVectors.smt -------------------------------------------------------------------------------- /docs/SMT-COMP/QF_AUFBV.smt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/docs/SMT-COMP/QF_AUFBV.smt -------------------------------------------------------------------------------- /docs/SMT-COMP/QF_BV.smt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/docs/SMT-COMP/QF_BV.smt -------------------------------------------------------------------------------- /docs/doxygen.cfg.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/docs/doxygen.cfg.in -------------------------------------------------------------------------------- /docs/intro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/docs/intro -------------------------------------------------------------------------------- /docs/overview: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/docs/overview -------------------------------------------------------------------------------- /examples/get_sign/get_sign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/examples/get_sign/get_sign.c -------------------------------------------------------------------------------- /examples/islower/islower.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/examples/islower/islower.c -------------------------------------------------------------------------------- /examples/regexp/Regexp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/examples/regexp/Regexp.c -------------------------------------------------------------------------------- /examples/regexp/notes.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/examples/regexp/notes.txt -------------------------------------------------------------------------------- /examples/sort/sort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/examples/sort/sort.c -------------------------------------------------------------------------------- /include/expr/Lexer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/expr/Lexer.h -------------------------------------------------------------------------------- /include/expr/Parser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/expr/Parser.h -------------------------------------------------------------------------------- /include/klee/ASContext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/ASContext.h -------------------------------------------------------------------------------- /include/klee/AllocationRecord.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/AllocationRecord.h -------------------------------------------------------------------------------- /include/klee/CommandLine.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/CommandLine.h -------------------------------------------------------------------------------- /include/klee/Common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Common.h -------------------------------------------------------------------------------- /include/klee/Config/CompileTimeInfo.h.cmin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Config/CompileTimeInfo.h.cmin -------------------------------------------------------------------------------- /include/klee/Config/Version.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Config/Version.h -------------------------------------------------------------------------------- /include/klee/Config/config.h.cmin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Config/config.h.cmin -------------------------------------------------------------------------------- /include/klee/Config/config.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Config/config.h.in -------------------------------------------------------------------------------- /include/klee/Constraints.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Constraints.h -------------------------------------------------------------------------------- /include/klee/ExecutionState.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/ExecutionState.h -------------------------------------------------------------------------------- /include/klee/Expr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Expr.h -------------------------------------------------------------------------------- /include/klee/ExprBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/ExprBuilder.h -------------------------------------------------------------------------------- /include/klee/IncompleteSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/IncompleteSolver.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/DiscretePDF.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/ADT/DiscretePDF.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/DiscretePDF.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/ADT/DiscretePDF.inc -------------------------------------------------------------------------------- /include/klee/Internal/ADT/ImmutableMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/ADT/ImmutableMap.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/ImmutableSet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/ADT/ImmutableSet.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/ImmutableTree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/ADT/ImmutableTree.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/KTest.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/ADT/KTest.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/MapOfSets.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/ADT/MapOfSets.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/RNG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/ADT/RNG.h -------------------------------------------------------------------------------- /include/klee/Internal/ADT/TreeStream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/ADT/TreeStream.h -------------------------------------------------------------------------------- /include/klee/Internal/Analysis/AAPass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/Analysis/AAPass.h -------------------------------------------------------------------------------- /include/klee/Internal/Analysis/Annotator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/Analysis/Annotator.h -------------------------------------------------------------------------------- /include/klee/Internal/Analysis/Cloner.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/Analysis/Cloner.h -------------------------------------------------------------------------------- /include/klee/Internal/Analysis/Inliner.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/Analysis/Inliner.h -------------------------------------------------------------------------------- /include/klee/Internal/Analysis/ModRefAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/Analysis/ModRefAnalysis.h -------------------------------------------------------------------------------- /include/klee/Internal/Analysis/ReachabilityAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/Analysis/ReachabilityAnalysis.h -------------------------------------------------------------------------------- /include/klee/Internal/Analysis/SVFPointerAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/Analysis/SVFPointerAnalysis.h -------------------------------------------------------------------------------- /include/klee/Internal/Analysis/SliceGenerator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/Analysis/SliceGenerator.h -------------------------------------------------------------------------------- /include/klee/Internal/Analysis/Slicer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/Analysis/Slicer.h -------------------------------------------------------------------------------- /include/klee/Internal/Module/Cell.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/Module/Cell.h -------------------------------------------------------------------------------- /include/klee/Internal/Module/InstructionInfoTable.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/Module/InstructionInfoTable.h -------------------------------------------------------------------------------- /include/klee/Internal/Module/KInstIterator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/Module/KInstIterator.h -------------------------------------------------------------------------------- /include/klee/Internal/Module/KInstruction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/Module/KInstruction.h -------------------------------------------------------------------------------- /include/klee/Internal/Module/KModule.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/Module/KModule.h -------------------------------------------------------------------------------- /include/klee/Internal/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/README.txt -------------------------------------------------------------------------------- /include/klee/Internal/Support/CompressionStream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/Support/CompressionStream.h -------------------------------------------------------------------------------- /include/klee/Internal/Support/Debug.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/Support/Debug.h -------------------------------------------------------------------------------- /include/klee/Internal/Support/ErrorHandling.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/Support/ErrorHandling.h -------------------------------------------------------------------------------- /include/klee/Internal/Support/FloatEvaluation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/Support/FloatEvaluation.h -------------------------------------------------------------------------------- /include/klee/Internal/Support/IntEvaluation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/Support/IntEvaluation.h -------------------------------------------------------------------------------- /include/klee/Internal/Support/ModuleUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/Support/ModuleUtil.h -------------------------------------------------------------------------------- /include/klee/Internal/Support/PrintVersion.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/Support/PrintVersion.h -------------------------------------------------------------------------------- /include/klee/Internal/Support/QueryLog.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/Support/QueryLog.h -------------------------------------------------------------------------------- /include/klee/Internal/Support/Timer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/Support/Timer.h -------------------------------------------------------------------------------- /include/klee/Internal/System/MemoryUsage.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/System/MemoryUsage.h -------------------------------------------------------------------------------- /include/klee/Internal/System/Time.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Internal/System/Time.h -------------------------------------------------------------------------------- /include/klee/Interpreter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Interpreter.h -------------------------------------------------------------------------------- /include/klee/Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Solver.h -------------------------------------------------------------------------------- /include/klee/SolverImpl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/SolverImpl.h -------------------------------------------------------------------------------- /include/klee/SolverStats.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/SolverStats.h -------------------------------------------------------------------------------- /include/klee/Statistic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Statistic.h -------------------------------------------------------------------------------- /include/klee/Statistics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/Statistics.h -------------------------------------------------------------------------------- /include/klee/TimerStatIncrementer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/TimerStatIncrementer.h -------------------------------------------------------------------------------- /include/klee/klee.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/klee.h -------------------------------------------------------------------------------- /include/klee/util/ArrayCache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/util/ArrayCache.h -------------------------------------------------------------------------------- /include/klee/util/ArrayExprHash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/util/ArrayExprHash.h -------------------------------------------------------------------------------- /include/klee/util/Assignment.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/util/Assignment.h -------------------------------------------------------------------------------- /include/klee/util/BitArray.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/util/BitArray.h -------------------------------------------------------------------------------- /include/klee/util/Bits.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/util/Bits.h -------------------------------------------------------------------------------- /include/klee/util/ExprEvaluator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/util/ExprEvaluator.h -------------------------------------------------------------------------------- /include/klee/util/ExprHashMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/util/ExprHashMap.h -------------------------------------------------------------------------------- /include/klee/util/ExprPPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/util/ExprPPrinter.h -------------------------------------------------------------------------------- /include/klee/util/ExprRangeEvaluator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/util/ExprRangeEvaluator.h -------------------------------------------------------------------------------- /include/klee/util/ExprSMTLIBPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/util/ExprSMTLIBPrinter.h -------------------------------------------------------------------------------- /include/klee/util/ExprUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/util/ExprUtil.h -------------------------------------------------------------------------------- /include/klee/util/ExprVisitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/util/ExprVisitor.h -------------------------------------------------------------------------------- /include/klee/util/GetElementPtrTypeIterator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/util/GetElementPtrTypeIterator.h -------------------------------------------------------------------------------- /include/klee/util/PrintContext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/util/PrintContext.h -------------------------------------------------------------------------------- /include/klee/util/Ref.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/include/klee/util/Ref.h -------------------------------------------------------------------------------- /lib/Analysis/AAPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Analysis/AAPass.cpp -------------------------------------------------------------------------------- /lib/Analysis/Annotator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Analysis/Annotator.cpp -------------------------------------------------------------------------------- /lib/Analysis/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Analysis/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Analysis/Cloner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Analysis/Cloner.cpp -------------------------------------------------------------------------------- /lib/Analysis/Inliner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Analysis/Inliner.cpp -------------------------------------------------------------------------------- /lib/Analysis/ModRefAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Analysis/ModRefAnalysis.cpp -------------------------------------------------------------------------------- /lib/Analysis/ReachabilityAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Analysis/ReachabilityAnalysis.cpp -------------------------------------------------------------------------------- /lib/Analysis/SVFPointerAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Analysis/SVFPointerAnalysis.cpp -------------------------------------------------------------------------------- /lib/Analysis/SliceGenerator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Analysis/SliceGenerator.cpp -------------------------------------------------------------------------------- /lib/Analysis/Slicer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Analysis/Slicer.cpp -------------------------------------------------------------------------------- /lib/Basic/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Basic/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Basic/CmdLineOptions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Basic/CmdLineOptions.cpp -------------------------------------------------------------------------------- /lib/Basic/ConstructSolverChain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Basic/ConstructSolverChain.cpp -------------------------------------------------------------------------------- /lib/Basic/KTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Basic/KTest.cpp -------------------------------------------------------------------------------- /lib/Basic/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Basic/Makefile -------------------------------------------------------------------------------- /lib/Basic/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Basic/README.txt -------------------------------------------------------------------------------- /lib/Basic/Statistics.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Basic/Statistics.cpp -------------------------------------------------------------------------------- /lib/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Core/ASContext.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/ASContext.cpp -------------------------------------------------------------------------------- /lib/Core/AddressSpace.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/AddressSpace.cpp -------------------------------------------------------------------------------- /lib/Core/AddressSpace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/AddressSpace.h -------------------------------------------------------------------------------- /lib/Core/AllocationRecord.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/AllocationRecord.cpp -------------------------------------------------------------------------------- /lib/Core/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Core/CallPathManager.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/CallPathManager.cpp -------------------------------------------------------------------------------- /lib/Core/CallPathManager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/CallPathManager.h -------------------------------------------------------------------------------- /lib/Core/Context.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/Context.cpp -------------------------------------------------------------------------------- /lib/Core/Context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/Context.h -------------------------------------------------------------------------------- /lib/Core/CoreStats.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/CoreStats.cpp -------------------------------------------------------------------------------- /lib/Core/CoreStats.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/CoreStats.h -------------------------------------------------------------------------------- /lib/Core/ExecutionState.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/ExecutionState.cpp -------------------------------------------------------------------------------- /lib/Core/Executor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/Executor.cpp -------------------------------------------------------------------------------- /lib/Core/Executor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/Executor.h -------------------------------------------------------------------------------- /lib/Core/ExecutorTimerInfo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/ExecutorTimerInfo.h -------------------------------------------------------------------------------- /lib/Core/ExecutorTimers.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/ExecutorTimers.cpp -------------------------------------------------------------------------------- /lib/Core/ExecutorUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/ExecutorUtil.cpp -------------------------------------------------------------------------------- /lib/Core/ExternalDispatcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/ExternalDispatcher.cpp -------------------------------------------------------------------------------- /lib/Core/ExternalDispatcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/ExternalDispatcher.h -------------------------------------------------------------------------------- /lib/Core/ImpliedValue.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/ImpliedValue.cpp -------------------------------------------------------------------------------- /lib/Core/ImpliedValue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/ImpliedValue.h -------------------------------------------------------------------------------- /lib/Core/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/Makefile -------------------------------------------------------------------------------- /lib/Core/Memory.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/Memory.cpp -------------------------------------------------------------------------------- /lib/Core/Memory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/Memory.h -------------------------------------------------------------------------------- /lib/Core/MemoryManager.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/MemoryManager.cpp -------------------------------------------------------------------------------- /lib/Core/MemoryManager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/MemoryManager.h -------------------------------------------------------------------------------- /lib/Core/ObjectHolder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/ObjectHolder.h -------------------------------------------------------------------------------- /lib/Core/PTree.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/PTree.cpp -------------------------------------------------------------------------------- /lib/Core/PTree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/PTree.h -------------------------------------------------------------------------------- /lib/Core/Searcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/Searcher.cpp -------------------------------------------------------------------------------- /lib/Core/Searcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/Searcher.h -------------------------------------------------------------------------------- /lib/Core/SeedInfo.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/SeedInfo.cpp -------------------------------------------------------------------------------- /lib/Core/SeedInfo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/SeedInfo.h -------------------------------------------------------------------------------- /lib/Core/SpecialFunctionHandler.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/SpecialFunctionHandler.cpp -------------------------------------------------------------------------------- /lib/Core/SpecialFunctionHandler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/SpecialFunctionHandler.h -------------------------------------------------------------------------------- /lib/Core/StatsTracker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/StatsTracker.cpp -------------------------------------------------------------------------------- /lib/Core/StatsTracker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/StatsTracker.h -------------------------------------------------------------------------------- /lib/Core/TimingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/TimingSolver.cpp -------------------------------------------------------------------------------- /lib/Core/TimingSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/TimingSolver.h -------------------------------------------------------------------------------- /lib/Core/UserSearcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/UserSearcher.cpp -------------------------------------------------------------------------------- /lib/Core/UserSearcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Core/UserSearcher.h -------------------------------------------------------------------------------- /lib/Expr/ArrayCache.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Expr/ArrayCache.cpp -------------------------------------------------------------------------------- /lib/Expr/Assigment.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Expr/Assigment.cpp -------------------------------------------------------------------------------- /lib/Expr/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Expr/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Expr/Constraints.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Expr/Constraints.cpp -------------------------------------------------------------------------------- /lib/Expr/Expr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Expr/Expr.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Expr/ExprBuilder.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprEvaluator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Expr/ExprEvaluator.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprPPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Expr/ExprPPrinter.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprSMTLIBPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Expr/ExprSMTLIBPrinter.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Expr/ExprUtil.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprVisitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Expr/ExprVisitor.cpp -------------------------------------------------------------------------------- /lib/Expr/Lexer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Expr/Lexer.cpp -------------------------------------------------------------------------------- /lib/Expr/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Expr/Makefile -------------------------------------------------------------------------------- /lib/Expr/Parser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Expr/Parser.cpp -------------------------------------------------------------------------------- /lib/Expr/Updates.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Expr/Updates.cpp -------------------------------------------------------------------------------- /lib/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Makefile -------------------------------------------------------------------------------- /lib/Module/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Module/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Module/Checks.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Module/Checks.cpp -------------------------------------------------------------------------------- /lib/Module/InstructionInfoTable.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Module/InstructionInfoTable.cpp -------------------------------------------------------------------------------- /lib/Module/IntrinsicCleaner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Module/IntrinsicCleaner.cpp -------------------------------------------------------------------------------- /lib/Module/KInstruction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Module/KInstruction.cpp -------------------------------------------------------------------------------- /lib/Module/KModule.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Module/KModule.cpp -------------------------------------------------------------------------------- /lib/Module/LowerSwitch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Module/LowerSwitch.cpp -------------------------------------------------------------------------------- /lib/Module/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Module/Makefile -------------------------------------------------------------------------------- /lib/Module/ModuleUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Module/ModuleUtil.cpp -------------------------------------------------------------------------------- /lib/Module/Optimize.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Module/Optimize.cpp -------------------------------------------------------------------------------- /lib/Module/Passes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Module/Passes.h -------------------------------------------------------------------------------- /lib/Module/PhiCleaner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Module/PhiCleaner.cpp -------------------------------------------------------------------------------- /lib/Module/RaiseAsm.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Module/RaiseAsm.cpp -------------------------------------------------------------------------------- /lib/Module/ReturnToVoidFunctionPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Module/ReturnToVoidFunctionPass.cpp -------------------------------------------------------------------------------- /lib/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/README.txt -------------------------------------------------------------------------------- /lib/Solver/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Solver/CachingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/CachingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/CexCachingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/CexCachingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/ConstantDivision.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/ConstantDivision.cpp -------------------------------------------------------------------------------- /lib/Solver/ConstantDivision.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/ConstantDivision.h -------------------------------------------------------------------------------- /lib/Solver/CoreSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/CoreSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/DummySolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/DummySolver.cpp -------------------------------------------------------------------------------- /lib/Solver/FastCexSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/FastCexSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/IncompleteSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/IncompleteSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/IndependentSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/IndependentSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/KQueryLoggingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/KQueryLoggingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/Makefile -------------------------------------------------------------------------------- /lib/Solver/MetaSMTBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/MetaSMTBuilder.h -------------------------------------------------------------------------------- /lib/Solver/MetaSMTSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/MetaSMTSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/QueryLoggingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/QueryLoggingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/QueryLoggingSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/QueryLoggingSolver.h -------------------------------------------------------------------------------- /lib/Solver/SMTLIBLoggingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/SMTLIBLoggingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/STPBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/STPBuilder.cpp -------------------------------------------------------------------------------- /lib/Solver/STPBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/STPBuilder.h -------------------------------------------------------------------------------- /lib/Solver/STPSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/STPSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/Solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/Solver.cpp -------------------------------------------------------------------------------- /lib/Solver/SolverImpl.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/SolverImpl.cpp -------------------------------------------------------------------------------- /lib/Solver/SolverStats.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/SolverStats.cpp -------------------------------------------------------------------------------- /lib/Solver/ValidatingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/ValidatingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/Z3Builder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/Z3Builder.cpp -------------------------------------------------------------------------------- /lib/Solver/Z3Builder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/Z3Builder.h -------------------------------------------------------------------------------- /lib/Solver/Z3Solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Solver/Z3Solver.cpp -------------------------------------------------------------------------------- /lib/Support/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Support/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Support/CompressionStream.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Support/CompressionStream.cpp -------------------------------------------------------------------------------- /lib/Support/ErrorHandling.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Support/ErrorHandling.cpp -------------------------------------------------------------------------------- /lib/Support/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Support/Makefile -------------------------------------------------------------------------------- /lib/Support/MemoryUsage.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Support/MemoryUsage.cpp -------------------------------------------------------------------------------- /lib/Support/PrintVersion.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Support/PrintVersion.cpp -------------------------------------------------------------------------------- /lib/Support/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Support/README.txt -------------------------------------------------------------------------------- /lib/Support/RNG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Support/RNG.cpp -------------------------------------------------------------------------------- /lib/Support/Time.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Support/Time.cpp -------------------------------------------------------------------------------- /lib/Support/Timer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Support/Timer.cpp -------------------------------------------------------------------------------- /lib/Support/TreeStream.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/lib/Support/TreeStream.cpp -------------------------------------------------------------------------------- /runtime/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/CMakeLists.txt -------------------------------------------------------------------------------- /runtime/Intrinsic/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/Intrinsic/Makefile -------------------------------------------------------------------------------- /runtime/Intrinsic/Makefile.cmake.bitcode: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/Intrinsic/Makefile.cmake.bitcode -------------------------------------------------------------------------------- /runtime/Intrinsic/klee_div_zero_check.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/Intrinsic/klee_div_zero_check.c -------------------------------------------------------------------------------- /runtime/Intrinsic/klee_init_args.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/Intrinsic/klee_init_args.c -------------------------------------------------------------------------------- /runtime/Intrinsic/klee_int.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/Intrinsic/klee_int.c -------------------------------------------------------------------------------- /runtime/Intrinsic/klee_overshift_check.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/Intrinsic/klee_overshift_check.c -------------------------------------------------------------------------------- /runtime/Intrinsic/klee_range.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/Intrinsic/klee_range.c -------------------------------------------------------------------------------- /runtime/Intrinsic/memcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/Intrinsic/memcpy.c -------------------------------------------------------------------------------- /runtime/Intrinsic/memmove.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/Intrinsic/memmove.c -------------------------------------------------------------------------------- /runtime/Intrinsic/mempcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/Intrinsic/mempcpy.c -------------------------------------------------------------------------------- /runtime/Intrinsic/memset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/Intrinsic/memset.c -------------------------------------------------------------------------------- /runtime/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/Makefile -------------------------------------------------------------------------------- /runtime/Makefile.cmake.bitcode: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/Makefile.cmake.bitcode -------------------------------------------------------------------------------- /runtime/Makefile.cmake.bitcode.config.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/Makefile.cmake.bitcode.config.in -------------------------------------------------------------------------------- /runtime/Makefile.cmake.bitcode.rules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/Makefile.cmake.bitcode.rules -------------------------------------------------------------------------------- /runtime/POSIX/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/POSIX/Makefile -------------------------------------------------------------------------------- /runtime/POSIX/Makefile.cmake.bitcode: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/POSIX/Makefile.cmake.bitcode -------------------------------------------------------------------------------- /runtime/POSIX/fd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/POSIX/fd.c -------------------------------------------------------------------------------- /runtime/POSIX/fd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/POSIX/fd.h -------------------------------------------------------------------------------- /runtime/POSIX/fd_32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/POSIX/fd_32.c -------------------------------------------------------------------------------- /runtime/POSIX/fd_64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/POSIX/fd_64.c -------------------------------------------------------------------------------- /runtime/POSIX/fd_init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/POSIX/fd_init.c -------------------------------------------------------------------------------- /runtime/POSIX/illegal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/POSIX/illegal.c -------------------------------------------------------------------------------- /runtime/POSIX/klee_init_env.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/POSIX/klee_init_env.c -------------------------------------------------------------------------------- /runtime/POSIX/misc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/POSIX/misc.c -------------------------------------------------------------------------------- /runtime/POSIX/selinux.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/POSIX/selinux.c -------------------------------------------------------------------------------- /runtime/POSIX/stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/POSIX/stubs.c -------------------------------------------------------------------------------- /runtime/Runtest/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/Runtest/CMakeLists.txt -------------------------------------------------------------------------------- /runtime/Runtest/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/Runtest/Makefile -------------------------------------------------------------------------------- /runtime/Runtest/intrinsics.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/Runtest/intrinsics.c -------------------------------------------------------------------------------- /runtime/klee-libc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/Makefile -------------------------------------------------------------------------------- /runtime/klee-libc/Makefile.cmake.bitcode: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/Makefile.cmake.bitcode -------------------------------------------------------------------------------- /runtime/klee-libc/__cxa_atexit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/__cxa_atexit.c -------------------------------------------------------------------------------- /runtime/klee-libc/abort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/abort.c -------------------------------------------------------------------------------- /runtime/klee-libc/atexit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/atexit.c -------------------------------------------------------------------------------- /runtime/klee-libc/atoi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/atoi.c -------------------------------------------------------------------------------- /runtime/klee-libc/calloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/calloc.c -------------------------------------------------------------------------------- /runtime/klee-libc/htonl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/htonl.c -------------------------------------------------------------------------------- /runtime/klee-libc/klee-choose.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/klee-choose.c -------------------------------------------------------------------------------- /runtime/klee-libc/memchr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/memchr.c -------------------------------------------------------------------------------- /runtime/klee-libc/memcmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/memcmp.c -------------------------------------------------------------------------------- /runtime/klee-libc/memcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/memcpy.c -------------------------------------------------------------------------------- /runtime/klee-libc/memmove.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/memmove.c -------------------------------------------------------------------------------- /runtime/klee-libc/mempcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/mempcpy.c -------------------------------------------------------------------------------- /runtime/klee-libc/memset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/memset.c -------------------------------------------------------------------------------- /runtime/klee-libc/putchar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/putchar.c -------------------------------------------------------------------------------- /runtime/klee-libc/stpcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/stpcpy.c -------------------------------------------------------------------------------- /runtime/klee-libc/strcat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/strcat.c -------------------------------------------------------------------------------- /runtime/klee-libc/strchr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/strchr.c -------------------------------------------------------------------------------- /runtime/klee-libc/strcmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/strcmp.c -------------------------------------------------------------------------------- /runtime/klee-libc/strcoll.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/strcoll.c -------------------------------------------------------------------------------- /runtime/klee-libc/strcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/strcpy.c -------------------------------------------------------------------------------- /runtime/klee-libc/strlen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/strlen.c -------------------------------------------------------------------------------- /runtime/klee-libc/strncmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/strncmp.c -------------------------------------------------------------------------------- /runtime/klee-libc/strncpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/strncpy.c -------------------------------------------------------------------------------- /runtime/klee-libc/strndup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/strndup.c -------------------------------------------------------------------------------- /runtime/klee-libc/strnlen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/strnlen.c -------------------------------------------------------------------------------- /runtime/klee-libc/strrchr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/strrchr.c -------------------------------------------------------------------------------- /runtime/klee-libc/strtol.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/strtol.c -------------------------------------------------------------------------------- /runtime/klee-libc/strtoul.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/strtoul.c -------------------------------------------------------------------------------- /runtime/klee-libc/tolower.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/tolower.c -------------------------------------------------------------------------------- /runtime/klee-libc/toupper.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-libc/toupper.c -------------------------------------------------------------------------------- /runtime/klee-uclibc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/runtime/klee-uclibc/Makefile -------------------------------------------------------------------------------- /scripts/IStatsMerge.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/scripts/IStatsMerge.py -------------------------------------------------------------------------------- /scripts/IStatsSum.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/scripts/IStatsSum.py -------------------------------------------------------------------------------- /scripts/coverageServer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/scripts/coverageServer.py -------------------------------------------------------------------------------- /scripts/genTempFiles.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/scripts/genTempFiles.sh -------------------------------------------------------------------------------- /scripts/klee-chroot-env: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/scripts/klee-chroot-env -------------------------------------------------------------------------------- /scripts/klee-clang: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/scripts/klee-clang -------------------------------------------------------------------------------- /scripts/klee-control: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/scripts/klee-control -------------------------------------------------------------------------------- /scripts/klee-gcc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/scripts/klee-gcc -------------------------------------------------------------------------------- /scripts/objdump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/scripts/objdump -------------------------------------------------------------------------------- /test/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/CMakeLists.txt -------------------------------------------------------------------------------- /test/CXX/ArrayNew.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/CXX/ArrayNew.cpp -------------------------------------------------------------------------------- /test/CXX/New.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/CXX/New.cpp -------------------------------------------------------------------------------- /test/CXX/SimpleVirtual.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/CXX/SimpleVirtual.cpp -------------------------------------------------------------------------------- /test/CXX/StaticConstructor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/CXX/StaticConstructor.cpp -------------------------------------------------------------------------------- /test/CXX/StaticDestructor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/CXX/StaticDestructor.cpp -------------------------------------------------------------------------------- /test/CXX/Trivial.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/CXX/Trivial.cpp -------------------------------------------------------------------------------- /test/Concrete/BitwiseOps.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/BitwiseOps.ll -------------------------------------------------------------------------------- /test/Concrete/BoolReadWrite.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/BoolReadWrite.ll -------------------------------------------------------------------------------- /test/Concrete/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/CMakeLists.txt -------------------------------------------------------------------------------- /test/Concrete/Casts.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/Casts.ll -------------------------------------------------------------------------------- /test/Concrete/CmpEq.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/CmpEq.ll -------------------------------------------------------------------------------- /test/Concrete/ConcreteTest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/ConcreteTest.py -------------------------------------------------------------------------------- /test/Concrete/ConstantExpr.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/ConstantExpr.ll -------------------------------------------------------------------------------- /test/Concrete/FloatingPointOps.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/FloatingPointOps.ll -------------------------------------------------------------------------------- /test/Concrete/GlobalInitializers.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/GlobalInitializers.ll -------------------------------------------------------------------------------- /test/Concrete/GlobalUndef.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/GlobalUndef.ll -------------------------------------------------------------------------------- /test/Concrete/GlobalVariable.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/GlobalVariable.ll -------------------------------------------------------------------------------- /test/Concrete/ICmp.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/ICmp.ll -------------------------------------------------------------------------------- /test/Concrete/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/Makefile -------------------------------------------------------------------------------- /test/Concrete/Makefile.cmake.test.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/Makefile.cmake.test.in -------------------------------------------------------------------------------- /test/Concrete/OneCall.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/OneCall.ll -------------------------------------------------------------------------------- /test/Concrete/OverlappingPhiNodes.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/OverlappingPhiNodes.ll -------------------------------------------------------------------------------- /test/Concrete/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/README.txt -------------------------------------------------------------------------------- /test/Concrete/Select.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/Select.ll -------------------------------------------------------------------------------- /test/Concrete/Shifts.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/Shifts.ll -------------------------------------------------------------------------------- /test/Concrete/SimpleStoreAndLoad.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/SimpleStoreAndLoad.ll -------------------------------------------------------------------------------- /test/Concrete/UnconditionalBranch.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/UnconditionalBranch.ll -------------------------------------------------------------------------------- /test/Concrete/UnconditionalBranchWithSimplePhi.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/UnconditionalBranchWithSimplePhi.ll -------------------------------------------------------------------------------- /test/Concrete/UnorderedPhiNodes.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/UnorderedPhiNodes.ll -------------------------------------------------------------------------------- /test/Concrete/_testingUtils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/_testingUtils.c -------------------------------------------------------------------------------- /test/Concrete/ackermann.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/ackermann.c -------------------------------------------------------------------------------- /test/Concrete/arith_test.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Concrete/arith_test.ll -------------------------------------------------------------------------------- /test/Coverage/ReadArgs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Coverage/ReadArgs.c -------------------------------------------------------------------------------- /test/Coverage/ReplayOutDir.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Coverage/ReplayOutDir.c -------------------------------------------------------------------------------- /test/Dogfood/ImmutableSet.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Dogfood/ImmutableSet.cpp -------------------------------------------------------------------------------- /test/Expr/Evaluate.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Expr/Evaluate.kquery -------------------------------------------------------------------------------- /test/Expr/Evaluate2.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Expr/Evaluate2.kquery -------------------------------------------------------------------------------- /test/Expr/Lexer/Numbers.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Expr/Lexer/Numbers.kquery -------------------------------------------------------------------------------- /test/Expr/Parser/Concat64.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Expr/Parser/Concat64.kquery -------------------------------------------------------------------------------- /test/Expr/Parser/ConstantFolding.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Expr/Parser/ConstantFolding.kquery -------------------------------------------------------------------------------- /test/Expr/Parser/Exprs.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Expr/Parser/Exprs.kquery -------------------------------------------------------------------------------- /test/Expr/Parser/MultiByteReads.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Expr/Parser/MultiByteReads.kquery -------------------------------------------------------------------------------- /test/Expr/Parser/Simplify.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Expr/Parser/Simplify.kquery -------------------------------------------------------------------------------- /test/Expr/Parser/TypeChecking.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Expr/Parser/TypeChecking.kquery -------------------------------------------------------------------------------- /test/Expr/print-smt-let.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Expr/print-smt-let.kquery -------------------------------------------------------------------------------- /test/Expr/print-smt-let.smt2.good: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Expr/print-smt-let.smt2.good -------------------------------------------------------------------------------- /test/Expr/print-smt-named.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Expr/print-smt-named.kquery -------------------------------------------------------------------------------- /test/Expr/print-smt-named.smt2.good: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Expr/print-smt-named.smt2.good -------------------------------------------------------------------------------- /test/Expr/print-smt-none.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Expr/print-smt-none.kquery -------------------------------------------------------------------------------- /test/Expr/print-smt-none.smt2.good: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Expr/print-smt-none.smt2.good -------------------------------------------------------------------------------- /test/Feature/Alias.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/Alias.c -------------------------------------------------------------------------------- /test/Feature/AliasFunction.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/AliasFunction.c -------------------------------------------------------------------------------- /test/Feature/AliasFunctionExit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/AliasFunctionExit.c -------------------------------------------------------------------------------- /test/Feature/BFSSearcher.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/BFSSearcher.c -------------------------------------------------------------------------------- /test/Feature/BitcastAlias.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/BitcastAlias.ll -------------------------------------------------------------------------------- /test/Feature/BitcastAliasMD2U.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/BitcastAliasMD2U.ll -------------------------------------------------------------------------------- /test/Feature/ByteSwap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/ByteSwap.c -------------------------------------------------------------------------------- /test/Feature/CallToUndefinedExternal.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/CallToUndefinedExternal.cpp -------------------------------------------------------------------------------- /test/Feature/CheckForImpliedValue.c.failing: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/CheckForImpliedValue.c.failing -------------------------------------------------------------------------------- /test/Feature/CheckMemoryAccess.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/CheckMemoryAccess.c -------------------------------------------------------------------------------- /test/Feature/CompressedExprLogging.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/CompressedExprLogging.c -------------------------------------------------------------------------------- /test/Feature/ConstantStruct.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/ConstantStruct.ll -------------------------------------------------------------------------------- /test/Feature/CopyOnWrite.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/CopyOnWrite.c -------------------------------------------------------------------------------- /test/Feature/DanglingConcreteReadExpr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/DanglingConcreteReadExpr.c -------------------------------------------------------------------------------- /test/Feature/DefineFixedObject.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/DefineFixedObject.c -------------------------------------------------------------------------------- /test/Feature/DeterministicSwitch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/DeterministicSwitch.c -------------------------------------------------------------------------------- /test/Feature/DoubleFree.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/DoubleFree.c -------------------------------------------------------------------------------- /test/Feature/DumpStatesOnHalt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/DumpStatesOnHalt.c -------------------------------------------------------------------------------- /test/Feature/EntryPoint.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/EntryPoint.c -------------------------------------------------------------------------------- /test/Feature/Envp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/Envp.c -------------------------------------------------------------------------------- /test/Feature/ExitOnErrorLocation.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/ExitOnErrorLocation.c -------------------------------------------------------------------------------- /test/Feature/ExitOnErrorType.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/ExitOnErrorType.c -------------------------------------------------------------------------------- /test/Feature/ExprLogging.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/ExprLogging.c -------------------------------------------------------------------------------- /test/Feature/ExternalWeakLinkage.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/ExternalWeakLinkage.c -------------------------------------------------------------------------------- /test/Feature/Float.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/Float.c -------------------------------------------------------------------------------- /test/Feature/FloatingPt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/FloatingPt.c -------------------------------------------------------------------------------- /test/Feature/FunctionPointer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/FunctionPointer.c -------------------------------------------------------------------------------- /test/Feature/GetElementPtr.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/GetElementPtr.ll -------------------------------------------------------------------------------- /test/Feature/GetValue.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/GetValue.c -------------------------------------------------------------------------------- /test/Feature/ImpliedValue.c.failing: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/ImpliedValue.c.failing -------------------------------------------------------------------------------- /test/Feature/InAndOutOfBounds.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/InAndOutOfBounds.c -------------------------------------------------------------------------------- /test/Feature/IndirectCallToBuiltin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/IndirectCallToBuiltin.c -------------------------------------------------------------------------------- /test/Feature/IndirectCallToExternal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/IndirectCallToExternal.c -------------------------------------------------------------------------------- /test/Feature/InsertExtractValue.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/InsertExtractValue.ll -------------------------------------------------------------------------------- /test/Feature/IntrinsicTrap.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/IntrinsicTrap.ll -------------------------------------------------------------------------------- /test/Feature/InvalidBitfieldAccess.c.failing: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/InvalidBitfieldAccess.c.failing -------------------------------------------------------------------------------- /test/Feature/IsSymbolic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/IsSymbolic.c -------------------------------------------------------------------------------- /test/Feature/KleeReportError.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/KleeReportError.c -------------------------------------------------------------------------------- /test/Feature/LargeReturnTypes.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/LargeReturnTypes.cpp -------------------------------------------------------------------------------- /test/Feature/LinkLLVMLib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/LinkLLVMLib.c -------------------------------------------------------------------------------- /test/Feature/LoggingInstructions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/LoggingInstructions.c -------------------------------------------------------------------------------- /test/Feature/LongDouble.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/LongDouble.cpp -------------------------------------------------------------------------------- /test/Feature/LongDoubleSupport.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/LongDoubleSupport.c -------------------------------------------------------------------------------- /test/Feature/LowerSwitch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/LowerSwitch.c -------------------------------------------------------------------------------- /test/Feature/MakeConcreteSymbolic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/MakeConcreteSymbolic.c -------------------------------------------------------------------------------- /test/Feature/MakeSymbolicName.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/MakeSymbolicName.c -------------------------------------------------------------------------------- /test/Feature/MemoryLimit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/MemoryLimit.c -------------------------------------------------------------------------------- /test/Feature/MultiMkSym.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/MultiMkSym.c -------------------------------------------------------------------------------- /test/Feature/MultipleFreeResolution.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/MultipleFreeResolution.c -------------------------------------------------------------------------------- /test/Feature/MultipleReadResolution.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/MultipleReadResolution.c -------------------------------------------------------------------------------- /test/Feature/MultipleReallocResolution.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/MultipleReallocResolution.c -------------------------------------------------------------------------------- /test/Feature/MultipleWriteResolution.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/MultipleWriteResolution.c -------------------------------------------------------------------------------- /test/Feature/NamedSeedMatching.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/NamedSeedMatching.c -------------------------------------------------------------------------------- /test/Feature/NonSizedGlobals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/NonSizedGlobals.c -------------------------------------------------------------------------------- /test/Feature/OneFreeError.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/OneFreeError.c -------------------------------------------------------------------------------- /test/Feature/OneOutOfBounds.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/OneOutOfBounds.c -------------------------------------------------------------------------------- /test/Feature/Optimize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/Optimize.c -------------------------------------------------------------------------------- /test/Feature/Overflow.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/Overflow.ll -------------------------------------------------------------------------------- /test/Feature/OverflowMul.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/OverflowMul.ll -------------------------------------------------------------------------------- /test/Feature/OverlappedError.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/OverlappedError.c -------------------------------------------------------------------------------- /test/Feature/OvershiftCheck.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/OvershiftCheck.c -------------------------------------------------------------------------------- /test/Feature/PreferCex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/PreferCex.c -------------------------------------------------------------------------------- /test/Feature/RaiseAsm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/RaiseAsm.c -------------------------------------------------------------------------------- /test/Feature/Realloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/Realloc.c -------------------------------------------------------------------------------- /test/Feature/ReplayPath.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/ReplayPath.c -------------------------------------------------------------------------------- /test/Feature/RewriteEqualities.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/RewriteEqualities.c -------------------------------------------------------------------------------- /test/Feature/Searchers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/Searchers.c -------------------------------------------------------------------------------- /test/Feature/SetForking.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/SetForking.c -------------------------------------------------------------------------------- /test/Feature/SilentKleeAssume.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/SilentKleeAssume.c -------------------------------------------------------------------------------- /test/Feature/SolverTimeout.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/SolverTimeout.c -------------------------------------------------------------------------------- /test/Feature/SourceMapping.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/SourceMapping.c -------------------------------------------------------------------------------- /test/Feature/StatesCoveringNew.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/StatesCoveringNew.c -------------------------------------------------------------------------------- /test/Feature/VarArgLongDouble.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/VarArgLongDouble.c -------------------------------------------------------------------------------- /test/Feature/Vararg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/Vararg.c -------------------------------------------------------------------------------- /test/Feature/WithLibc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/WithLibc.c -------------------------------------------------------------------------------- /test/Feature/WriteCov.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/WriteCov.c -------------------------------------------------------------------------------- /test/Feature/_utils._ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/_utils._ll -------------------------------------------------------------------------------- /test/Feature/arithmetic-right-overshift-sym-conc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/arithmetic-right-overshift-sym-conc.c -------------------------------------------------------------------------------- /test/Feature/consecutive_divide_by_zero.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/consecutive_divide_by_zero.c -------------------------------------------------------------------------------- /test/Feature/const_array_opt1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/const_array_opt1.c -------------------------------------------------------------------------------- /test/Feature/left-overshift-sym-conc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/left-overshift-sym-conc.c -------------------------------------------------------------------------------- /test/Feature/logical-right-overshift-sym-conc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/logical-right-overshift-sym-conc.c -------------------------------------------------------------------------------- /test/Feature/srem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/srem.c -------------------------------------------------------------------------------- /test/Feature/ubsan_signed_overflow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/ubsan_signed_overflow.c -------------------------------------------------------------------------------- /test/Feature/ubsan_unsigned_overflow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/ubsan_unsigned_overflow.c -------------------------------------------------------------------------------- /test/Feature/utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Feature/utils.h -------------------------------------------------------------------------------- /test/Intrinsics/objectsize.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Intrinsics/objectsize.ll -------------------------------------------------------------------------------- /test/Intrinsics/objectsize.llvm29.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Intrinsics/objectsize.llvm29.ll -------------------------------------------------------------------------------- /test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Makefile -------------------------------------------------------------------------------- /test/Makefile.tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Makefile.tests -------------------------------------------------------------------------------- /test/Programs/pcregrep.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Programs/pcregrep.c -------------------------------------------------------------------------------- /test/README: -------------------------------------------------------------------------------- 1 | about tests.... 2 | -------------------------------------------------------------------------------- /test/Replay/libkleeruntest/replay_invalid_klee_assume.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Replay/libkleeruntest/replay_invalid_klee_assume.c -------------------------------------------------------------------------------- /test/Replay/libkleeruntest/replay_invalid_klee_choose.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Replay/libkleeruntest/replay_invalid_klee_choose.c -------------------------------------------------------------------------------- /test/Replay/libkleeruntest/replay_invalid_klee_range.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Replay/libkleeruntest/replay_invalid_klee_range.c -------------------------------------------------------------------------------- /test/Replay/libkleeruntest/replay_invalid_num_objects.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Replay/libkleeruntest/replay_invalid_num_objects.c -------------------------------------------------------------------------------- /test/Replay/libkleeruntest/replay_invalid_object_names.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Replay/libkleeruntest/replay_invalid_object_names.c -------------------------------------------------------------------------------- /test/Replay/libkleeruntest/replay_invalid_object_size.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Replay/libkleeruntest/replay_invalid_object_size.c -------------------------------------------------------------------------------- /test/Replay/libkleeruntest/replay_posix_runtime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Replay/libkleeruntest/replay_posix_runtime.c -------------------------------------------------------------------------------- /test/Replay/libkleeruntest/replay_simple.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Replay/libkleeruntest/replay_simple.c -------------------------------------------------------------------------------- /test/Replay/libkleeruntest/replay_two_objects.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Replay/libkleeruntest/replay_two_objects.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/DirConsistency.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/POSIX/DirConsistency.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/DirSeek.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/POSIX/DirSeek.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/FDNumbers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/POSIX/FDNumbers.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/FD_Fail.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/POSIX/FD_Fail.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/FD_Fail2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/POSIX/FD_Fail2.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Fcntl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/POSIX/Fcntl.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/FilePerm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/POSIX/FilePerm.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/FreeArgv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/POSIX/FreeArgv.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Futimesat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/POSIX/Futimesat.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Getenv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/POSIX/Getenv.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Ioctl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/POSIX/Ioctl.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Isatty.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/POSIX/Isatty.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Openat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/POSIX/Openat.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/PrgName.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/POSIX/PrgName.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Read1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/POSIX/Read1.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/SELinux/SELinux.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/POSIX/SELinux/SELinux.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/SELinux/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/POSIX/SELinux/lit.local.cfg -------------------------------------------------------------------------------- /test/Runtime/POSIX/SeedAndFail.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/POSIX/SeedAndFail.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Stdin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/POSIX/Stdin.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Write1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/POSIX/Write1.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Write2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/POSIX/Write2.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/POSIX/lit.local.cfg -------------------------------------------------------------------------------- /test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/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/davidtr1037/chopper/HEAD/test/Runtime/Uclibc/2008-03-04-libc-atexit-uses-dso-handle.c -------------------------------------------------------------------------------- /test/Runtime/Uclibc/Environ.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/Uclibc/Environ.c -------------------------------------------------------------------------------- /test/Runtime/Uclibc/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Runtime/Uclibc/lit.local.cfg -------------------------------------------------------------------------------- /test/Slicing/allocation-record.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/allocation-record.c -------------------------------------------------------------------------------- /test/Slicing/allocation-record2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/allocation-record2.c -------------------------------------------------------------------------------- /test/Slicing/allocation-record3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/allocation-record3.c -------------------------------------------------------------------------------- /test/Slicing/allocation-record4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/allocation-record4.c -------------------------------------------------------------------------------- /test/Slicing/allocation-record5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/allocation-record5.c -------------------------------------------------------------------------------- /test/Slicing/array-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/array-1.c -------------------------------------------------------------------------------- /test/Slicing/array-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/array-2.c -------------------------------------------------------------------------------- /test/Slicing/array-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/array-3.c -------------------------------------------------------------------------------- /test/Slicing/array-4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/array-4.c -------------------------------------------------------------------------------- /test/Slicing/array-5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/array-5.c -------------------------------------------------------------------------------- /test/Slicing/array-6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/array-6.c -------------------------------------------------------------------------------- /test/Slicing/basic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/basic.c -------------------------------------------------------------------------------- /test/Slicing/consecutive-dependent-functions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/consecutive-dependent-functions.c -------------------------------------------------------------------------------- /test/Slicing/dependent-functions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/dependent-functions.c -------------------------------------------------------------------------------- /test/Slicing/dynamic-list.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/dynamic-list.c -------------------------------------------------------------------------------- /test/Slicing/field-sensitivity.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/field-sensitivity.c -------------------------------------------------------------------------------- /test/Slicing/fork.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/fork.c -------------------------------------------------------------------------------- /test/Slicing/function-pointer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/function-pointer.c -------------------------------------------------------------------------------- /test/Slicing/function-pointer2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/function-pointer2.c -------------------------------------------------------------------------------- /test/Slicing/function-pointer3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/function-pointer3.c -------------------------------------------------------------------------------- /test/Slicing/guiding-constraints-in-recovery-state.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/guiding-constraints-in-recovery-state.c -------------------------------------------------------------------------------- /test/Slicing/guiding-constraints.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/guiding-constraints.c -------------------------------------------------------------------------------- /test/Slicing/guiding-constraints2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/guiding-constraints2.c -------------------------------------------------------------------------------- /test/Slicing/guiding-constraints3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/guiding-constraints3.c -------------------------------------------------------------------------------- /test/Slicing/independent-functions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/independent-functions.c -------------------------------------------------------------------------------- /test/Slicing/infeasible.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/infeasible.c -------------------------------------------------------------------------------- /test/Slicing/infeasible2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/infeasible2.c -------------------------------------------------------------------------------- /test/Slicing/infeasible3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/infeasible3.c -------------------------------------------------------------------------------- /test/Slicing/infeasible4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/infeasible4.c -------------------------------------------------------------------------------- /test/Slicing/libc-atexit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/libc-atexit.c -------------------------------------------------------------------------------- /test/Slicing/malloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/malloc.c -------------------------------------------------------------------------------- /test/Slicing/multiple-allocsite-multiple-callsite.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/multiple-allocsite-multiple-callsite.c -------------------------------------------------------------------------------- /test/Slicing/multiple-slices.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/multiple-slices.c -------------------------------------------------------------------------------- /test/Slicing/no-skip-function-in-body.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/no-skip-function-in-body.c -------------------------------------------------------------------------------- /test/Slicing/non-void-skip-without-recovery.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/non-void-skip-without-recovery.c -------------------------------------------------------------------------------- /test/Slicing/non-void-skip-without-recovery2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/non-void-skip-without-recovery2.c -------------------------------------------------------------------------------- /test/Slicing/non-void-skip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/non-void-skip.c -------------------------------------------------------------------------------- /test/Slicing/non-void-skip2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/non-void-skip2.c -------------------------------------------------------------------------------- /test/Slicing/overriding-store-non-void.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/overriding-store-non-void.c -------------------------------------------------------------------------------- /test/Slicing/overriding-store-non-void2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/overriding-store-non-void2.c -------------------------------------------------------------------------------- /test/Slicing/overriding-store.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/overriding-store.c -------------------------------------------------------------------------------- /test/Slicing/overriding-store2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/overriding-store2.c -------------------------------------------------------------------------------- /test/Slicing/random-path-searcher.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/random-path-searcher.c -------------------------------------------------------------------------------- /test/Slicing/regression-pass.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/regression-pass.c -------------------------------------------------------------------------------- /test/Slicing/single-allocsite-multiple-callsite.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/single-allocsite-multiple-callsite.c -------------------------------------------------------------------------------- /test/Slicing/single-allocsite-multiple-callsite2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/single-allocsite-multiple-callsite2.c -------------------------------------------------------------------------------- /test/Slicing/single-allocsite-multiple-callsite3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/single-allocsite-multiple-callsite3.c -------------------------------------------------------------------------------- /test/Slicing/single-allocsite-single-callsite.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/single-allocsite-single-callsite.c -------------------------------------------------------------------------------- /test/Slicing/skip-called-function.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/skip-called-function.c -------------------------------------------------------------------------------- /test/Slicing/skip-calling-function.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/skip-calling-function.c -------------------------------------------------------------------------------- /test/Slicing/skip-multiple-without-recovery.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/skip-multiple-without-recovery.c -------------------------------------------------------------------------------- /test/Slicing/skip-switch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/skip-switch.c -------------------------------------------------------------------------------- /test/Slicing/skip-with-buffer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/skip-with-buffer.c -------------------------------------------------------------------------------- /test/Slicing/skip-with-buffer2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/skip-with-buffer2.c -------------------------------------------------------------------------------- /test/Slicing/skip-without-recovery.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/skip-without-recovery.c -------------------------------------------------------------------------------- /test/Slicing/test-check-consistency.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Slicing/test-check-consistency.c -------------------------------------------------------------------------------- /test/Solver/2016-04-12-array-parsing-bug.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Solver/2016-04-12-array-parsing-bug.kquery -------------------------------------------------------------------------------- /test/Solver/AShr_to_smtlib.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Solver/AShr_to_smtlib.kquery -------------------------------------------------------------------------------- /test/Solver/AShr_to_smtlib.kquery.good.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Solver/AShr_to_smtlib.kquery.good.smt2 -------------------------------------------------------------------------------- /test/Solver/FastCexSolver.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Solver/FastCexSolver.kquery -------------------------------------------------------------------------------- /test/Solver/LargeIntegers.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Solver/LargeIntegers.kquery -------------------------------------------------------------------------------- /test/Solver/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Solver/lit.local.cfg -------------------------------------------------------------------------------- /test/Solver/overshift-aright-by-constant.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Solver/overshift-aright-by-constant.kquery -------------------------------------------------------------------------------- /test/Solver/overshift-aright-by-symbolic.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Solver/overshift-aright-by-symbolic.kquery -------------------------------------------------------------------------------- /test/Solver/overshift-left-by-constant.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Solver/overshift-left-by-constant.kquery -------------------------------------------------------------------------------- /test/Solver/overshift-left-by-symbolic.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Solver/overshift-left-by-symbolic.kquery -------------------------------------------------------------------------------- /test/Solver/overshift-lright-by-constant.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Solver/overshift-lright-by-constant.kquery -------------------------------------------------------------------------------- /test/Solver/overshift-lright-by-symbolic.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/Solver/overshift-lright-by-symbolic.kquery -------------------------------------------------------------------------------- /test/TestRunner.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/TestRunner.sh -------------------------------------------------------------------------------- /test/lit.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/lit.cfg -------------------------------------------------------------------------------- /test/lit.site.cfg.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/lit.site.cfg.in -------------------------------------------------------------------------------- /test/regression/2007-07-25-invalid-stp-array-binding-to-objectstate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/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/davidtr1037/chopper/HEAD/test/regression/2007-07-30-unflushed-byte.c -------------------------------------------------------------------------------- /test/regression/2007-08-01-bool-zext-in-call.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/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/davidtr1037/chopper/HEAD/test/regression/2007-08-01-cache-unclear-on-overwrite-flushed.c -------------------------------------------------------------------------------- /test/regression/2007-08-06-64bit-shift.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/regression/2007-08-06-64bit-shift.c -------------------------------------------------------------------------------- /test/regression/2007-08-06-access-after-free.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/regression/2007-08-06-access-after-free.c -------------------------------------------------------------------------------- /test/regression/2007-08-08-free-zero.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/regression/2007-08-08-free-zero.c -------------------------------------------------------------------------------- /test/regression/2007-08-16-invalid-constant-value.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/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/davidtr1037/chopper/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/davidtr1037/chopper/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/davidtr1037/chopper/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/davidtr1037/chopper/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/davidtr1037/chopper/HEAD/test/regression/2008-03-04-free-of-global.c -------------------------------------------------------------------------------- /test/regression/2008-03-11-free-of-malloc-zero.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/regression/2008-03-11-free-of-malloc-zero.c -------------------------------------------------------------------------------- /test/regression/2008-04-10-bad-alloca-free.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/regression/2008-04-10-bad-alloca-free.c -------------------------------------------------------------------------------- /test/regression/2008-05-23-gep-with-global-const.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/regression/2008-05-23-gep-with-global-const.c -------------------------------------------------------------------------------- /test/regression/2012-05-13-asm-causes-aborts.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/regression/2012-05-13-asm-causes-aborts.c -------------------------------------------------------------------------------- /test/regression/2014-07-04-unflushed-error-report.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/regression/2014-07-04-unflushed-error-report.c -------------------------------------------------------------------------------- /test/regression/2014-12-08-ashr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/regression/2014-12-08-ashr.c -------------------------------------------------------------------------------- /test/regression/2015-06-22-struct-write.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/regression/2015-06-22-struct-write.c -------------------------------------------------------------------------------- /test/regression/2015-08-30-empty-constraints.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/regression/2015-08-30-empty-constraints.c -------------------------------------------------------------------------------- /test/regression/2015-08-30-sdiv-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/regression/2015-08-30-sdiv-1.c -------------------------------------------------------------------------------- /test/regression/2016-03-22-independence-solver-missing-objects-for-assignment.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/regression/2016-03-22-independence-solver-missing-objects-for-assignment.kquery -------------------------------------------------------------------------------- /test/regression/2016-04-14-sdiv-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/regression/2016-04-14-sdiv-2.c -------------------------------------------------------------------------------- /test/regression/2016-06-28-div-zero-bug.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/regression/2016-06-28-div-zero-bug.c -------------------------------------------------------------------------------- /test/regression/2016-08-06-klee-get-obj-size.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/regression/2016-08-06-klee-get-obj-size.c -------------------------------------------------------------------------------- /test/regression/2016-08-11-entry-point-internalize-pass.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/regression/2016-08-11-entry-point-internalize-pass.c -------------------------------------------------------------------------------- /test/regression/2016-08-12-empty-file.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/regression/2016-08-12-empty-file.c -------------------------------------------------------------------------------- /test/regression/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/test/regression/lit.local.cfg -------------------------------------------------------------------------------- /tools/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/tools/CMakeLists.txt -------------------------------------------------------------------------------- /tools/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/tools/Makefile -------------------------------------------------------------------------------- /tools/gen-random-bout/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/tools/gen-random-bout/CMakeLists.txt -------------------------------------------------------------------------------- /tools/gen-random-bout/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/tools/gen-random-bout/Makefile -------------------------------------------------------------------------------- /tools/gen-random-bout/gen-random-bout.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/tools/gen-random-bout/gen-random-bout.cpp -------------------------------------------------------------------------------- /tools/kleaver/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/tools/kleaver/CMakeLists.txt -------------------------------------------------------------------------------- /tools/kleaver/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/tools/kleaver/Makefile -------------------------------------------------------------------------------- /tools/kleaver/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/tools/kleaver/main.cpp -------------------------------------------------------------------------------- /tools/klee-replay/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/tools/klee-replay/CMakeLists.txt -------------------------------------------------------------------------------- /tools/klee-replay/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/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/davidtr1037/chopper/HEAD/tools/klee-replay/file-creator.c -------------------------------------------------------------------------------- /tools/klee-replay/klee-replay.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/tools/klee-replay/klee-replay.c -------------------------------------------------------------------------------- /tools/klee-replay/klee-replay.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/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/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/tools/klee-stats/CMakeLists.txt -------------------------------------------------------------------------------- /tools/klee-stats/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/tools/klee-stats/Makefile -------------------------------------------------------------------------------- /tools/klee-stats/klee-stats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/tools/klee-stats/klee-stats -------------------------------------------------------------------------------- /tools/klee/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/tools/klee/CMakeLists.txt -------------------------------------------------------------------------------- /tools/klee/Debug.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/tools/klee/Debug.cpp -------------------------------------------------------------------------------- /tools/klee/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/tools/klee/Makefile -------------------------------------------------------------------------------- /tools/klee/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/tools/klee/main.cpp -------------------------------------------------------------------------------- /tools/ktest-tool/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/tools/ktest-tool/CMakeLists.txt -------------------------------------------------------------------------------- /tools/ktest-tool/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/tools/ktest-tool/Makefile -------------------------------------------------------------------------------- /tools/ktest-tool/ktest-tool: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/tools/ktest-tool/ktest-tool -------------------------------------------------------------------------------- /unittests/Assignment/AssignmentTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/unittests/Assignment/AssignmentTest.cpp -------------------------------------------------------------------------------- /unittests/Assignment/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/unittests/Assignment/CMakeLists.txt -------------------------------------------------------------------------------- /unittests/Assignment/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/unittests/Assignment/Makefile -------------------------------------------------------------------------------- /unittests/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/unittests/CMakeLists.txt -------------------------------------------------------------------------------- /unittests/Expr/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/unittests/Expr/CMakeLists.txt -------------------------------------------------------------------------------- /unittests/Expr/ExprTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/unittests/Expr/ExprTest.cpp -------------------------------------------------------------------------------- /unittests/Expr/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/unittests/Expr/Makefile -------------------------------------------------------------------------------- /unittests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/unittests/Makefile -------------------------------------------------------------------------------- /unittests/Ref/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/unittests/Ref/CMakeLists.txt -------------------------------------------------------------------------------- /unittests/Ref/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/unittests/Ref/Makefile -------------------------------------------------------------------------------- /unittests/Ref/RefTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/unittests/Ref/RefTest.cpp -------------------------------------------------------------------------------- /unittests/Solver/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/unittests/Solver/CMakeLists.txt -------------------------------------------------------------------------------- /unittests/Solver/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/unittests/Solver/Makefile -------------------------------------------------------------------------------- /unittests/Solver/SolverTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/unittests/Solver/SolverTest.cpp -------------------------------------------------------------------------------- /unittests/TestMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/unittests/TestMain.cpp -------------------------------------------------------------------------------- /unittests/lit-unit-tests-common.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/unittests/lit-unit-tests-common.cfg -------------------------------------------------------------------------------- /unittests/lit-unit-tests-common.site.cfg.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/unittests/lit-unit-tests-common.site.cfg.in -------------------------------------------------------------------------------- /utils/data/Queries/pcresymperf-3.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/utils/data/Queries/pcresymperf-3.kquery -------------------------------------------------------------------------------- /utils/data/Queries/pcresymperf-4.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/utils/data/Queries/pcresymperf-4.kquery -------------------------------------------------------------------------------- /utils/emacs/klee-pc-mode.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/utils/emacs/klee-pc-mode.el -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Animate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/utils/hacks/TreeGraphs/Animate.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/DumpTreeStream.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/utils/hacks/TreeGraphs/DumpTreeStream.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Canvas/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/utils/hacks/TreeGraphs/Graphics/Canvas/__init__.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/Intersect2D.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/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/davidtr1037/chopper/HEAD/utils/hacks/TreeGraphs/Graphics/Geometry/mat2.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/mat3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/utils/hacks/TreeGraphs/Graphics/Geometry/mat3.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/mat4.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/utils/hacks/TreeGraphs/Graphics/Geometry/mat4.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/quat.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/utils/hacks/TreeGraphs/Graphics/Geometry/quat.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/vec2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/utils/hacks/TreeGraphs/Graphics/Geometry/vec2.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/vec3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/utils/hacks/TreeGraphs/Graphics/Geometry/vec3.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/vec4.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/utils/hacks/TreeGraphs/Graphics/Geometry/vec4.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/utils/hacks/TreeGraphs/Graphics/__init__.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/utils/hacks/TreeGraphs/README.txt -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/TreeGraph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/utils/hacks/TreeGraphs/TreeGraph.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/inputs/symPaths.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/utils/hacks/TreeGraphs/inputs/symPaths.ts -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/inputs/symPaths6.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/utils/hacks/TreeGraphs/inputs/symPaths6.ts -------------------------------------------------------------------------------- /utils/sanitizers/lsan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/utils/sanitizers/lsan.txt -------------------------------------------------------------------------------- /utils/valgrind/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/utils/valgrind/README.txt -------------------------------------------------------------------------------- /utils/valgrind/valgrind-llvm.supp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/utils/valgrind/valgrind-llvm.supp -------------------------------------------------------------------------------- /utils/valgrind/valgrind-stp.supp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davidtr1037/chopper/HEAD/utils/valgrind/valgrind-stp.supp --------------------------------------------------------------------------------