├── .clang-format ├── .gitignore ├── CMakeLists.txt ├── LICENSE.TXT ├── README.md ├── cmake ├── GetGitRevisionDescription.cmake ├── GetGitRevisionDescription.cmake.in ├── cmake_uninstall.cmake.in ├── compile_bitcode_library.cmake ├── compiler_warnings.cmake ├── find_metasmt.cmake ├── find_stp.cmake ├── find_z3.cmake └── modules │ └── FindZ3.cmake ├── 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 ├── regexp │ ├── Regexp.c │ └── notes.txt └── sort │ └── sort.c ├── include └── klee │ ├── ADT │ ├── BitArray.h │ ├── Bits.h │ ├── DiscretePDF.h │ ├── DiscretePDF.inc │ ├── ImmutableMap.h │ ├── ImmutableSet.h │ ├── ImmutableTree.h │ ├── KTest.h │ ├── MapOfSets.h │ ├── RNG.h │ ├── Ref.h │ └── TreeStream.h │ ├── Config │ ├── CompileTimeInfo.h.cmin │ ├── Version.h │ └── config.h.cmin │ ├── Core │ ├── BranchTypes.h │ ├── Interpreter.h │ └── TerminationTypes.h │ ├── Expr │ ├── ArrayCache.h │ ├── ArrayExprHash.h │ ├── ArrayExprOptimizer.h │ ├── ArrayExprRewriter.h │ ├── ArrayExprVisitor.h │ ├── Assignment.h │ ├── AssignmentGenerator.h │ ├── Constraints.h │ ├── Expr.h │ ├── ExprBuilder.h │ ├── ExprEvaluator.h │ ├── ExprHashMap.h │ ├── ExprPPrinter.h │ ├── ExprRangeEvaluator.h │ ├── ExprSMTLIBPrinter.h │ ├── ExprUtil.h │ ├── ExprVisitor.h │ └── Parser │ │ ├── Lexer.h │ │ └── Parser.h │ ├── KDAlloc │ ├── allocator.h │ ├── define.h │ ├── kdalloc.h │ ├── location_info.h │ ├── mapping.h │ ├── suballocators │ │ ├── cow_ptr.h │ │ ├── loh.h │ │ ├── sized_regions.h │ │ └── slot_allocator.h │ └── tagged_logger.h │ ├── Module │ ├── Cell.h │ ├── InstructionInfoTable.h │ ├── KCallable.h │ ├── KInstIterator.h │ ├── KInstruction.h │ └── KModule.h │ ├── Solver │ ├── Common.h │ ├── IncompleteSolver.h │ ├── Solver.h │ ├── SolverCmdLine.h │ ├── SolverImpl.h │ └── SolverStats.h │ ├── Statistics │ ├── Statistic.h │ ├── Statistics.h │ └── TimerStatIncrementer.h │ ├── Support │ ├── Casting.h │ ├── CompilerWarning.h │ ├── CompressionStream.h │ ├── Debug.h │ ├── ErrorHandling.h │ ├── FileHandling.h │ ├── ModuleUtil.h │ ├── OptionCategories.h │ ├── PrintContext.h │ ├── PrintVersion.h │ └── Timer.h │ ├── System │ ├── MemoryUsage.h │ └── Time.h │ └── klee.h ├── lib ├── Basic │ ├── CMakeLists.txt │ ├── KTest.cpp │ ├── README.txt │ └── Statistics.cpp ├── CMakeLists.txt ├── Core │ ├── AddressSpace.cpp │ ├── AddressSpace.h │ ├── CMakeLists.txt │ ├── CallPathManager.cpp │ ├── CallPathManager.h │ ├── Context.cpp │ ├── Context.h │ ├── CoreStats.cpp │ ├── CoreStats.h │ ├── ExecutionState.cpp │ ├── ExecutionState.h │ ├── ExecutionTree.cpp │ ├── ExecutionTree.h │ ├── ExecutionTreeWriter.cpp │ ├── ExecutionTreeWriter.h │ ├── Executor.cpp │ ├── Executor.h │ ├── ExecutorUtil.cpp │ ├── ExternalDispatcher.cpp │ ├── ExternalDispatcher.h │ ├── GetElementPtrTypeIterator.h │ ├── ImpliedValue.cpp │ ├── ImpliedValue.h │ ├── Memory.cpp │ ├── Memory.h │ ├── MemoryManager.cpp │ ├── MemoryManager.h │ ├── MergeHandler.cpp │ ├── MergeHandler.h │ ├── Searcher.cpp │ ├── Searcher.h │ ├── SearcherData.cpp │ ├── SearcherData.h │ ├── SearcherDefs.h │ ├── SearcherGraph.cpp │ ├── SearcherGraph.h │ ├── SearcherGraphAlgorithm.hpp │ ├── SearcherHelper.cpp │ ├── SearcherHelper.h │ ├── SearcherLog.cpp │ ├── SearcherLog.h │ ├── SeedInfo.cpp │ ├── SeedInfo.h │ ├── SpecialFunctionHandler.cpp │ ├── SpecialFunctionHandler.h │ ├── StatsTracker.cpp │ ├── StatsTracker.h │ ├── TimingSolver.cpp │ ├── TimingSolver.h │ ├── UserSearcher.cpp │ └── UserSearcher.h ├── Expr │ ├── ArrayCache.cpp │ ├── ArrayExprOptimizer.cpp │ ├── ArrayExprRewriter.cpp │ ├── ArrayExprVisitor.cpp │ ├── Assignment.cpp │ ├── AssignmentGenerator.cpp │ ├── CMakeLists.txt │ ├── Constraints.cpp │ ├── Expr.cpp │ ├── ExprBuilder.cpp │ ├── ExprEvaluator.cpp │ ├── ExprPPrinter.cpp │ ├── ExprSMTLIBPrinter.cpp │ ├── ExprUtil.cpp │ ├── ExprVisitor.cpp │ ├── Lexer.cpp │ ├── Parser.cpp │ └── Updates.cpp ├── Module │ ├── CMakeLists.txt │ ├── Checks.cpp │ ├── FunctionAlias.cpp │ ├── InstructionInfoTable.cpp │ ├── InstructionOperandTypeCheckPass.cpp │ ├── Instrument.cpp │ ├── InstrumentLegacy.cpp │ ├── IntrinsicCleaner.cpp │ ├── KInstruction.cpp │ ├── KLEEIRMetaData.h │ ├── KModule.cpp │ ├── LowerSwitch.cpp │ ├── ModuleHelper.h │ ├── ModuleUtil.cpp │ ├── OptNone.cpp │ ├── Optimize.cpp │ ├── OptimizeLegacy.cpp │ ├── Passes.h │ ├── PhiCleaner.cpp │ └── RaiseAsm.cpp ├── README.txt ├── Solver │ ├── AssignmentValidatingSolver.cpp │ ├── CMakeLists.txt │ ├── CachingSolver.cpp │ ├── CexCachingSolver.cpp │ ├── ConstantDivision.cpp │ ├── ConstantDivision.h │ ├── ConstructSolverChain.cpp │ ├── CoreSolver.cpp │ ├── DummySolver.cpp │ ├── FastCexSolver.cpp │ ├── IncompleteSolver.cpp │ ├── IndependentSolver.cpp │ ├── KQueryLoggingSolver.cpp │ ├── MetaSMTBuilder.h │ ├── MetaSMTSolver.cpp │ ├── MetaSMTSolver.h │ ├── QueryLoggingSolver.cpp │ ├── QueryLoggingSolver.h │ ├── SMTLIBLoggingSolver.cpp │ ├── STPBuilder.cpp │ ├── STPBuilder.h │ ├── STPSolver.cpp │ ├── STPSolver.h │ ├── Solver.cpp │ ├── SolverCmdLine.cpp │ ├── SolverImpl.cpp │ ├── SolverStats.cpp │ ├── ValidatingSolver.cpp │ ├── Z3Builder.cpp │ ├── Z3Builder.h │ ├── Z3Solver.cpp │ └── Z3Solver.h └── Support │ ├── CMakeLists.txt │ ├── CompressionStream.cpp │ ├── ErrorHandling.cpp │ ├── FileHandling.cpp │ ├── MemoryUsage.cpp │ ├── PrintVersion.cpp │ ├── README.txt │ ├── RNG.cpp │ ├── Time.cpp │ ├── Timer.cpp │ └── TreeStream.cpp ├── runtime ├── CMakeLists.txt ├── Fortify │ ├── CMakeLists.txt │ └── fortify.c ├── Freestanding │ ├── CMakeLists.txt │ ├── fortify-fs.c │ ├── memcmp.c │ ├── memcpy.c │ ├── memmove.c │ └── memset.c ├── Intrinsic │ ├── CMakeLists.txt │ ├── dso_handle.c │ ├── klee_choose.c │ ├── klee_div_zero_check.c │ ├── klee_int.c │ ├── klee_is_replay.c │ ├── klee_overshift_check.c │ └── klee_range.c ├── POSIX │ ├── CMakeLists.txt │ ├── FreeBSD.h │ ├── 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 │ └── intrinsics.c ├── Sanitizer │ ├── CMakeLists.txt │ ├── README.md │ ├── sanitizer_common │ │ ├── sanitizer_common.h │ │ ├── sanitizer_internal_defs.h │ │ └── sanitizer_platform.h │ └── ubsan │ │ ├── ubsan_checks.inc │ │ ├── ubsan_diag.h │ │ ├── ubsan_handlers.cpp │ │ ├── ubsan_handlers.h │ │ └── ubsan_value.h ├── klee-eh-cxx │ ├── CMakeLists.txt │ └── klee_eh_cxx.cpp └── klee-libc │ ├── CMakeLists.txt │ ├── __cxa_atexit.c │ ├── abort.c │ ├── atexit.c │ ├── atoi.c │ ├── bcmp.c │ ├── calloc.c │ ├── fortify-klibc.c │ ├── htonl.c │ ├── memchr.c │ ├── mempcpy.c │ ├── putchar.c │ ├── stpcpy.c │ ├── strcat.c │ ├── strchr.c │ ├── strcmp.c │ ├── strcoll.c │ ├── strcpy.c │ ├── strlen.c │ ├── strncmp.c │ ├── strncpy.c │ ├── strrchr.c │ ├── strtol.c │ ├── strtoul.c │ ├── tolower.c │ └── toupper.c ├── scripts ├── IStatsMerge.py ├── IStatsSum.py ├── build │ ├── build-ci-container.py │ ├── build.sh │ ├── common-functions │ ├── d-klee-linux-ubuntu.inc │ ├── p-clang-linux-ubuntu-22.04.inc │ ├── p-clang-linux-ubuntu.inc │ ├── p-clang-linux.inc │ ├── p-clang-osx.inc │ ├── p-clang.inc │ ├── p-cmake-linux-ubuntu.inc │ ├── p-cmake-osx.inc │ ├── p-gtest-linux-ubuntu.inc │ ├── p-gtest-osx.inc │ ├── p-gtest.inc │ ├── p-klee-linux-ubuntu.inc │ ├── p-klee-osx.inc │ ├── p-klee.inc │ ├── p-libcxx-linux-ubuntu.inc │ ├── p-libcxx-osx.inc │ ├── p-libcxx.inc │ ├── p-llvm-linux-ubuntu.inc │ ├── p-llvm-osx.inc │ ├── p-llvm.inc │ ├── p-metasmt-linux-ubuntu.inc │ ├── p-metasmt.inc │ ├── p-sanitizer-linux-ubuntu.inc │ ├── p-sanitizer-linux.inc │ ├── p-sqlite-linux-ubuntu.inc │ ├── p-sqlite-osx.inc │ ├── p-sqlite.inc │ ├── p-stp-linux-ubuntu.inc │ ├── p-stp-osx.inc │ ├── p-stp.inc │ ├── p-tcmalloc-linux-ubuntu.inc │ ├── p-tcmalloc.inc │ ├── p-uclibc-linux-ubuntu.inc │ ├── p-uclibc.inc │ ├── p-z3-linux-ubuntu.inc │ ├── p-z3-osx.inc │ ├── p-z3.inc │ ├── patches │ │ ├── libcxx110.patch │ │ ├── llvm110.patch │ │ ├── llvm120.patch │ │ └── metasmt.patch │ ├── run-tests.sh │ ├── sanitizer │ │ ├── klee.txt │ │ └── sqlite.txt │ ├── v-clang.inc │ ├── v-cmake.inc │ ├── v-gtest.inc │ ├── v-klee.inc │ ├── v-libcxx.inc │ ├── v-llvm.inc │ ├── v-metasmt.inc │ ├── v-sanitizer.inc │ ├── v-sanitizer_compiler.inc │ ├── v-solvers.inc │ ├── v-sqlite.inc │ ├── v-stp.inc │ ├── v-tcmalloc.inc │ ├── v-uclibc.inc │ └── v-z3.inc ├── genTempFiles.sh ├── klee-chroot-env ├── klee-control └── objdump ├── test ├── .clang-format ├── ArrayOpt │ ├── test-mix.c │ ├── test_and.c │ ├── test_array_index_array.c │ ├── test_array_index_array_diffsize.c │ ├── test_cache.c │ ├── test_const_arr-idx.c │ ├── test_expr_arbitrary.c │ ├── test_expr_complex.c │ ├── test_expr_mul.c │ ├── test_expr_simple.c │ ├── test_feasible.c │ ├── test_hybrid.c │ ├── test_mixed_hole.c │ ├── test_multindex.c │ ├── test_multindex_multarray.c │ ├── test_new.c │ ├── test_nier.c │ ├── test_noncontiguous_idx.c │ ├── test_position.c │ ├── test_sub_idx.c │ ├── test_update_list_order.c │ └── test_var_idx.c ├── CMakeLists.txt ├── CXX │ ├── ArrayNew.cpp │ ├── LandingPad.cpp │ ├── New.cpp │ ├── SimpleVirtual.cpp │ ├── StaticConstructor.cpp │ ├── StaticDestructor.cpp │ ├── Trivial.cpp │ └── symex │ │ ├── basic_c++ │ │ ├── diamond.cpp │ │ ├── inheritance.cpp │ │ ├── lambda.cpp │ │ ├── namespace.cpp │ │ ├── reinterpret_cast.cpp │ │ ├── simple.cpp │ │ ├── templates.cpp │ │ └── virtual.cpp │ │ └── libc++ │ │ ├── atexit.cpp │ │ ├── can_catch_test.cpp │ │ ├── catch_recover.cpp │ │ ├── catch_with_adjusted_exception_pointer.cpp │ │ ├── cout.cpp │ │ ├── cout_sym.cpp │ │ ├── dynamic_cast.cpp │ │ ├── exception.cpp │ │ ├── exception_inheritance.cpp │ │ ├── general_catch.cpp │ │ ├── landingpad.cpp │ │ ├── multi_throw.cpp │ │ ├── multi_unwind.cpp │ │ ├── nested.cpp │ │ ├── nested_fail.cpp │ │ ├── rethrow.cpp │ │ ├── simple_exception.cpp │ │ ├── simple_exception_fail.cpp │ │ ├── symbolic_exception.cpp │ │ ├── throw_specifiers.cpp │ │ ├── throwing_exception_destructor.cpp │ │ ├── uncaught_exception.cpp │ │ └── vector.cpp ├── Concrete │ ├── BitwiseOps.ll │ ├── BoolReadWrite.ll │ ├── CMakeLists.txt │ ├── Casts.ll │ ├── CmpEq.ll │ ├── ConcreteTest.py │ ├── ConstantExpr.ll │ ├── ConstantExprOld.ll │ ├── ConstantInit.ll │ ├── FloatingPointOps.ll │ ├── GlobalInitializers.ll │ ├── GlobalUndef.ll │ ├── GlobalVariable.ll │ ├── ICmp.ll │ ├── 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 ├── DeterministicAllocation │ ├── OneOutOfBounds.c │ ├── double-free-loh.c │ ├── double-free.c │ ├── madvise.c │ ├── nullpage-read.c │ ├── nullpage-write.c │ ├── use-after-free-loh.c │ └── use-after-free.c ├── Dogfood │ └── ImmutableSet.cpp ├── Feature │ ├── AddressOfLabels.c │ ├── AddressOfLabelsSymbolic.c │ ├── Alias.c │ ├── Atomic.c │ ├── BFSSearcher.c │ ├── BFSSearcherAndDFSSearcherInterleaved.c │ ├── BitcastAlias.ll │ ├── BitcastAliasMD2U.ll │ ├── ByteSwap.c │ ├── CallToUndefinedExternal.cpp │ ├── CheckForImpliedValue.c.failing │ ├── CheckMemoryAccess.c │ ├── CompressedExprLogging.c │ ├── ConcretizeSymbolicExternals.c │ ├── ConstantArray.ll │ ├── ConstantStruct.ll │ ├── CopyOnWrite.c │ ├── DanglingConcreteReadExpr.c │ ├── DefineFixedObject.c │ ├── DeterministicSwitch.c │ ├── DivCheck.c │ ├── DoubleFree.c │ ├── DumpStatesOnHalt.c │ ├── EntryPoint.c │ ├── EntryPointMissing.c │ ├── EntryPointUclibcPosix.c │ ├── Envp.c │ ├── EscapingFunctions.c │ ├── EscapingFunctionsAlias.c │ ├── ExitOnErrorType.c │ ├── ExprLogging.c │ ├── ExtCall.c │ ├── ExtCallOverapprox.c │ ├── ExtCallWarnings.c │ ├── ExternalWeakLinkage.c │ ├── FNeg.ll │ ├── Float.c │ ├── FloatingPt.c │ ├── FunctionAlias.c │ ├── FunctionAliasExit.c │ ├── FunctionAliasVarArg.c │ ├── FunctionPointer.c │ ├── GetElementPtr.ll │ ├── GetValue.c │ ├── GlobalVariable.ll │ ├── ImpliedValue.c.failing │ ├── InAndOutOfBounds.c │ ├── IndirectCallToBuiltin.c │ ├── IndirectCallToExternal.c │ ├── InlineAsm.c │ ├── InsertExtractValue.ll │ ├── InvalidBitfieldAccess.c.failing │ ├── IsSymbolic.c │ ├── KleeReportError.c │ ├── LargeArrayBecomesSym.c │ ├── LargeReturnTypes.cpp │ ├── LinkLLVMLib.c │ ├── LoggingInstructions.c │ ├── LongDouble.c │ ├── LongDoubleSupport.c │ ├── LowerSwitch.c │ ├── MakeConcreteSymbolic.c │ ├── MakeSymbolicAPI.c │ ├── MakeSymbolicName.c │ ├── MaxStaticForkPct.c │ ├── Memalign.c │ ├── MemoryLimit.c │ ├── MultiMkSym.c │ ├── MultipleFreeResolution.c │ ├── MultipleReadResolution.c │ ├── MultipleReallocResolution.c │ ├── MultipleWriteResolution.c │ ├── NamedSeedMatching.c │ ├── NoExternalCallsAllowed.c │ ├── NonSizedGlobals.c │ ├── OneFreeError.c │ ├── OneOutOfBounds.c │ ├── Optimize.c │ ├── OverlappedError.c │ ├── OvershiftCheck.c │ ├── PreferCex.c │ ├── RaiseAsm.c │ ├── ReadExprConsistency.c │ ├── ReadStringAtAddress.c │ ├── Realloc.c │ ├── ReplayPath.c │ ├── RewriteEqualities.c │ ├── Searchers.c │ ├── SeedConcretizeExtendFP.c │ ├── SeedConcretizeExternalCall.c │ ├── SeedConcretizeFP.c │ ├── SeedConcretizeMalloc.c │ ├── SeedExtension.c │ ├── SetForking.c │ ├── ShiftCheck.c │ ├── SilentKleeAssume.c │ ├── SingleObjectResolution.c │ ├── SolverTimeout.c │ ├── SourceMapping.c │ ├── StackOverflow.c │ ├── StackTraceOutput.c │ ├── TargetMismatch.c │ ├── VarArg.c │ ├── VarArgAlignment.c │ ├── VarArgByVal.c │ ├── VarArgByValOld.c │ ├── VarArgByValReported.c │ ├── VarArgLongDouble.c │ ├── WithLibc.c │ ├── WriteCov.c │ ├── _utils._ll │ ├── arithmetic-right-overshift-sym-conc.c │ ├── asm_lifting.ll │ ├── consecutive_divide_by_zero.c │ ├── const_array_opt1.c │ ├── left-overshift-sym-conc.c │ ├── logical-right-overshift-sym-conc.c │ ├── srem.c │ ├── ubsan │ │ ├── ubsan_alignment-assumption.c │ │ ├── ubsan_alignment-assumption_with_offset.c │ │ ├── ubsan_alignment-type-mismatch.c │ │ ├── ubsan_array_bounds.c │ │ ├── ubsan_bool.c │ │ ├── ubsan_builtin.c │ │ ├── ubsan_enum.cpp │ │ ├── ubsan_float_cast_overflow.c │ │ ├── ubsan_float_divide_by_zero.c │ │ ├── ubsan_implicit_integer_sign_change.c │ │ ├── ubsan_implicit_signed_integer_truncation.c │ │ ├── ubsan_implicit_unsigned_integer_truncation.c │ │ ├── ubsan_integer_divide_by_zero.c │ │ ├── ubsan_nonnull_attribute.c │ │ ├── ubsan_null.c │ │ ├── ubsan_nullability_arg.c │ │ ├── ubsan_nullability_assign.c │ │ ├── ubsan_nullability_return.c │ │ ├── ubsan_pointer_overflow-applying_nonzero_offset_to_nonnull_pointer.c │ │ ├── ubsan_pointer_overflow-applying_nonzero_offset_to_null_pointer.c │ │ ├── ubsan_pointer_overflow-applying_zero_offset_to_null_pointer.c │ │ ├── ubsan_pointer_overflow-pointer_arithmetic.c │ │ ├── ubsan_return.cpp │ │ ├── ubsan_returns_nonnull_attribute.c │ │ ├── ubsan_shift_base.c │ │ ├── ubsan_shift_exponent.c │ │ ├── ubsan_signed_integer_overflow.c │ │ ├── ubsan_unreachable.c │ │ ├── ubsan_unsigned_integer_overflow.c │ │ ├── ubsan_unsigned_shift_base.c │ │ └── ubsan_vla_bound.c │ └── utils.h ├── Intrinsics │ ├── FMulAdd.ll │ ├── IntrinsicTrap.ll │ ├── IsConstant.ll │ ├── MinMax.ll │ ├── Missing.ll │ ├── Overflow.ll │ ├── OverflowMul.ll │ ├── Saturating.ll │ ├── abs-no-overflow.ll │ ├── abs-overflow.ll │ ├── fabs.ll │ ├── fshlr.ll │ ├── noalias-scope-decl.ll │ └── objectsize.ll ├── Merging │ ├── batching_break.c │ ├── easy_merge.c │ ├── incomplete_merge.c │ ├── indirect_value.c │ ├── loop_merge.c │ ├── merge_fail.c │ ├── nested_merge.c │ ├── split_merge.c │ ├── state_termination.c │ └── unexpected_close.c ├── README ├── Replay │ ├── klee-replay │ │ ├── KTestGen.c │ │ ├── KTestRandGen.c │ │ └── KleeZesti.c │ └── libkleeruntest │ │ ├── replay_cex_after_assumed_malloc.c │ │ ├── replay_cex_incorrect_result.c │ │ ├── replay_detection.c │ │ ├── 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_klee_prefer_cex.c │ │ ├── replay_merge.c │ │ ├── replay_posix_runtime.c │ │ ├── replay_simple.c │ │ └── replay_two_objects.c ├── Runtime │ ├── FreeStanding │ │ ├── freestanding_only.c │ │ ├── memcpy_chk.c │ │ └── memcpy_chk_err.c │ ├── POSIX │ │ ├── CanonicalizeFileName.c │ │ ├── DirConsistency.c │ │ ├── DirSeek.c │ │ ├── Envp.c │ │ ├── FDNumbers.c │ │ ├── FD_Fail.c │ │ ├── FD_Fail2.c │ │ ├── Fcntl.c │ │ ├── FilePerm.c │ │ ├── FileTime.c │ │ ├── FreeArgv.c │ │ ├── Futimesat.c │ │ ├── GetcwdFail.c │ │ ├── Getenv.c │ │ ├── Ioctl.c │ │ ├── Isatty.c │ │ ├── MixedConcreteSymbolic.c │ │ ├── Openat.c │ │ ├── PrgName.c │ │ ├── Read1.c │ │ ├── Replay.c │ │ ├── SELinux │ │ │ ├── SELinux.c │ │ │ └── lit.local.cfg │ │ ├── SeedAndFail.c │ │ ├── Stdin.c │ │ ├── SymFileConsistency.c │ │ ├── TestMain.c │ │ ├── Usage.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 │ │ └── strcpy_chk.c │ └── klee-libc │ │ ├── atexit_order.c │ │ ├── bcmp.c │ │ ├── cxa_thread_atexit_impl.c │ │ ├── mempcpy.c │ │ └── strcat_chk.c ├── Solver │ ├── 2016-04-12-array-parsing-bug.kquery │ ├── AShr_to_smtlib.kquery │ ├── AShr_to_smtlib.kquery.good.smt2 │ ├── CrosscheckCoreStpZ3.c │ ├── DummySolver.c │ ├── ExerciseSolver.c.inc │ ├── FastCexSolver.kquery │ ├── LargeIntegers.kquery │ ├── NoSTP.c │ ├── NoZ3.c │ ├── STPDumpDebugQueries.c │ ├── STPswitchSAT.c │ ├── ValidatingSolver.c │ ├── Z3ConstantArray.c │ ├── Z3LargeConstantArray.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 ├── VectorInstructions │ ├── external_call.c │ ├── extract_element.c │ ├── floating_point_ops_constant.c │ ├── insert_element.c │ ├── integer_ops_constant.c │ ├── integer_ops_signed_symbolic.c │ ├── integer_ops_unsigned_symbolic.c │ ├── memset.c │ ├── oob-read.c │ ├── oob-write.c │ └── shuffle_element.c ├── kleaver │ ├── 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 ├── klee-exec-tree │ ├── KleeExecTreeBogus.test │ ├── WriteExecutionTree.c │ └── exec-tree-dbs │ │ ├── duplicated_node.csv │ │ ├── empty_db.csv │ │ ├── invalid_btype.csv │ │ ├── invalid_ttype.csv │ │ ├── loop.csv │ │ ├── missing_after_max.csv │ │ ├── missing_before_max.csv │ │ ├── node_id0.csv │ │ └── not_a.db ├── klee-stats │ ├── KleeStats.c │ ├── KleeStatsBranches.c │ ├── KleeStatsColumns.test │ ├── KleeStatsCsv.test │ ├── KleeStatsEmpty.test │ ├── KleeStatsNoBr.c │ ├── KleeStatsTermClasses.c │ ├── additional_column │ │ ├── info │ │ └── run.stats │ ├── empty │ │ ├── info │ │ └── run.stats │ ├── missing_column │ │ ├── info │ │ └── run.stats │ └── run │ │ ├── info │ │ └── run.stats ├── 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 │ ├── 2014-07-04-unflushed-error-report.c │ ├── 2014-09-13-debug-info.c │ ├── 2014-12-08-ashr.c │ ├── 2015-06-22-struct-write.c │ ├── 2015-08-05-invalid-fork.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 │ ├── 2016-11-24-bitcast-weak-alias.c │ ├── 2016-12-14-alloc-alignment.c │ ├── 2017-02-21-pathOS-id.c │ ├── 2017-03-23-early-exit-log-stats.c │ ├── 2017-11-01-test-with-empty-varname.c │ ├── 2018-04-05-make-symbolic-null-name.c │ ├── 2018-05-05-number-instructions-dumped-states.c │ ├── 2018-05-17-replay-short-names.c │ ├── 2018-10-01-double-segfault.c │ ├── 2018-10-28-alias-to-alias.ll │ ├── 2018-10-30-llvm-pr39177.ll │ ├── 2019-05-30_known-bitcast-alias.ll │ ├── 2019-05-30_unknown-bitcast-alias.ll │ ├── 2019-05-31_simple-unknown-bitcast-alias.ll │ ├── 2019-08-01-trap-instruction.ll │ ├── 2019-08-02-missing-switch-default.ll │ ├── 2019-09-06-make-const-symbolic.c │ ├── 2020-01-14-fabs-compare.c │ ├── 2020-02-24-count-paths-nodump.c │ ├── 2020-04-11-batching-search-zero-time-budget.c │ ├── 2020-04-27-stp-array-names.c │ ├── 2022-06-28-asm-causes-error.c │ ├── 2023-11-20-solver.c │ └── lit.local.cfg ├── tools ├── CMakeLists.txt ├── kleaver │ ├── CMakeLists.txt │ └── main.cpp ├── klee-exec-tree │ ├── CMakeLists.txt │ ├── DFSVisitor.cpp │ ├── DFSVisitor.h │ ├── Printers.cpp │ ├── Printers.h │ ├── Tree.cpp │ ├── Tree.h │ └── main.cpp ├── klee-replay │ ├── CMakeLists.txt │ ├── fd_init.c │ ├── file-creator.c │ ├── klee-replay.c │ ├── klee-replay.h │ └── klee_init_env.c ├── klee-stats │ ├── CMakeLists.txt │ └── klee-stats ├── klee-zesti │ ├── CMakeLists.txt │ └── klee-zesti ├── klee │ ├── CMakeLists.txt │ └── main.cpp ├── ktest-gen │ ├── CMakeLists.txt │ └── ktest-gen.cpp ├── ktest-randgen │ ├── CMakeLists.txt │ └── ktest-randgen.cpp └── ktest-tool │ ├── CMakeLists.txt │ └── ktest-tool ├── unittests ├── Assignment │ ├── AssignmentTest.cpp │ └── CMakeLists.txt ├── CMakeLists.txt ├── DiscretePDF │ ├── CMakeLists.txt │ └── DiscretePDFTest.cpp ├── Expr │ ├── ArrayExprTest.cpp │ ├── CMakeLists.txt │ └── ExprTest.cpp ├── KDAlloc │ ├── CMakeLists.txt │ ├── allocate.cpp │ ├── randomtest.cpp │ ├── reuse.cpp │ ├── rusage.cpp │ ├── sample.cpp │ ├── stacktest.cpp │ └── xoshiro.h ├── RNG │ ├── CMakeLists.txt │ └── RNGTest.cpp ├── Ref │ ├── CMakeLists.txt │ └── RefTest.cpp ├── Searcher │ ├── CMakeLists.txt │ └── SearcherTest.cpp ├── Solver │ ├── CMakeLists.txt │ ├── SolverTest.cpp │ └── Z3SolverTest.cpp ├── TestMain.cpp ├── Time │ ├── CMakeLists.txt │ └── TimeTest.cpp ├── TreeStream │ ├── CMakeLists.txt │ └── TreeStreamTest.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 ├── grafana ├── Dockerfile ├── dashboard.yml ├── datasource.yml ├── grafana.ini ├── klee_dashboard.json └── upload.sh ├── 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 └── ubsan.txt └── valgrind ├── README.txt ├── valgrind-llvm.supp └── valgrind-stp.supp /.clang-format: -------------------------------------------------------------------------------- 1 | --- 2 | BasedOnStyle: LLVM 3 | Standard: c++17 4 | ... 5 | -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/.gitignore -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE.TXT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/LICENSE.TXT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/README.md -------------------------------------------------------------------------------- /cmake/GetGitRevisionDescription.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/cmake/GetGitRevisionDescription.cmake -------------------------------------------------------------------------------- /cmake/GetGitRevisionDescription.cmake.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/cmake/GetGitRevisionDescription.cmake.in -------------------------------------------------------------------------------- /cmake/cmake_uninstall.cmake.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/cmake/cmake_uninstall.cmake.in -------------------------------------------------------------------------------- /cmake/compile_bitcode_library.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/cmake/compile_bitcode_library.cmake -------------------------------------------------------------------------------- /cmake/compiler_warnings.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/cmake/compiler_warnings.cmake -------------------------------------------------------------------------------- /cmake/find_metasmt.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/cmake/find_metasmt.cmake -------------------------------------------------------------------------------- /cmake/find_stp.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/cmake/find_stp.cmake -------------------------------------------------------------------------------- /cmake/find_z3.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/cmake/find_z3.cmake -------------------------------------------------------------------------------- /cmake/modules/FindZ3.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/cmake/modules/FindZ3.cmake -------------------------------------------------------------------------------- /docs/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/docs/CMakeLists.txt -------------------------------------------------------------------------------- /docs/SMT-COMP/BitVector_ArraysEx.smt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/docs/SMT-COMP/BitVector_ArraysEx.smt -------------------------------------------------------------------------------- /docs/SMT-COMP/BitVectors.smt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/docs/SMT-COMP/BitVectors.smt -------------------------------------------------------------------------------- /docs/SMT-COMP/QF_AUFBV.smt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/docs/SMT-COMP/QF_AUFBV.smt -------------------------------------------------------------------------------- /docs/SMT-COMP/QF_BV.smt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/docs/SMT-COMP/QF_BV.smt -------------------------------------------------------------------------------- /docs/doxygen.cfg.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/docs/doxygen.cfg.in -------------------------------------------------------------------------------- /docs/intro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/docs/intro -------------------------------------------------------------------------------- /docs/overview: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/docs/overview -------------------------------------------------------------------------------- /examples/get_sign/get_sign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/examples/get_sign/get_sign.c -------------------------------------------------------------------------------- /examples/regexp/Regexp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/examples/regexp/Regexp.c -------------------------------------------------------------------------------- /examples/regexp/notes.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/examples/regexp/notes.txt -------------------------------------------------------------------------------- /examples/sort/sort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/examples/sort/sort.c -------------------------------------------------------------------------------- /include/klee/ADT/BitArray.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/ADT/BitArray.h -------------------------------------------------------------------------------- /include/klee/ADT/Bits.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/ADT/Bits.h -------------------------------------------------------------------------------- /include/klee/ADT/DiscretePDF.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/ADT/DiscretePDF.h -------------------------------------------------------------------------------- /include/klee/ADT/DiscretePDF.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/ADT/DiscretePDF.inc -------------------------------------------------------------------------------- /include/klee/ADT/ImmutableMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/ADT/ImmutableMap.h -------------------------------------------------------------------------------- /include/klee/ADT/ImmutableSet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/ADT/ImmutableSet.h -------------------------------------------------------------------------------- /include/klee/ADT/ImmutableTree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/ADT/ImmutableTree.h -------------------------------------------------------------------------------- /include/klee/ADT/KTest.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/ADT/KTest.h -------------------------------------------------------------------------------- /include/klee/ADT/MapOfSets.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/ADT/MapOfSets.h -------------------------------------------------------------------------------- /include/klee/ADT/RNG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/ADT/RNG.h -------------------------------------------------------------------------------- /include/klee/ADT/Ref.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/ADT/Ref.h -------------------------------------------------------------------------------- /include/klee/ADT/TreeStream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/ADT/TreeStream.h -------------------------------------------------------------------------------- /include/klee/Config/CompileTimeInfo.h.cmin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Config/CompileTimeInfo.h.cmin -------------------------------------------------------------------------------- /include/klee/Config/Version.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Config/Version.h -------------------------------------------------------------------------------- /include/klee/Config/config.h.cmin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Config/config.h.cmin -------------------------------------------------------------------------------- /include/klee/Core/BranchTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Core/BranchTypes.h -------------------------------------------------------------------------------- /include/klee/Core/Interpreter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Core/Interpreter.h -------------------------------------------------------------------------------- /include/klee/Core/TerminationTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Core/TerminationTypes.h -------------------------------------------------------------------------------- /include/klee/Expr/ArrayCache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Expr/ArrayCache.h -------------------------------------------------------------------------------- /include/klee/Expr/ArrayExprHash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Expr/ArrayExprHash.h -------------------------------------------------------------------------------- /include/klee/Expr/ArrayExprOptimizer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Expr/ArrayExprOptimizer.h -------------------------------------------------------------------------------- /include/klee/Expr/ArrayExprRewriter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Expr/ArrayExprRewriter.h -------------------------------------------------------------------------------- /include/klee/Expr/ArrayExprVisitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Expr/ArrayExprVisitor.h -------------------------------------------------------------------------------- /include/klee/Expr/Assignment.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Expr/Assignment.h -------------------------------------------------------------------------------- /include/klee/Expr/AssignmentGenerator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Expr/AssignmentGenerator.h -------------------------------------------------------------------------------- /include/klee/Expr/Constraints.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Expr/Constraints.h -------------------------------------------------------------------------------- /include/klee/Expr/Expr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Expr/Expr.h -------------------------------------------------------------------------------- /include/klee/Expr/ExprBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Expr/ExprBuilder.h -------------------------------------------------------------------------------- /include/klee/Expr/ExprEvaluator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Expr/ExprEvaluator.h -------------------------------------------------------------------------------- /include/klee/Expr/ExprHashMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Expr/ExprHashMap.h -------------------------------------------------------------------------------- /include/klee/Expr/ExprPPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Expr/ExprPPrinter.h -------------------------------------------------------------------------------- /include/klee/Expr/ExprRangeEvaluator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Expr/ExprRangeEvaluator.h -------------------------------------------------------------------------------- /include/klee/Expr/ExprSMTLIBPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Expr/ExprSMTLIBPrinter.h -------------------------------------------------------------------------------- /include/klee/Expr/ExprUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Expr/ExprUtil.h -------------------------------------------------------------------------------- /include/klee/Expr/ExprVisitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Expr/ExprVisitor.h -------------------------------------------------------------------------------- /include/klee/Expr/Parser/Lexer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Expr/Parser/Lexer.h -------------------------------------------------------------------------------- /include/klee/Expr/Parser/Parser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Expr/Parser/Parser.h -------------------------------------------------------------------------------- /include/klee/KDAlloc/allocator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/KDAlloc/allocator.h -------------------------------------------------------------------------------- /include/klee/KDAlloc/define.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/KDAlloc/define.h -------------------------------------------------------------------------------- /include/klee/KDAlloc/kdalloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/KDAlloc/kdalloc.h -------------------------------------------------------------------------------- /include/klee/KDAlloc/location_info.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/KDAlloc/location_info.h -------------------------------------------------------------------------------- /include/klee/KDAlloc/mapping.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/KDAlloc/mapping.h -------------------------------------------------------------------------------- /include/klee/KDAlloc/suballocators/cow_ptr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/KDAlloc/suballocators/cow_ptr.h -------------------------------------------------------------------------------- /include/klee/KDAlloc/suballocators/loh.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/KDAlloc/suballocators/loh.h -------------------------------------------------------------------------------- /include/klee/KDAlloc/suballocators/sized_regions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/KDAlloc/suballocators/sized_regions.h -------------------------------------------------------------------------------- /include/klee/KDAlloc/tagged_logger.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/KDAlloc/tagged_logger.h -------------------------------------------------------------------------------- /include/klee/Module/Cell.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Module/Cell.h -------------------------------------------------------------------------------- /include/klee/Module/InstructionInfoTable.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Module/InstructionInfoTable.h -------------------------------------------------------------------------------- /include/klee/Module/KCallable.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Module/KCallable.h -------------------------------------------------------------------------------- /include/klee/Module/KInstIterator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Module/KInstIterator.h -------------------------------------------------------------------------------- /include/klee/Module/KInstruction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Module/KInstruction.h -------------------------------------------------------------------------------- /include/klee/Module/KModule.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Module/KModule.h -------------------------------------------------------------------------------- /include/klee/Solver/Common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Solver/Common.h -------------------------------------------------------------------------------- /include/klee/Solver/IncompleteSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Solver/IncompleteSolver.h -------------------------------------------------------------------------------- /include/klee/Solver/Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Solver/Solver.h -------------------------------------------------------------------------------- /include/klee/Solver/SolverCmdLine.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Solver/SolverCmdLine.h -------------------------------------------------------------------------------- /include/klee/Solver/SolverImpl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Solver/SolverImpl.h -------------------------------------------------------------------------------- /include/klee/Solver/SolverStats.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Solver/SolverStats.h -------------------------------------------------------------------------------- /include/klee/Statistics/Statistic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Statistics/Statistic.h -------------------------------------------------------------------------------- /include/klee/Statistics/Statistics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Statistics/Statistics.h -------------------------------------------------------------------------------- /include/klee/Statistics/TimerStatIncrementer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Statistics/TimerStatIncrementer.h -------------------------------------------------------------------------------- /include/klee/Support/Casting.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Support/Casting.h -------------------------------------------------------------------------------- /include/klee/Support/CompilerWarning.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Support/CompilerWarning.h -------------------------------------------------------------------------------- /include/klee/Support/CompressionStream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Support/CompressionStream.h -------------------------------------------------------------------------------- /include/klee/Support/Debug.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Support/Debug.h -------------------------------------------------------------------------------- /include/klee/Support/ErrorHandling.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Support/ErrorHandling.h -------------------------------------------------------------------------------- /include/klee/Support/FileHandling.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Support/FileHandling.h -------------------------------------------------------------------------------- /include/klee/Support/ModuleUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Support/ModuleUtil.h -------------------------------------------------------------------------------- /include/klee/Support/OptionCategories.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Support/OptionCategories.h -------------------------------------------------------------------------------- /include/klee/Support/PrintContext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Support/PrintContext.h -------------------------------------------------------------------------------- /include/klee/Support/PrintVersion.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Support/PrintVersion.h -------------------------------------------------------------------------------- /include/klee/Support/Timer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/Support/Timer.h -------------------------------------------------------------------------------- /include/klee/System/MemoryUsage.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/System/MemoryUsage.h -------------------------------------------------------------------------------- /include/klee/System/Time.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/System/Time.h -------------------------------------------------------------------------------- /include/klee/klee.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/include/klee/klee.h -------------------------------------------------------------------------------- /lib/Basic/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Basic/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Basic/KTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Basic/KTest.cpp -------------------------------------------------------------------------------- /lib/Basic/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Basic/README.txt -------------------------------------------------------------------------------- /lib/Basic/Statistics.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Basic/Statistics.cpp -------------------------------------------------------------------------------- /lib/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Core/AddressSpace.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/AddressSpace.cpp -------------------------------------------------------------------------------- /lib/Core/AddressSpace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/AddressSpace.h -------------------------------------------------------------------------------- /lib/Core/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Core/CallPathManager.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/CallPathManager.cpp -------------------------------------------------------------------------------- /lib/Core/CallPathManager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/CallPathManager.h -------------------------------------------------------------------------------- /lib/Core/Context.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/Context.cpp -------------------------------------------------------------------------------- /lib/Core/Context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/Context.h -------------------------------------------------------------------------------- /lib/Core/CoreStats.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/CoreStats.cpp -------------------------------------------------------------------------------- /lib/Core/CoreStats.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/CoreStats.h -------------------------------------------------------------------------------- /lib/Core/ExecutionState.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/ExecutionState.cpp -------------------------------------------------------------------------------- /lib/Core/ExecutionState.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/ExecutionState.h -------------------------------------------------------------------------------- /lib/Core/ExecutionTree.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/ExecutionTree.cpp -------------------------------------------------------------------------------- /lib/Core/ExecutionTree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/ExecutionTree.h -------------------------------------------------------------------------------- /lib/Core/ExecutionTreeWriter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/ExecutionTreeWriter.cpp -------------------------------------------------------------------------------- /lib/Core/ExecutionTreeWriter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/ExecutionTreeWriter.h -------------------------------------------------------------------------------- /lib/Core/Executor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/Executor.cpp -------------------------------------------------------------------------------- /lib/Core/Executor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/Executor.h -------------------------------------------------------------------------------- /lib/Core/ExecutorUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/ExecutorUtil.cpp -------------------------------------------------------------------------------- /lib/Core/ExternalDispatcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/ExternalDispatcher.cpp -------------------------------------------------------------------------------- /lib/Core/ExternalDispatcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/ExternalDispatcher.h -------------------------------------------------------------------------------- /lib/Core/GetElementPtrTypeIterator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/GetElementPtrTypeIterator.h -------------------------------------------------------------------------------- /lib/Core/ImpliedValue.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/ImpliedValue.cpp -------------------------------------------------------------------------------- /lib/Core/ImpliedValue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/ImpliedValue.h -------------------------------------------------------------------------------- /lib/Core/Memory.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/Memory.cpp -------------------------------------------------------------------------------- /lib/Core/Memory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/Memory.h -------------------------------------------------------------------------------- /lib/Core/MemoryManager.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/MemoryManager.cpp -------------------------------------------------------------------------------- /lib/Core/MemoryManager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/MemoryManager.h -------------------------------------------------------------------------------- /lib/Core/MergeHandler.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/MergeHandler.cpp -------------------------------------------------------------------------------- /lib/Core/MergeHandler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/MergeHandler.h -------------------------------------------------------------------------------- /lib/Core/Searcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/Searcher.cpp -------------------------------------------------------------------------------- /lib/Core/Searcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/Searcher.h -------------------------------------------------------------------------------- /lib/Core/SearcherData.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/SearcherData.cpp -------------------------------------------------------------------------------- /lib/Core/SearcherData.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/SearcherData.h -------------------------------------------------------------------------------- /lib/Core/SearcherDefs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/SearcherDefs.h -------------------------------------------------------------------------------- /lib/Core/SearcherGraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/SearcherGraph.cpp -------------------------------------------------------------------------------- /lib/Core/SearcherGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/SearcherGraph.h -------------------------------------------------------------------------------- /lib/Core/SearcherGraphAlgorithm.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/SearcherGraphAlgorithm.hpp -------------------------------------------------------------------------------- /lib/Core/SearcherHelper.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/SearcherHelper.cpp -------------------------------------------------------------------------------- /lib/Core/SearcherHelper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/SearcherHelper.h -------------------------------------------------------------------------------- /lib/Core/SearcherLog.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/SearcherLog.cpp -------------------------------------------------------------------------------- /lib/Core/SearcherLog.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/SearcherLog.h -------------------------------------------------------------------------------- /lib/Core/SeedInfo.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/SeedInfo.cpp -------------------------------------------------------------------------------- /lib/Core/SeedInfo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/SeedInfo.h -------------------------------------------------------------------------------- /lib/Core/SpecialFunctionHandler.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/SpecialFunctionHandler.cpp -------------------------------------------------------------------------------- /lib/Core/SpecialFunctionHandler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/SpecialFunctionHandler.h -------------------------------------------------------------------------------- /lib/Core/StatsTracker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/StatsTracker.cpp -------------------------------------------------------------------------------- /lib/Core/StatsTracker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/StatsTracker.h -------------------------------------------------------------------------------- /lib/Core/TimingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/TimingSolver.cpp -------------------------------------------------------------------------------- /lib/Core/TimingSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/TimingSolver.h -------------------------------------------------------------------------------- /lib/Core/UserSearcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/UserSearcher.cpp -------------------------------------------------------------------------------- /lib/Core/UserSearcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Core/UserSearcher.h -------------------------------------------------------------------------------- /lib/Expr/ArrayCache.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Expr/ArrayCache.cpp -------------------------------------------------------------------------------- /lib/Expr/ArrayExprOptimizer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Expr/ArrayExprOptimizer.cpp -------------------------------------------------------------------------------- /lib/Expr/ArrayExprRewriter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Expr/ArrayExprRewriter.cpp -------------------------------------------------------------------------------- /lib/Expr/ArrayExprVisitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Expr/ArrayExprVisitor.cpp -------------------------------------------------------------------------------- /lib/Expr/Assignment.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Expr/Assignment.cpp -------------------------------------------------------------------------------- /lib/Expr/AssignmentGenerator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Expr/AssignmentGenerator.cpp -------------------------------------------------------------------------------- /lib/Expr/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Expr/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Expr/Constraints.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Expr/Constraints.cpp -------------------------------------------------------------------------------- /lib/Expr/Expr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Expr/Expr.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Expr/ExprBuilder.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprEvaluator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Expr/ExprEvaluator.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprPPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Expr/ExprPPrinter.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprSMTLIBPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Expr/ExprSMTLIBPrinter.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Expr/ExprUtil.cpp -------------------------------------------------------------------------------- /lib/Expr/ExprVisitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Expr/ExprVisitor.cpp -------------------------------------------------------------------------------- /lib/Expr/Lexer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Expr/Lexer.cpp -------------------------------------------------------------------------------- /lib/Expr/Parser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Expr/Parser.cpp -------------------------------------------------------------------------------- /lib/Expr/Updates.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Expr/Updates.cpp -------------------------------------------------------------------------------- /lib/Module/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Module/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Module/Checks.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Module/Checks.cpp -------------------------------------------------------------------------------- /lib/Module/FunctionAlias.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Module/FunctionAlias.cpp -------------------------------------------------------------------------------- /lib/Module/InstructionInfoTable.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Module/InstructionInfoTable.cpp -------------------------------------------------------------------------------- /lib/Module/InstructionOperandTypeCheckPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Module/InstructionOperandTypeCheckPass.cpp -------------------------------------------------------------------------------- /lib/Module/Instrument.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Module/Instrument.cpp -------------------------------------------------------------------------------- /lib/Module/InstrumentLegacy.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Module/InstrumentLegacy.cpp -------------------------------------------------------------------------------- /lib/Module/IntrinsicCleaner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Module/IntrinsicCleaner.cpp -------------------------------------------------------------------------------- /lib/Module/KInstruction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Module/KInstruction.cpp -------------------------------------------------------------------------------- /lib/Module/KLEEIRMetaData.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Module/KLEEIRMetaData.h -------------------------------------------------------------------------------- /lib/Module/KModule.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Module/KModule.cpp -------------------------------------------------------------------------------- /lib/Module/LowerSwitch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Module/LowerSwitch.cpp -------------------------------------------------------------------------------- /lib/Module/ModuleHelper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Module/ModuleHelper.h -------------------------------------------------------------------------------- /lib/Module/ModuleUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Module/ModuleUtil.cpp -------------------------------------------------------------------------------- /lib/Module/OptNone.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Module/OptNone.cpp -------------------------------------------------------------------------------- /lib/Module/Optimize.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Module/Optimize.cpp -------------------------------------------------------------------------------- /lib/Module/OptimizeLegacy.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Module/OptimizeLegacy.cpp -------------------------------------------------------------------------------- /lib/Module/Passes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Module/Passes.h -------------------------------------------------------------------------------- /lib/Module/PhiCleaner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Module/PhiCleaner.cpp -------------------------------------------------------------------------------- /lib/Module/RaiseAsm.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Module/RaiseAsm.cpp -------------------------------------------------------------------------------- /lib/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/README.txt -------------------------------------------------------------------------------- /lib/Solver/AssignmentValidatingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/AssignmentValidatingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Solver/CachingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/CachingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/CexCachingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/CexCachingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/ConstantDivision.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/ConstantDivision.cpp -------------------------------------------------------------------------------- /lib/Solver/ConstantDivision.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/ConstantDivision.h -------------------------------------------------------------------------------- /lib/Solver/ConstructSolverChain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/ConstructSolverChain.cpp -------------------------------------------------------------------------------- /lib/Solver/CoreSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/CoreSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/DummySolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/DummySolver.cpp -------------------------------------------------------------------------------- /lib/Solver/FastCexSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/FastCexSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/IncompleteSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/IncompleteSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/IndependentSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/IndependentSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/KQueryLoggingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/KQueryLoggingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/MetaSMTBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/MetaSMTBuilder.h -------------------------------------------------------------------------------- /lib/Solver/MetaSMTSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/MetaSMTSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/MetaSMTSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/MetaSMTSolver.h -------------------------------------------------------------------------------- /lib/Solver/QueryLoggingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/QueryLoggingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/QueryLoggingSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/QueryLoggingSolver.h -------------------------------------------------------------------------------- /lib/Solver/SMTLIBLoggingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/SMTLIBLoggingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/STPBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/STPBuilder.cpp -------------------------------------------------------------------------------- /lib/Solver/STPBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/STPBuilder.h -------------------------------------------------------------------------------- /lib/Solver/STPSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/STPSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/STPSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/STPSolver.h -------------------------------------------------------------------------------- /lib/Solver/Solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/Solver.cpp -------------------------------------------------------------------------------- /lib/Solver/SolverCmdLine.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/SolverCmdLine.cpp -------------------------------------------------------------------------------- /lib/Solver/SolverImpl.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/SolverImpl.cpp -------------------------------------------------------------------------------- /lib/Solver/SolverStats.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/SolverStats.cpp -------------------------------------------------------------------------------- /lib/Solver/ValidatingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/ValidatingSolver.cpp -------------------------------------------------------------------------------- /lib/Solver/Z3Builder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/Z3Builder.cpp -------------------------------------------------------------------------------- /lib/Solver/Z3Builder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/Z3Builder.h -------------------------------------------------------------------------------- /lib/Solver/Z3Solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/Z3Solver.cpp -------------------------------------------------------------------------------- /lib/Solver/Z3Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Solver/Z3Solver.h -------------------------------------------------------------------------------- /lib/Support/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Support/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Support/CompressionStream.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Support/CompressionStream.cpp -------------------------------------------------------------------------------- /lib/Support/ErrorHandling.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Support/ErrorHandling.cpp -------------------------------------------------------------------------------- /lib/Support/FileHandling.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Support/FileHandling.cpp -------------------------------------------------------------------------------- /lib/Support/MemoryUsage.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Support/MemoryUsage.cpp -------------------------------------------------------------------------------- /lib/Support/PrintVersion.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Support/PrintVersion.cpp -------------------------------------------------------------------------------- /lib/Support/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Support/README.txt -------------------------------------------------------------------------------- /lib/Support/RNG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Support/RNG.cpp -------------------------------------------------------------------------------- /lib/Support/Time.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Support/Time.cpp -------------------------------------------------------------------------------- /lib/Support/Timer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Support/Timer.cpp -------------------------------------------------------------------------------- /lib/Support/TreeStream.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/lib/Support/TreeStream.cpp -------------------------------------------------------------------------------- /runtime/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/CMakeLists.txt -------------------------------------------------------------------------------- /runtime/Fortify/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Fortify/CMakeLists.txt -------------------------------------------------------------------------------- /runtime/Fortify/fortify.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Fortify/fortify.c -------------------------------------------------------------------------------- /runtime/Freestanding/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Freestanding/CMakeLists.txt -------------------------------------------------------------------------------- /runtime/Freestanding/fortify-fs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Freestanding/fortify-fs.c -------------------------------------------------------------------------------- /runtime/Freestanding/memcmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Freestanding/memcmp.c -------------------------------------------------------------------------------- /runtime/Freestanding/memcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Freestanding/memcpy.c -------------------------------------------------------------------------------- /runtime/Freestanding/memmove.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Freestanding/memmove.c -------------------------------------------------------------------------------- /runtime/Freestanding/memset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Freestanding/memset.c -------------------------------------------------------------------------------- /runtime/Intrinsic/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Intrinsic/CMakeLists.txt -------------------------------------------------------------------------------- /runtime/Intrinsic/dso_handle.c: -------------------------------------------------------------------------------- 1 | void* __dso_handle = 0; 2 | -------------------------------------------------------------------------------- /runtime/Intrinsic/klee_choose.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Intrinsic/klee_choose.c -------------------------------------------------------------------------------- /runtime/Intrinsic/klee_div_zero_check.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Intrinsic/klee_div_zero_check.c -------------------------------------------------------------------------------- /runtime/Intrinsic/klee_int.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Intrinsic/klee_int.c -------------------------------------------------------------------------------- /runtime/Intrinsic/klee_is_replay.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Intrinsic/klee_is_replay.c -------------------------------------------------------------------------------- /runtime/Intrinsic/klee_overshift_check.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Intrinsic/klee_overshift_check.c -------------------------------------------------------------------------------- /runtime/Intrinsic/klee_range.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Intrinsic/klee_range.c -------------------------------------------------------------------------------- /runtime/POSIX/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/POSIX/CMakeLists.txt -------------------------------------------------------------------------------- /runtime/POSIX/FreeBSD.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/POSIX/FreeBSD.h -------------------------------------------------------------------------------- /runtime/POSIX/fd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/POSIX/fd.c -------------------------------------------------------------------------------- /runtime/POSIX/fd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/POSIX/fd.h -------------------------------------------------------------------------------- /runtime/POSIX/fd_32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/POSIX/fd_32.c -------------------------------------------------------------------------------- /runtime/POSIX/fd_64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/POSIX/fd_64.c -------------------------------------------------------------------------------- /runtime/POSIX/fd_init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/POSIX/fd_init.c -------------------------------------------------------------------------------- /runtime/POSIX/illegal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/POSIX/illegal.c -------------------------------------------------------------------------------- /runtime/POSIX/klee_init_env.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/POSIX/klee_init_env.c -------------------------------------------------------------------------------- /runtime/POSIX/misc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/POSIX/misc.c -------------------------------------------------------------------------------- /runtime/POSIX/selinux.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/POSIX/selinux.c -------------------------------------------------------------------------------- /runtime/POSIX/stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/POSIX/stubs.c -------------------------------------------------------------------------------- /runtime/Runtest/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Runtest/CMakeLists.txt -------------------------------------------------------------------------------- /runtime/Runtest/intrinsics.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Runtest/intrinsics.c -------------------------------------------------------------------------------- /runtime/Sanitizer/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Sanitizer/CMakeLists.txt -------------------------------------------------------------------------------- /runtime/Sanitizer/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Sanitizer/README.md -------------------------------------------------------------------------------- /runtime/Sanitizer/ubsan/ubsan_checks.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Sanitizer/ubsan/ubsan_checks.inc -------------------------------------------------------------------------------- /runtime/Sanitizer/ubsan/ubsan_diag.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Sanitizer/ubsan/ubsan_diag.h -------------------------------------------------------------------------------- /runtime/Sanitizer/ubsan/ubsan_handlers.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Sanitizer/ubsan/ubsan_handlers.cpp -------------------------------------------------------------------------------- /runtime/Sanitizer/ubsan/ubsan_handlers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Sanitizer/ubsan/ubsan_handlers.h -------------------------------------------------------------------------------- /runtime/Sanitizer/ubsan/ubsan_value.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/Sanitizer/ubsan/ubsan_value.h -------------------------------------------------------------------------------- /runtime/klee-eh-cxx/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-eh-cxx/CMakeLists.txt -------------------------------------------------------------------------------- /runtime/klee-eh-cxx/klee_eh_cxx.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-eh-cxx/klee_eh_cxx.cpp -------------------------------------------------------------------------------- /runtime/klee-libc/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/CMakeLists.txt -------------------------------------------------------------------------------- /runtime/klee-libc/__cxa_atexit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/__cxa_atexit.c -------------------------------------------------------------------------------- /runtime/klee-libc/abort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/abort.c -------------------------------------------------------------------------------- /runtime/klee-libc/atexit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/atexit.c -------------------------------------------------------------------------------- /runtime/klee-libc/atoi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/atoi.c -------------------------------------------------------------------------------- /runtime/klee-libc/bcmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/bcmp.c -------------------------------------------------------------------------------- /runtime/klee-libc/calloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/calloc.c -------------------------------------------------------------------------------- /runtime/klee-libc/fortify-klibc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/fortify-klibc.c -------------------------------------------------------------------------------- /runtime/klee-libc/htonl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/htonl.c -------------------------------------------------------------------------------- /runtime/klee-libc/memchr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/memchr.c -------------------------------------------------------------------------------- /runtime/klee-libc/mempcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/mempcpy.c -------------------------------------------------------------------------------- /runtime/klee-libc/putchar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/putchar.c -------------------------------------------------------------------------------- /runtime/klee-libc/stpcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/stpcpy.c -------------------------------------------------------------------------------- /runtime/klee-libc/strcat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/strcat.c -------------------------------------------------------------------------------- /runtime/klee-libc/strchr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/strchr.c -------------------------------------------------------------------------------- /runtime/klee-libc/strcmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/strcmp.c -------------------------------------------------------------------------------- /runtime/klee-libc/strcoll.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/strcoll.c -------------------------------------------------------------------------------- /runtime/klee-libc/strcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/strcpy.c -------------------------------------------------------------------------------- /runtime/klee-libc/strlen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/strlen.c -------------------------------------------------------------------------------- /runtime/klee-libc/strncmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/strncmp.c -------------------------------------------------------------------------------- /runtime/klee-libc/strncpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/strncpy.c -------------------------------------------------------------------------------- /runtime/klee-libc/strrchr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/strrchr.c -------------------------------------------------------------------------------- /runtime/klee-libc/strtol.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/strtol.c -------------------------------------------------------------------------------- /runtime/klee-libc/strtoul.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/strtoul.c -------------------------------------------------------------------------------- /runtime/klee-libc/tolower.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/tolower.c -------------------------------------------------------------------------------- /runtime/klee-libc/toupper.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/runtime/klee-libc/toupper.c -------------------------------------------------------------------------------- /scripts/IStatsMerge.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/IStatsMerge.py -------------------------------------------------------------------------------- /scripts/IStatsSum.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/IStatsSum.py -------------------------------------------------------------------------------- /scripts/build/build-ci-container.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/build-ci-container.py -------------------------------------------------------------------------------- /scripts/build/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/build.sh -------------------------------------------------------------------------------- /scripts/build/common-functions: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/common-functions -------------------------------------------------------------------------------- /scripts/build/d-klee-linux-ubuntu.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/d-klee-linux-ubuntu.inc -------------------------------------------------------------------------------- /scripts/build/p-clang-linux-ubuntu-22.04.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-clang-linux-ubuntu-22.04.inc -------------------------------------------------------------------------------- /scripts/build/p-clang-linux-ubuntu.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-clang-linux-ubuntu.inc -------------------------------------------------------------------------------- /scripts/build/p-clang-linux.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-clang-linux.inc -------------------------------------------------------------------------------- /scripts/build/p-clang-osx.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-clang-osx.inc -------------------------------------------------------------------------------- /scripts/build/p-clang.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-clang.inc -------------------------------------------------------------------------------- /scripts/build/p-cmake-linux-ubuntu.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-cmake-linux-ubuntu.inc -------------------------------------------------------------------------------- /scripts/build/p-cmake-osx.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-cmake-osx.inc -------------------------------------------------------------------------------- /scripts/build/p-gtest-linux-ubuntu.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-gtest-linux-ubuntu.inc -------------------------------------------------------------------------------- /scripts/build/p-gtest-osx.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-gtest-osx.inc -------------------------------------------------------------------------------- /scripts/build/p-gtest.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-gtest.inc -------------------------------------------------------------------------------- /scripts/build/p-klee-linux-ubuntu.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-klee-linux-ubuntu.inc -------------------------------------------------------------------------------- /scripts/build/p-klee-osx.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-klee-osx.inc -------------------------------------------------------------------------------- /scripts/build/p-klee.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-klee.inc -------------------------------------------------------------------------------- /scripts/build/p-libcxx-linux-ubuntu.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-libcxx-linux-ubuntu.inc -------------------------------------------------------------------------------- /scripts/build/p-libcxx-osx.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-libcxx-osx.inc -------------------------------------------------------------------------------- /scripts/build/p-libcxx.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-libcxx.inc -------------------------------------------------------------------------------- /scripts/build/p-llvm-linux-ubuntu.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-llvm-linux-ubuntu.inc -------------------------------------------------------------------------------- /scripts/build/p-llvm-osx.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-llvm-osx.inc -------------------------------------------------------------------------------- /scripts/build/p-llvm.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-llvm.inc -------------------------------------------------------------------------------- /scripts/build/p-metasmt-linux-ubuntu.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-metasmt-linux-ubuntu.inc -------------------------------------------------------------------------------- /scripts/build/p-metasmt.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-metasmt.inc -------------------------------------------------------------------------------- /scripts/build/p-sanitizer-linux-ubuntu.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-sanitizer-linux-ubuntu.inc -------------------------------------------------------------------------------- /scripts/build/p-sanitizer-linux.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-sanitizer-linux.inc -------------------------------------------------------------------------------- /scripts/build/p-sqlite-linux-ubuntu.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-sqlite-linux-ubuntu.inc -------------------------------------------------------------------------------- /scripts/build/p-sqlite-osx.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-sqlite-osx.inc -------------------------------------------------------------------------------- /scripts/build/p-sqlite.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-sqlite.inc -------------------------------------------------------------------------------- /scripts/build/p-stp-linux-ubuntu.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-stp-linux-ubuntu.inc -------------------------------------------------------------------------------- /scripts/build/p-stp-osx.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-stp-osx.inc -------------------------------------------------------------------------------- /scripts/build/p-stp.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-stp.inc -------------------------------------------------------------------------------- /scripts/build/p-tcmalloc-linux-ubuntu.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-tcmalloc-linux-ubuntu.inc -------------------------------------------------------------------------------- /scripts/build/p-tcmalloc.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-tcmalloc.inc -------------------------------------------------------------------------------- /scripts/build/p-uclibc-linux-ubuntu.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-uclibc-linux-ubuntu.inc -------------------------------------------------------------------------------- /scripts/build/p-uclibc.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-uclibc.inc -------------------------------------------------------------------------------- /scripts/build/p-z3-linux-ubuntu.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-z3-linux-ubuntu.inc -------------------------------------------------------------------------------- /scripts/build/p-z3-osx.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-z3-osx.inc -------------------------------------------------------------------------------- /scripts/build/p-z3.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/p-z3.inc -------------------------------------------------------------------------------- /scripts/build/patches/libcxx110.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/patches/libcxx110.patch -------------------------------------------------------------------------------- /scripts/build/patches/llvm110.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/patches/llvm110.patch -------------------------------------------------------------------------------- /scripts/build/patches/llvm120.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/patches/llvm120.patch -------------------------------------------------------------------------------- /scripts/build/patches/metasmt.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/patches/metasmt.patch -------------------------------------------------------------------------------- /scripts/build/run-tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/run-tests.sh -------------------------------------------------------------------------------- /scripts/build/sanitizer/klee.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/sanitizer/klee.txt -------------------------------------------------------------------------------- /scripts/build/sanitizer/sqlite.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/sanitizer/sqlite.txt -------------------------------------------------------------------------------- /scripts/build/v-clang.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/v-clang.inc -------------------------------------------------------------------------------- /scripts/build/v-cmake.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/v-cmake.inc -------------------------------------------------------------------------------- /scripts/build/v-gtest.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/v-gtest.inc -------------------------------------------------------------------------------- /scripts/build/v-klee.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/v-klee.inc -------------------------------------------------------------------------------- /scripts/build/v-libcxx.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/v-libcxx.inc -------------------------------------------------------------------------------- /scripts/build/v-llvm.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/v-llvm.inc -------------------------------------------------------------------------------- /scripts/build/v-metasmt.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/v-metasmt.inc -------------------------------------------------------------------------------- /scripts/build/v-sanitizer.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/v-sanitizer.inc -------------------------------------------------------------------------------- /scripts/build/v-sanitizer_compiler.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/v-sanitizer_compiler.inc -------------------------------------------------------------------------------- /scripts/build/v-solvers.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/v-solvers.inc -------------------------------------------------------------------------------- /scripts/build/v-sqlite.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/v-sqlite.inc -------------------------------------------------------------------------------- /scripts/build/v-stp.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/v-stp.inc -------------------------------------------------------------------------------- /scripts/build/v-tcmalloc.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/v-tcmalloc.inc -------------------------------------------------------------------------------- /scripts/build/v-uclibc.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/v-uclibc.inc -------------------------------------------------------------------------------- /scripts/build/v-z3.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/build/v-z3.inc -------------------------------------------------------------------------------- /scripts/genTempFiles.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/genTempFiles.sh -------------------------------------------------------------------------------- /scripts/klee-chroot-env: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/klee-chroot-env -------------------------------------------------------------------------------- /scripts/klee-control: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/klee-control -------------------------------------------------------------------------------- /scripts/objdump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/scripts/objdump -------------------------------------------------------------------------------- /test/.clang-format: -------------------------------------------------------------------------------- 1 | BasedOnStyle: LLVM 2 | ColumnLimit: 0 3 | -------------------------------------------------------------------------------- /test/ArrayOpt/test-mix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/ArrayOpt/test-mix.c -------------------------------------------------------------------------------- /test/ArrayOpt/test_and.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/ArrayOpt/test_and.c -------------------------------------------------------------------------------- /test/ArrayOpt/test_array_index_array.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/ArrayOpt/test_array_index_array.c -------------------------------------------------------------------------------- /test/ArrayOpt/test_array_index_array_diffsize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/ArrayOpt/test_array_index_array_diffsize.c -------------------------------------------------------------------------------- /test/ArrayOpt/test_cache.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/ArrayOpt/test_cache.c -------------------------------------------------------------------------------- /test/ArrayOpt/test_const_arr-idx.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/ArrayOpt/test_const_arr-idx.c -------------------------------------------------------------------------------- /test/ArrayOpt/test_expr_arbitrary.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/ArrayOpt/test_expr_arbitrary.c -------------------------------------------------------------------------------- /test/ArrayOpt/test_expr_complex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/ArrayOpt/test_expr_complex.c -------------------------------------------------------------------------------- /test/ArrayOpt/test_expr_mul.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/ArrayOpt/test_expr_mul.c -------------------------------------------------------------------------------- /test/ArrayOpt/test_expr_simple.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/ArrayOpt/test_expr_simple.c -------------------------------------------------------------------------------- /test/ArrayOpt/test_feasible.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/ArrayOpt/test_feasible.c -------------------------------------------------------------------------------- /test/ArrayOpt/test_hybrid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/ArrayOpt/test_hybrid.c -------------------------------------------------------------------------------- /test/ArrayOpt/test_mixed_hole.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/ArrayOpt/test_mixed_hole.c -------------------------------------------------------------------------------- /test/ArrayOpt/test_multindex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/ArrayOpt/test_multindex.c -------------------------------------------------------------------------------- /test/ArrayOpt/test_multindex_multarray.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/ArrayOpt/test_multindex_multarray.c -------------------------------------------------------------------------------- /test/ArrayOpt/test_new.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/ArrayOpt/test_new.c -------------------------------------------------------------------------------- /test/ArrayOpt/test_nier.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/ArrayOpt/test_nier.c -------------------------------------------------------------------------------- /test/ArrayOpt/test_noncontiguous_idx.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/ArrayOpt/test_noncontiguous_idx.c -------------------------------------------------------------------------------- /test/ArrayOpt/test_position.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/ArrayOpt/test_position.c -------------------------------------------------------------------------------- /test/ArrayOpt/test_sub_idx.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/ArrayOpt/test_sub_idx.c -------------------------------------------------------------------------------- /test/ArrayOpt/test_update_list_order.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/ArrayOpt/test_update_list_order.c -------------------------------------------------------------------------------- /test/ArrayOpt/test_var_idx.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/ArrayOpt/test_var_idx.c -------------------------------------------------------------------------------- /test/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CMakeLists.txt -------------------------------------------------------------------------------- /test/CXX/ArrayNew.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/ArrayNew.cpp -------------------------------------------------------------------------------- /test/CXX/LandingPad.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/LandingPad.cpp -------------------------------------------------------------------------------- /test/CXX/New.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/New.cpp -------------------------------------------------------------------------------- /test/CXX/SimpleVirtual.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/SimpleVirtual.cpp -------------------------------------------------------------------------------- /test/CXX/StaticConstructor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/StaticConstructor.cpp -------------------------------------------------------------------------------- /test/CXX/StaticDestructor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/StaticDestructor.cpp -------------------------------------------------------------------------------- /test/CXX/Trivial.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/Trivial.cpp -------------------------------------------------------------------------------- /test/CXX/symex/basic_c++/diamond.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/basic_c++/diamond.cpp -------------------------------------------------------------------------------- /test/CXX/symex/basic_c++/inheritance.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/basic_c++/inheritance.cpp -------------------------------------------------------------------------------- /test/CXX/symex/basic_c++/lambda.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/basic_c++/lambda.cpp -------------------------------------------------------------------------------- /test/CXX/symex/basic_c++/namespace.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/basic_c++/namespace.cpp -------------------------------------------------------------------------------- /test/CXX/symex/basic_c++/reinterpret_cast.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/basic_c++/reinterpret_cast.cpp -------------------------------------------------------------------------------- /test/CXX/symex/basic_c++/simple.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/basic_c++/simple.cpp -------------------------------------------------------------------------------- /test/CXX/symex/basic_c++/templates.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/basic_c++/templates.cpp -------------------------------------------------------------------------------- /test/CXX/symex/basic_c++/virtual.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/basic_c++/virtual.cpp -------------------------------------------------------------------------------- /test/CXX/symex/libc++/atexit.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/libc++/atexit.cpp -------------------------------------------------------------------------------- /test/CXX/symex/libc++/can_catch_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/libc++/can_catch_test.cpp -------------------------------------------------------------------------------- /test/CXX/symex/libc++/catch_recover.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/libc++/catch_recover.cpp -------------------------------------------------------------------------------- /test/CXX/symex/libc++/cout.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/libc++/cout.cpp -------------------------------------------------------------------------------- /test/CXX/symex/libc++/cout_sym.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/libc++/cout_sym.cpp -------------------------------------------------------------------------------- /test/CXX/symex/libc++/dynamic_cast.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/libc++/dynamic_cast.cpp -------------------------------------------------------------------------------- /test/CXX/symex/libc++/exception.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/libc++/exception.cpp -------------------------------------------------------------------------------- /test/CXX/symex/libc++/exception_inheritance.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/libc++/exception_inheritance.cpp -------------------------------------------------------------------------------- /test/CXX/symex/libc++/general_catch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/libc++/general_catch.cpp -------------------------------------------------------------------------------- /test/CXX/symex/libc++/landingpad.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/libc++/landingpad.cpp -------------------------------------------------------------------------------- /test/CXX/symex/libc++/multi_throw.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/libc++/multi_throw.cpp -------------------------------------------------------------------------------- /test/CXX/symex/libc++/multi_unwind.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/libc++/multi_unwind.cpp -------------------------------------------------------------------------------- /test/CXX/symex/libc++/nested.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/libc++/nested.cpp -------------------------------------------------------------------------------- /test/CXX/symex/libc++/nested_fail.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/libc++/nested_fail.cpp -------------------------------------------------------------------------------- /test/CXX/symex/libc++/rethrow.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/libc++/rethrow.cpp -------------------------------------------------------------------------------- /test/CXX/symex/libc++/simple_exception.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/libc++/simple_exception.cpp -------------------------------------------------------------------------------- /test/CXX/symex/libc++/simple_exception_fail.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/libc++/simple_exception_fail.cpp -------------------------------------------------------------------------------- /test/CXX/symex/libc++/symbolic_exception.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/libc++/symbolic_exception.cpp -------------------------------------------------------------------------------- /test/CXX/symex/libc++/throw_specifiers.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/libc++/throw_specifiers.cpp -------------------------------------------------------------------------------- /test/CXX/symex/libc++/uncaught_exception.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/libc++/uncaught_exception.cpp -------------------------------------------------------------------------------- /test/CXX/symex/libc++/vector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/CXX/symex/libc++/vector.cpp -------------------------------------------------------------------------------- /test/Concrete/BitwiseOps.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/BitwiseOps.ll -------------------------------------------------------------------------------- /test/Concrete/BoolReadWrite.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/BoolReadWrite.ll -------------------------------------------------------------------------------- /test/Concrete/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/CMakeLists.txt -------------------------------------------------------------------------------- /test/Concrete/Casts.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/Casts.ll -------------------------------------------------------------------------------- /test/Concrete/CmpEq.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/CmpEq.ll -------------------------------------------------------------------------------- /test/Concrete/ConcreteTest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/ConcreteTest.py -------------------------------------------------------------------------------- /test/Concrete/ConstantExpr.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/ConstantExpr.ll -------------------------------------------------------------------------------- /test/Concrete/ConstantExprOld.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/ConstantExprOld.ll -------------------------------------------------------------------------------- /test/Concrete/ConstantInit.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/ConstantInit.ll -------------------------------------------------------------------------------- /test/Concrete/FloatingPointOps.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/FloatingPointOps.ll -------------------------------------------------------------------------------- /test/Concrete/GlobalInitializers.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/GlobalInitializers.ll -------------------------------------------------------------------------------- /test/Concrete/GlobalUndef.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/GlobalUndef.ll -------------------------------------------------------------------------------- /test/Concrete/GlobalVariable.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/GlobalVariable.ll -------------------------------------------------------------------------------- /test/Concrete/ICmp.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/ICmp.ll -------------------------------------------------------------------------------- /test/Concrete/Makefile.cmake.test.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/Makefile.cmake.test.in -------------------------------------------------------------------------------- /test/Concrete/OneCall.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/OneCall.ll -------------------------------------------------------------------------------- /test/Concrete/OverlappingPhiNodes.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/OverlappingPhiNodes.ll -------------------------------------------------------------------------------- /test/Concrete/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/README.txt -------------------------------------------------------------------------------- /test/Concrete/Select.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/Select.ll -------------------------------------------------------------------------------- /test/Concrete/Shifts.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/Shifts.ll -------------------------------------------------------------------------------- /test/Concrete/SimpleStoreAndLoad.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/SimpleStoreAndLoad.ll -------------------------------------------------------------------------------- /test/Concrete/UnconditionalBranch.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/UnconditionalBranch.ll -------------------------------------------------------------------------------- /test/Concrete/UnorderedPhiNodes.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/UnorderedPhiNodes.ll -------------------------------------------------------------------------------- /test/Concrete/_testingUtils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/_testingUtils.c -------------------------------------------------------------------------------- /test/Concrete/ackermann.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/ackermann.c -------------------------------------------------------------------------------- /test/Concrete/arith_test.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Concrete/arith_test.ll -------------------------------------------------------------------------------- /test/Coverage/ReadArgs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Coverage/ReadArgs.c -------------------------------------------------------------------------------- /test/Coverage/ReplayOutDir.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Coverage/ReplayOutDir.c -------------------------------------------------------------------------------- /test/DeterministicAllocation/OneOutOfBounds.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/DeterministicAllocation/OneOutOfBounds.c -------------------------------------------------------------------------------- /test/DeterministicAllocation/double-free-loh.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/DeterministicAllocation/double-free-loh.c -------------------------------------------------------------------------------- /test/DeterministicAllocation/double-free.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/DeterministicAllocation/double-free.c -------------------------------------------------------------------------------- /test/DeterministicAllocation/madvise.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/DeterministicAllocation/madvise.c -------------------------------------------------------------------------------- /test/DeterministicAllocation/nullpage-read.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/DeterministicAllocation/nullpage-read.c -------------------------------------------------------------------------------- /test/DeterministicAllocation/nullpage-write.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/DeterministicAllocation/nullpage-write.c -------------------------------------------------------------------------------- /test/DeterministicAllocation/use-after-free.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/DeterministicAllocation/use-after-free.c -------------------------------------------------------------------------------- /test/Dogfood/ImmutableSet.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Dogfood/ImmutableSet.cpp -------------------------------------------------------------------------------- /test/Feature/AddressOfLabels.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/AddressOfLabels.c -------------------------------------------------------------------------------- /test/Feature/AddressOfLabelsSymbolic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/AddressOfLabelsSymbolic.c -------------------------------------------------------------------------------- /test/Feature/Alias.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/Alias.c -------------------------------------------------------------------------------- /test/Feature/Atomic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/Atomic.c -------------------------------------------------------------------------------- /test/Feature/BFSSearcher.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/BFSSearcher.c -------------------------------------------------------------------------------- /test/Feature/BitcastAlias.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/BitcastAlias.ll -------------------------------------------------------------------------------- /test/Feature/BitcastAliasMD2U.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/BitcastAliasMD2U.ll -------------------------------------------------------------------------------- /test/Feature/ByteSwap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ByteSwap.c -------------------------------------------------------------------------------- /test/Feature/CallToUndefinedExternal.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/CallToUndefinedExternal.cpp -------------------------------------------------------------------------------- /test/Feature/CheckForImpliedValue.c.failing: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/CheckForImpliedValue.c.failing -------------------------------------------------------------------------------- /test/Feature/CheckMemoryAccess.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/CheckMemoryAccess.c -------------------------------------------------------------------------------- /test/Feature/CompressedExprLogging.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/CompressedExprLogging.c -------------------------------------------------------------------------------- /test/Feature/ConcretizeSymbolicExternals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ConcretizeSymbolicExternals.c -------------------------------------------------------------------------------- /test/Feature/ConstantArray.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ConstantArray.ll -------------------------------------------------------------------------------- /test/Feature/ConstantStruct.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ConstantStruct.ll -------------------------------------------------------------------------------- /test/Feature/CopyOnWrite.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/CopyOnWrite.c -------------------------------------------------------------------------------- /test/Feature/DanglingConcreteReadExpr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/DanglingConcreteReadExpr.c -------------------------------------------------------------------------------- /test/Feature/DefineFixedObject.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/DefineFixedObject.c -------------------------------------------------------------------------------- /test/Feature/DeterministicSwitch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/DeterministicSwitch.c -------------------------------------------------------------------------------- /test/Feature/DivCheck.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/DivCheck.c -------------------------------------------------------------------------------- /test/Feature/DoubleFree.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/DoubleFree.c -------------------------------------------------------------------------------- /test/Feature/DumpStatesOnHalt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/DumpStatesOnHalt.c -------------------------------------------------------------------------------- /test/Feature/EntryPoint.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/EntryPoint.c -------------------------------------------------------------------------------- /test/Feature/EntryPointMissing.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/EntryPointMissing.c -------------------------------------------------------------------------------- /test/Feature/EntryPointUclibcPosix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/EntryPointUclibcPosix.c -------------------------------------------------------------------------------- /test/Feature/Envp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/Envp.c -------------------------------------------------------------------------------- /test/Feature/EscapingFunctions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/EscapingFunctions.c -------------------------------------------------------------------------------- /test/Feature/EscapingFunctionsAlias.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/EscapingFunctionsAlias.c -------------------------------------------------------------------------------- /test/Feature/ExitOnErrorType.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ExitOnErrorType.c -------------------------------------------------------------------------------- /test/Feature/ExprLogging.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ExprLogging.c -------------------------------------------------------------------------------- /test/Feature/ExtCall.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ExtCall.c -------------------------------------------------------------------------------- /test/Feature/ExtCallOverapprox.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ExtCallOverapprox.c -------------------------------------------------------------------------------- /test/Feature/ExtCallWarnings.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ExtCallWarnings.c -------------------------------------------------------------------------------- /test/Feature/ExternalWeakLinkage.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ExternalWeakLinkage.c -------------------------------------------------------------------------------- /test/Feature/FNeg.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/FNeg.ll -------------------------------------------------------------------------------- /test/Feature/Float.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/Float.c -------------------------------------------------------------------------------- /test/Feature/FloatingPt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/FloatingPt.c -------------------------------------------------------------------------------- /test/Feature/FunctionAlias.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/FunctionAlias.c -------------------------------------------------------------------------------- /test/Feature/FunctionAliasExit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/FunctionAliasExit.c -------------------------------------------------------------------------------- /test/Feature/FunctionAliasVarArg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/FunctionAliasVarArg.c -------------------------------------------------------------------------------- /test/Feature/FunctionPointer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/FunctionPointer.c -------------------------------------------------------------------------------- /test/Feature/GetElementPtr.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/GetElementPtr.ll -------------------------------------------------------------------------------- /test/Feature/GetValue.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/GetValue.c -------------------------------------------------------------------------------- /test/Feature/GlobalVariable.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/GlobalVariable.ll -------------------------------------------------------------------------------- /test/Feature/ImpliedValue.c.failing: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ImpliedValue.c.failing -------------------------------------------------------------------------------- /test/Feature/InAndOutOfBounds.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/InAndOutOfBounds.c -------------------------------------------------------------------------------- /test/Feature/IndirectCallToBuiltin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/IndirectCallToBuiltin.c -------------------------------------------------------------------------------- /test/Feature/IndirectCallToExternal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/IndirectCallToExternal.c -------------------------------------------------------------------------------- /test/Feature/InlineAsm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/InlineAsm.c -------------------------------------------------------------------------------- /test/Feature/InsertExtractValue.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/InsertExtractValue.ll -------------------------------------------------------------------------------- /test/Feature/InvalidBitfieldAccess.c.failing: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/InvalidBitfieldAccess.c.failing -------------------------------------------------------------------------------- /test/Feature/IsSymbolic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/IsSymbolic.c -------------------------------------------------------------------------------- /test/Feature/KleeReportError.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/KleeReportError.c -------------------------------------------------------------------------------- /test/Feature/LargeArrayBecomesSym.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/LargeArrayBecomesSym.c -------------------------------------------------------------------------------- /test/Feature/LargeReturnTypes.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/LargeReturnTypes.cpp -------------------------------------------------------------------------------- /test/Feature/LinkLLVMLib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/LinkLLVMLib.c -------------------------------------------------------------------------------- /test/Feature/LoggingInstructions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/LoggingInstructions.c -------------------------------------------------------------------------------- /test/Feature/LongDouble.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/LongDouble.c -------------------------------------------------------------------------------- /test/Feature/LongDoubleSupport.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/LongDoubleSupport.c -------------------------------------------------------------------------------- /test/Feature/LowerSwitch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/LowerSwitch.c -------------------------------------------------------------------------------- /test/Feature/MakeConcreteSymbolic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/MakeConcreteSymbolic.c -------------------------------------------------------------------------------- /test/Feature/MakeSymbolicAPI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/MakeSymbolicAPI.c -------------------------------------------------------------------------------- /test/Feature/MakeSymbolicName.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/MakeSymbolicName.c -------------------------------------------------------------------------------- /test/Feature/MaxStaticForkPct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/MaxStaticForkPct.c -------------------------------------------------------------------------------- /test/Feature/Memalign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/Memalign.c -------------------------------------------------------------------------------- /test/Feature/MemoryLimit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/MemoryLimit.c -------------------------------------------------------------------------------- /test/Feature/MultiMkSym.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/MultiMkSym.c -------------------------------------------------------------------------------- /test/Feature/MultipleFreeResolution.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/MultipleFreeResolution.c -------------------------------------------------------------------------------- /test/Feature/MultipleReadResolution.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/MultipleReadResolution.c -------------------------------------------------------------------------------- /test/Feature/MultipleReallocResolution.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/MultipleReallocResolution.c -------------------------------------------------------------------------------- /test/Feature/MultipleWriteResolution.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/MultipleWriteResolution.c -------------------------------------------------------------------------------- /test/Feature/NamedSeedMatching.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/NamedSeedMatching.c -------------------------------------------------------------------------------- /test/Feature/NoExternalCallsAllowed.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/NoExternalCallsAllowed.c -------------------------------------------------------------------------------- /test/Feature/NonSizedGlobals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/NonSizedGlobals.c -------------------------------------------------------------------------------- /test/Feature/OneFreeError.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/OneFreeError.c -------------------------------------------------------------------------------- /test/Feature/OneOutOfBounds.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/OneOutOfBounds.c -------------------------------------------------------------------------------- /test/Feature/Optimize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/Optimize.c -------------------------------------------------------------------------------- /test/Feature/OverlappedError.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/OverlappedError.c -------------------------------------------------------------------------------- /test/Feature/OvershiftCheck.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/OvershiftCheck.c -------------------------------------------------------------------------------- /test/Feature/PreferCex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/PreferCex.c -------------------------------------------------------------------------------- /test/Feature/RaiseAsm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/RaiseAsm.c -------------------------------------------------------------------------------- /test/Feature/ReadExprConsistency.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ReadExprConsistency.c -------------------------------------------------------------------------------- /test/Feature/ReadStringAtAddress.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ReadStringAtAddress.c -------------------------------------------------------------------------------- /test/Feature/Realloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/Realloc.c -------------------------------------------------------------------------------- /test/Feature/ReplayPath.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ReplayPath.c -------------------------------------------------------------------------------- /test/Feature/RewriteEqualities.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/RewriteEqualities.c -------------------------------------------------------------------------------- /test/Feature/Searchers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/Searchers.c -------------------------------------------------------------------------------- /test/Feature/SeedConcretizeExtendFP.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/SeedConcretizeExtendFP.c -------------------------------------------------------------------------------- /test/Feature/SeedConcretizeExternalCall.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/SeedConcretizeExternalCall.c -------------------------------------------------------------------------------- /test/Feature/SeedConcretizeFP.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/SeedConcretizeFP.c -------------------------------------------------------------------------------- /test/Feature/SeedConcretizeMalloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/SeedConcretizeMalloc.c -------------------------------------------------------------------------------- /test/Feature/SeedExtension.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/SeedExtension.c -------------------------------------------------------------------------------- /test/Feature/SetForking.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/SetForking.c -------------------------------------------------------------------------------- /test/Feature/ShiftCheck.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ShiftCheck.c -------------------------------------------------------------------------------- /test/Feature/SilentKleeAssume.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/SilentKleeAssume.c -------------------------------------------------------------------------------- /test/Feature/SingleObjectResolution.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/SingleObjectResolution.c -------------------------------------------------------------------------------- /test/Feature/SolverTimeout.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/SolverTimeout.c -------------------------------------------------------------------------------- /test/Feature/SourceMapping.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/SourceMapping.c -------------------------------------------------------------------------------- /test/Feature/StackOverflow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/StackOverflow.c -------------------------------------------------------------------------------- /test/Feature/StackTraceOutput.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/StackTraceOutput.c -------------------------------------------------------------------------------- /test/Feature/TargetMismatch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/TargetMismatch.c -------------------------------------------------------------------------------- /test/Feature/VarArg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/VarArg.c -------------------------------------------------------------------------------- /test/Feature/VarArgAlignment.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/VarArgAlignment.c -------------------------------------------------------------------------------- /test/Feature/VarArgByVal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/VarArgByVal.c -------------------------------------------------------------------------------- /test/Feature/VarArgByValOld.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/VarArgByValOld.c -------------------------------------------------------------------------------- /test/Feature/VarArgByValReported.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/VarArgByValReported.c -------------------------------------------------------------------------------- /test/Feature/VarArgLongDouble.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/VarArgLongDouble.c -------------------------------------------------------------------------------- /test/Feature/WithLibc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/WithLibc.c -------------------------------------------------------------------------------- /test/Feature/WriteCov.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/WriteCov.c -------------------------------------------------------------------------------- /test/Feature/_utils._ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/_utils._ll -------------------------------------------------------------------------------- /test/Feature/asm_lifting.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/asm_lifting.ll -------------------------------------------------------------------------------- /test/Feature/consecutive_divide_by_zero.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/consecutive_divide_by_zero.c -------------------------------------------------------------------------------- /test/Feature/const_array_opt1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/const_array_opt1.c -------------------------------------------------------------------------------- /test/Feature/left-overshift-sym-conc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/left-overshift-sym-conc.c -------------------------------------------------------------------------------- /test/Feature/logical-right-overshift-sym-conc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/logical-right-overshift-sym-conc.c -------------------------------------------------------------------------------- /test/Feature/srem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/srem.c -------------------------------------------------------------------------------- /test/Feature/ubsan/ubsan_alignment-assumption.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ubsan/ubsan_alignment-assumption.c -------------------------------------------------------------------------------- /test/Feature/ubsan/ubsan_array_bounds.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ubsan/ubsan_array_bounds.c -------------------------------------------------------------------------------- /test/Feature/ubsan/ubsan_bool.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ubsan/ubsan_bool.c -------------------------------------------------------------------------------- /test/Feature/ubsan/ubsan_builtin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ubsan/ubsan_builtin.c -------------------------------------------------------------------------------- /test/Feature/ubsan/ubsan_enum.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ubsan/ubsan_enum.cpp -------------------------------------------------------------------------------- /test/Feature/ubsan/ubsan_float_cast_overflow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ubsan/ubsan_float_cast_overflow.c -------------------------------------------------------------------------------- /test/Feature/ubsan/ubsan_float_divide_by_zero.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ubsan/ubsan_float_divide_by_zero.c -------------------------------------------------------------------------------- /test/Feature/ubsan/ubsan_nonnull_attribute.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ubsan/ubsan_nonnull_attribute.c -------------------------------------------------------------------------------- /test/Feature/ubsan/ubsan_null.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ubsan/ubsan_null.c -------------------------------------------------------------------------------- /test/Feature/ubsan/ubsan_nullability_arg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ubsan/ubsan_nullability_arg.c -------------------------------------------------------------------------------- /test/Feature/ubsan/ubsan_nullability_assign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ubsan/ubsan_nullability_assign.c -------------------------------------------------------------------------------- /test/Feature/ubsan/ubsan_nullability_return.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ubsan/ubsan_nullability_return.c -------------------------------------------------------------------------------- /test/Feature/ubsan/ubsan_return.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ubsan/ubsan_return.cpp -------------------------------------------------------------------------------- /test/Feature/ubsan/ubsan_shift_base.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ubsan/ubsan_shift_base.c -------------------------------------------------------------------------------- /test/Feature/ubsan/ubsan_shift_exponent.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ubsan/ubsan_shift_exponent.c -------------------------------------------------------------------------------- /test/Feature/ubsan/ubsan_unreachable.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ubsan/ubsan_unreachable.c -------------------------------------------------------------------------------- /test/Feature/ubsan/ubsan_unsigned_shift_base.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ubsan/ubsan_unsigned_shift_base.c -------------------------------------------------------------------------------- /test/Feature/ubsan/ubsan_vla_bound.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/ubsan/ubsan_vla_bound.c -------------------------------------------------------------------------------- /test/Feature/utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Feature/utils.h -------------------------------------------------------------------------------- /test/Intrinsics/FMulAdd.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Intrinsics/FMulAdd.ll -------------------------------------------------------------------------------- /test/Intrinsics/IntrinsicTrap.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Intrinsics/IntrinsicTrap.ll -------------------------------------------------------------------------------- /test/Intrinsics/IsConstant.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Intrinsics/IsConstant.ll -------------------------------------------------------------------------------- /test/Intrinsics/MinMax.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Intrinsics/MinMax.ll -------------------------------------------------------------------------------- /test/Intrinsics/Missing.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Intrinsics/Missing.ll -------------------------------------------------------------------------------- /test/Intrinsics/Overflow.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Intrinsics/Overflow.ll -------------------------------------------------------------------------------- /test/Intrinsics/OverflowMul.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Intrinsics/OverflowMul.ll -------------------------------------------------------------------------------- /test/Intrinsics/Saturating.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Intrinsics/Saturating.ll -------------------------------------------------------------------------------- /test/Intrinsics/abs-no-overflow.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Intrinsics/abs-no-overflow.ll -------------------------------------------------------------------------------- /test/Intrinsics/abs-overflow.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Intrinsics/abs-overflow.ll -------------------------------------------------------------------------------- /test/Intrinsics/fabs.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Intrinsics/fabs.ll -------------------------------------------------------------------------------- /test/Intrinsics/fshlr.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Intrinsics/fshlr.ll -------------------------------------------------------------------------------- /test/Intrinsics/noalias-scope-decl.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Intrinsics/noalias-scope-decl.ll -------------------------------------------------------------------------------- /test/Intrinsics/objectsize.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Intrinsics/objectsize.ll -------------------------------------------------------------------------------- /test/Merging/batching_break.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Merging/batching_break.c -------------------------------------------------------------------------------- /test/Merging/easy_merge.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Merging/easy_merge.c -------------------------------------------------------------------------------- /test/Merging/incomplete_merge.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Merging/incomplete_merge.c -------------------------------------------------------------------------------- /test/Merging/indirect_value.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Merging/indirect_value.c -------------------------------------------------------------------------------- /test/Merging/loop_merge.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Merging/loop_merge.c -------------------------------------------------------------------------------- /test/Merging/merge_fail.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Merging/merge_fail.c -------------------------------------------------------------------------------- /test/Merging/nested_merge.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Merging/nested_merge.c -------------------------------------------------------------------------------- /test/Merging/split_merge.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Merging/split_merge.c -------------------------------------------------------------------------------- /test/Merging/state_termination.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Merging/state_termination.c -------------------------------------------------------------------------------- /test/Merging/unexpected_close.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Merging/unexpected_close.c -------------------------------------------------------------------------------- /test/README: -------------------------------------------------------------------------------- 1 | about tests.... 2 | -------------------------------------------------------------------------------- /test/Replay/klee-replay/KTestGen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Replay/klee-replay/KTestGen.c -------------------------------------------------------------------------------- /test/Replay/klee-replay/KTestRandGen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Replay/klee-replay/KTestRandGen.c -------------------------------------------------------------------------------- /test/Replay/klee-replay/KleeZesti.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Replay/klee-replay/KleeZesti.c -------------------------------------------------------------------------------- /test/Replay/libkleeruntest/replay_detection.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Replay/libkleeruntest/replay_detection.c -------------------------------------------------------------------------------- /test/Replay/libkleeruntest/replay_merge.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Replay/libkleeruntest/replay_merge.c -------------------------------------------------------------------------------- /test/Replay/libkleeruntest/replay_simple.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Replay/libkleeruntest/replay_simple.c -------------------------------------------------------------------------------- /test/Replay/libkleeruntest/replay_two_objects.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Replay/libkleeruntest/replay_two_objects.c -------------------------------------------------------------------------------- /test/Runtime/FreeStanding/freestanding_only.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/FreeStanding/freestanding_only.c -------------------------------------------------------------------------------- /test/Runtime/FreeStanding/memcpy_chk.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/FreeStanding/memcpy_chk.c -------------------------------------------------------------------------------- /test/Runtime/FreeStanding/memcpy_chk_err.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/FreeStanding/memcpy_chk_err.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/CanonicalizeFileName.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/CanonicalizeFileName.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/DirConsistency.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/DirConsistency.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/DirSeek.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/DirSeek.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Envp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/Envp.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/FDNumbers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/FDNumbers.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/FD_Fail.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/FD_Fail.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/FD_Fail2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/FD_Fail2.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Fcntl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/Fcntl.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/FilePerm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/FilePerm.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/FileTime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/FileTime.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/FreeArgv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/FreeArgv.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Futimesat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/Futimesat.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/GetcwdFail.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/GetcwdFail.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Getenv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/Getenv.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Ioctl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/Ioctl.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Isatty.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/Isatty.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/MixedConcreteSymbolic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/MixedConcreteSymbolic.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Openat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/Openat.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/PrgName.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/PrgName.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Read1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/Read1.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Replay.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/Replay.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/SELinux/SELinux.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/SELinux/SELinux.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/SELinux/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/SELinux/lit.local.cfg -------------------------------------------------------------------------------- /test/Runtime/POSIX/SeedAndFail.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/SeedAndFail.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Stdin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/Stdin.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/SymFileConsistency.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/SymFileConsistency.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/TestMain.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/TestMain.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Usage.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/Usage.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Write1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/Write1.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/Write2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/Write2.c -------------------------------------------------------------------------------- /test/Runtime/POSIX/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/POSIX/lit.local.cfg -------------------------------------------------------------------------------- /test/Runtime/Uclibc/Environ.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/Uclibc/Environ.c -------------------------------------------------------------------------------- /test/Runtime/Uclibc/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/Uclibc/lit.local.cfg -------------------------------------------------------------------------------- /test/Runtime/Uclibc/strcpy_chk.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/Uclibc/strcpy_chk.c -------------------------------------------------------------------------------- /test/Runtime/klee-libc/atexit_order.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/klee-libc/atexit_order.c -------------------------------------------------------------------------------- /test/Runtime/klee-libc/bcmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/klee-libc/bcmp.c -------------------------------------------------------------------------------- /test/Runtime/klee-libc/cxa_thread_atexit_impl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/klee-libc/cxa_thread_atexit_impl.c -------------------------------------------------------------------------------- /test/Runtime/klee-libc/mempcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/klee-libc/mempcpy.c -------------------------------------------------------------------------------- /test/Runtime/klee-libc/strcat_chk.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Runtime/klee-libc/strcat_chk.c -------------------------------------------------------------------------------- /test/Solver/2016-04-12-array-parsing-bug.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Solver/2016-04-12-array-parsing-bug.kquery -------------------------------------------------------------------------------- /test/Solver/AShr_to_smtlib.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Solver/AShr_to_smtlib.kquery -------------------------------------------------------------------------------- /test/Solver/AShr_to_smtlib.kquery.good.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Solver/AShr_to_smtlib.kquery.good.smt2 -------------------------------------------------------------------------------- /test/Solver/CrosscheckCoreStpZ3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Solver/CrosscheckCoreStpZ3.c -------------------------------------------------------------------------------- /test/Solver/DummySolver.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Solver/DummySolver.c -------------------------------------------------------------------------------- /test/Solver/ExerciseSolver.c.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Solver/ExerciseSolver.c.inc -------------------------------------------------------------------------------- /test/Solver/FastCexSolver.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Solver/FastCexSolver.kquery -------------------------------------------------------------------------------- /test/Solver/LargeIntegers.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Solver/LargeIntegers.kquery -------------------------------------------------------------------------------- /test/Solver/NoSTP.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Solver/NoSTP.c -------------------------------------------------------------------------------- /test/Solver/NoZ3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Solver/NoZ3.c -------------------------------------------------------------------------------- /test/Solver/STPDumpDebugQueries.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Solver/STPDumpDebugQueries.c -------------------------------------------------------------------------------- /test/Solver/STPswitchSAT.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Solver/STPswitchSAT.c -------------------------------------------------------------------------------- /test/Solver/ValidatingSolver.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Solver/ValidatingSolver.c -------------------------------------------------------------------------------- /test/Solver/Z3ConstantArray.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Solver/Z3ConstantArray.c -------------------------------------------------------------------------------- /test/Solver/Z3LargeConstantArray.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Solver/Z3LargeConstantArray.kquery -------------------------------------------------------------------------------- /test/Solver/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Solver/lit.local.cfg -------------------------------------------------------------------------------- /test/Solver/overshift-aright-by-constant.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Solver/overshift-aright-by-constant.kquery -------------------------------------------------------------------------------- /test/Solver/overshift-aright-by-symbolic.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Solver/overshift-aright-by-symbolic.kquery -------------------------------------------------------------------------------- /test/Solver/overshift-left-by-constant.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Solver/overshift-left-by-constant.kquery -------------------------------------------------------------------------------- /test/Solver/overshift-left-by-symbolic.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Solver/overshift-left-by-symbolic.kquery -------------------------------------------------------------------------------- /test/Solver/overshift-lright-by-constant.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Solver/overshift-lright-by-constant.kquery -------------------------------------------------------------------------------- /test/Solver/overshift-lright-by-symbolic.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/Solver/overshift-lright-by-symbolic.kquery -------------------------------------------------------------------------------- /test/VectorInstructions/external_call.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/VectorInstructions/external_call.c -------------------------------------------------------------------------------- /test/VectorInstructions/extract_element.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/VectorInstructions/extract_element.c -------------------------------------------------------------------------------- /test/VectorInstructions/insert_element.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/VectorInstructions/insert_element.c -------------------------------------------------------------------------------- /test/VectorInstructions/integer_ops_constant.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/VectorInstructions/integer_ops_constant.c -------------------------------------------------------------------------------- /test/VectorInstructions/memset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/VectorInstructions/memset.c -------------------------------------------------------------------------------- /test/VectorInstructions/oob-read.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/VectorInstructions/oob-read.c -------------------------------------------------------------------------------- /test/VectorInstructions/oob-write.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/VectorInstructions/oob-write.c -------------------------------------------------------------------------------- /test/VectorInstructions/shuffle_element.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/VectorInstructions/shuffle_element.c -------------------------------------------------------------------------------- /test/kleaver/Evaluate.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/kleaver/Evaluate.kquery -------------------------------------------------------------------------------- /test/kleaver/Evaluate2.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/kleaver/Evaluate2.kquery -------------------------------------------------------------------------------- /test/kleaver/Lexer/Numbers.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/kleaver/Lexer/Numbers.kquery -------------------------------------------------------------------------------- /test/kleaver/Parser/Concat64.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/kleaver/Parser/Concat64.kquery -------------------------------------------------------------------------------- /test/kleaver/Parser/ConstantFolding.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/kleaver/Parser/ConstantFolding.kquery -------------------------------------------------------------------------------- /test/kleaver/Parser/Exprs.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/kleaver/Parser/Exprs.kquery -------------------------------------------------------------------------------- /test/kleaver/Parser/MultiByteReads.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/kleaver/Parser/MultiByteReads.kquery -------------------------------------------------------------------------------- /test/kleaver/Parser/Simplify.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/kleaver/Parser/Simplify.kquery -------------------------------------------------------------------------------- /test/kleaver/Parser/TypeChecking.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/kleaver/Parser/TypeChecking.kquery -------------------------------------------------------------------------------- /test/kleaver/print-smt-let.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/kleaver/print-smt-let.kquery -------------------------------------------------------------------------------- /test/kleaver/print-smt-let.smt2.good: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/kleaver/print-smt-let.smt2.good -------------------------------------------------------------------------------- /test/kleaver/print-smt-named.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/kleaver/print-smt-named.kquery -------------------------------------------------------------------------------- /test/kleaver/print-smt-named.smt2.good: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/kleaver/print-smt-named.smt2.good -------------------------------------------------------------------------------- /test/kleaver/print-smt-none.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/kleaver/print-smt-none.kquery -------------------------------------------------------------------------------- /test/kleaver/print-smt-none.smt2.good: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/kleaver/print-smt-none.smt2.good -------------------------------------------------------------------------------- /test/klee-exec-tree/KleeExecTreeBogus.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/klee-exec-tree/KleeExecTreeBogus.test -------------------------------------------------------------------------------- /test/klee-exec-tree/WriteExecutionTree.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/klee-exec-tree/WriteExecutionTree.c -------------------------------------------------------------------------------- /test/klee-exec-tree/exec-tree-dbs/empty_db.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/klee-exec-tree/exec-tree-dbs/empty_db.csv -------------------------------------------------------------------------------- /test/klee-exec-tree/exec-tree-dbs/loop.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/klee-exec-tree/exec-tree-dbs/loop.csv -------------------------------------------------------------------------------- /test/klee-exec-tree/exec-tree-dbs/node_id0.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/klee-exec-tree/exec-tree-dbs/node_id0.csv -------------------------------------------------------------------------------- /test/klee-exec-tree/exec-tree-dbs/not_a.db: -------------------------------------------------------------------------------- 1 | 42 2 | -------------------------------------------------------------------------------- /test/klee-stats/KleeStats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/klee-stats/KleeStats.c -------------------------------------------------------------------------------- /test/klee-stats/KleeStatsBranches.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/klee-stats/KleeStatsBranches.c -------------------------------------------------------------------------------- /test/klee-stats/KleeStatsColumns.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/klee-stats/KleeStatsColumns.test -------------------------------------------------------------------------------- /test/klee-stats/KleeStatsCsv.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/klee-stats/KleeStatsCsv.test -------------------------------------------------------------------------------- /test/klee-stats/KleeStatsEmpty.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/klee-stats/KleeStatsEmpty.test -------------------------------------------------------------------------------- /test/klee-stats/KleeStatsNoBr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/klee-stats/KleeStatsNoBr.c -------------------------------------------------------------------------------- /test/klee-stats/KleeStatsTermClasses.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/klee-stats/KleeStatsTermClasses.c -------------------------------------------------------------------------------- /test/klee-stats/additional_column/info: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/klee-stats/additional_column/info -------------------------------------------------------------------------------- /test/klee-stats/additional_column/run.stats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/klee-stats/additional_column/run.stats -------------------------------------------------------------------------------- /test/klee-stats/empty/info: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/klee-stats/empty/info -------------------------------------------------------------------------------- /test/klee-stats/empty/run.stats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/klee-stats/empty/run.stats -------------------------------------------------------------------------------- /test/klee-stats/missing_column/info: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/klee-stats/missing_column/info -------------------------------------------------------------------------------- /test/klee-stats/missing_column/run.stats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/klee-stats/missing_column/run.stats -------------------------------------------------------------------------------- /test/klee-stats/run/info: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/klee-stats/run/info -------------------------------------------------------------------------------- /test/klee-stats/run/run.stats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/klee-stats/run/run.stats -------------------------------------------------------------------------------- /test/lit.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/lit.cfg -------------------------------------------------------------------------------- /test/lit.site.cfg.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/lit.site.cfg.in -------------------------------------------------------------------------------- /test/regression/2007-07-30-unflushed-byte.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2007-07-30-unflushed-byte.c -------------------------------------------------------------------------------- /test/regression/2007-08-01-bool-zext-in-call.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2007-08-01-bool-zext-in-call.ll -------------------------------------------------------------------------------- /test/regression/2007-08-06-64bit-shift.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2007-08-06-64bit-shift.c -------------------------------------------------------------------------------- /test/regression/2007-08-06-access-after-free.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2007-08-06-access-after-free.c -------------------------------------------------------------------------------- /test/regression/2007-08-08-free-zero.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2007-08-08-free-zero.c -------------------------------------------------------------------------------- /test/regression/2007-10-11-free-of-alloca.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2007-10-11-free-of-alloca.c -------------------------------------------------------------------------------- /test/regression/2008-03-04-free-of-global.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2008-03-04-free-of-global.c -------------------------------------------------------------------------------- /test/regression/2008-03-11-free-of-malloc-zero.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2008-03-11-free-of-malloc-zero.c -------------------------------------------------------------------------------- /test/regression/2008-04-10-bad-alloca-free.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2008-04-10-bad-alloca-free.c -------------------------------------------------------------------------------- /test/regression/2014-09-13-debug-info.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2014-09-13-debug-info.c -------------------------------------------------------------------------------- /test/regression/2014-12-08-ashr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2014-12-08-ashr.c -------------------------------------------------------------------------------- /test/regression/2015-06-22-struct-write.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2015-06-22-struct-write.c -------------------------------------------------------------------------------- /test/regression/2015-08-05-invalid-fork.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2015-08-05-invalid-fork.c -------------------------------------------------------------------------------- /test/regression/2015-08-30-empty-constraints.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2015-08-30-empty-constraints.c -------------------------------------------------------------------------------- /test/regression/2015-08-30-sdiv-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2015-08-30-sdiv-1.c -------------------------------------------------------------------------------- /test/regression/2016-04-14-sdiv-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2016-04-14-sdiv-2.c -------------------------------------------------------------------------------- /test/regression/2016-06-28-div-zero-bug.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2016-06-28-div-zero-bug.c -------------------------------------------------------------------------------- /test/regression/2016-08-06-klee-get-obj-size.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2016-08-06-klee-get-obj-size.c -------------------------------------------------------------------------------- /test/regression/2016-08-12-empty-file.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2016-08-12-empty-file.c -------------------------------------------------------------------------------- /test/regression/2016-11-24-bitcast-weak-alias.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2016-11-24-bitcast-weak-alias.c -------------------------------------------------------------------------------- /test/regression/2016-12-14-alloc-alignment.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2016-12-14-alloc-alignment.c -------------------------------------------------------------------------------- /test/regression/2017-02-21-pathOS-id.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2017-02-21-pathOS-id.c -------------------------------------------------------------------------------- /test/regression/2018-05-17-replay-short-names.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2018-05-17-replay-short-names.c -------------------------------------------------------------------------------- /test/regression/2018-10-01-double-segfault.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2018-10-01-double-segfault.c -------------------------------------------------------------------------------- /test/regression/2018-10-28-alias-to-alias.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2018-10-28-alias-to-alias.ll -------------------------------------------------------------------------------- /test/regression/2018-10-30-llvm-pr39177.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2018-10-30-llvm-pr39177.ll -------------------------------------------------------------------------------- /test/regression/2019-08-01-trap-instruction.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2019-08-01-trap-instruction.ll -------------------------------------------------------------------------------- /test/regression/2019-09-06-make-const-symbolic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2019-09-06-make-const-symbolic.c -------------------------------------------------------------------------------- /test/regression/2020-01-14-fabs-compare.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2020-01-14-fabs-compare.c -------------------------------------------------------------------------------- /test/regression/2020-02-24-count-paths-nodump.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2020-02-24-count-paths-nodump.c -------------------------------------------------------------------------------- /test/regression/2020-04-27-stp-array-names.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2020-04-27-stp-array-names.c -------------------------------------------------------------------------------- /test/regression/2022-06-28-asm-causes-error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2022-06-28-asm-causes-error.c -------------------------------------------------------------------------------- /test/regression/2023-11-20-solver.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/2023-11-20-solver.c -------------------------------------------------------------------------------- /test/regression/lit.local.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/test/regression/lit.local.cfg -------------------------------------------------------------------------------- /tools/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/CMakeLists.txt -------------------------------------------------------------------------------- /tools/kleaver/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/kleaver/CMakeLists.txt -------------------------------------------------------------------------------- /tools/kleaver/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/kleaver/main.cpp -------------------------------------------------------------------------------- /tools/klee-exec-tree/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/klee-exec-tree/CMakeLists.txt -------------------------------------------------------------------------------- /tools/klee-exec-tree/DFSVisitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/klee-exec-tree/DFSVisitor.cpp -------------------------------------------------------------------------------- /tools/klee-exec-tree/DFSVisitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/klee-exec-tree/DFSVisitor.h -------------------------------------------------------------------------------- /tools/klee-exec-tree/Printers.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/klee-exec-tree/Printers.cpp -------------------------------------------------------------------------------- /tools/klee-exec-tree/Printers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/klee-exec-tree/Printers.h -------------------------------------------------------------------------------- /tools/klee-exec-tree/Tree.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/klee-exec-tree/Tree.cpp -------------------------------------------------------------------------------- /tools/klee-exec-tree/Tree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/klee-exec-tree/Tree.h -------------------------------------------------------------------------------- /tools/klee-exec-tree/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/klee-exec-tree/main.cpp -------------------------------------------------------------------------------- /tools/klee-replay/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/klee-replay/CMakeLists.txt -------------------------------------------------------------------------------- /tools/klee-replay/fd_init.c: -------------------------------------------------------------------------------- 1 | #include "../../runtime/POSIX/fd_init.c" 2 | -------------------------------------------------------------------------------- /tools/klee-replay/file-creator.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/klee-replay/file-creator.c -------------------------------------------------------------------------------- /tools/klee-replay/klee-replay.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/klee-replay/klee-replay.c -------------------------------------------------------------------------------- /tools/klee-replay/klee-replay.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/klee-replay/klee-replay.h -------------------------------------------------------------------------------- /tools/klee-replay/klee_init_env.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/klee-replay/klee_init_env.c -------------------------------------------------------------------------------- /tools/klee-stats/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/klee-stats/CMakeLists.txt -------------------------------------------------------------------------------- /tools/klee-stats/klee-stats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/klee-stats/klee-stats -------------------------------------------------------------------------------- /tools/klee-zesti/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/klee-zesti/CMakeLists.txt -------------------------------------------------------------------------------- /tools/klee-zesti/klee-zesti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/klee-zesti/klee-zesti -------------------------------------------------------------------------------- /tools/klee/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/klee/CMakeLists.txt -------------------------------------------------------------------------------- /tools/klee/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/klee/main.cpp -------------------------------------------------------------------------------- /tools/ktest-gen/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/ktest-gen/CMakeLists.txt -------------------------------------------------------------------------------- /tools/ktest-gen/ktest-gen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/ktest-gen/ktest-gen.cpp -------------------------------------------------------------------------------- /tools/ktest-randgen/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/ktest-randgen/CMakeLists.txt -------------------------------------------------------------------------------- /tools/ktest-randgen/ktest-randgen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/ktest-randgen/ktest-randgen.cpp -------------------------------------------------------------------------------- /tools/ktest-tool/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/ktest-tool/CMakeLists.txt -------------------------------------------------------------------------------- /tools/ktest-tool/ktest-tool: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/tools/ktest-tool/ktest-tool -------------------------------------------------------------------------------- /unittests/Assignment/AssignmentTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/Assignment/AssignmentTest.cpp -------------------------------------------------------------------------------- /unittests/Assignment/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/Assignment/CMakeLists.txt -------------------------------------------------------------------------------- /unittests/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/CMakeLists.txt -------------------------------------------------------------------------------- /unittests/DiscretePDF/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/DiscretePDF/CMakeLists.txt -------------------------------------------------------------------------------- /unittests/DiscretePDF/DiscretePDFTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/DiscretePDF/DiscretePDFTest.cpp -------------------------------------------------------------------------------- /unittests/Expr/ArrayExprTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/Expr/ArrayExprTest.cpp -------------------------------------------------------------------------------- /unittests/Expr/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/Expr/CMakeLists.txt -------------------------------------------------------------------------------- /unittests/Expr/ExprTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/Expr/ExprTest.cpp -------------------------------------------------------------------------------- /unittests/KDAlloc/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/KDAlloc/CMakeLists.txt -------------------------------------------------------------------------------- /unittests/KDAlloc/allocate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/KDAlloc/allocate.cpp -------------------------------------------------------------------------------- /unittests/KDAlloc/randomtest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/KDAlloc/randomtest.cpp -------------------------------------------------------------------------------- /unittests/KDAlloc/reuse.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/KDAlloc/reuse.cpp -------------------------------------------------------------------------------- /unittests/KDAlloc/rusage.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/KDAlloc/rusage.cpp -------------------------------------------------------------------------------- /unittests/KDAlloc/sample.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/KDAlloc/sample.cpp -------------------------------------------------------------------------------- /unittests/KDAlloc/stacktest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/KDAlloc/stacktest.cpp -------------------------------------------------------------------------------- /unittests/KDAlloc/xoshiro.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/KDAlloc/xoshiro.h -------------------------------------------------------------------------------- /unittests/RNG/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/RNG/CMakeLists.txt -------------------------------------------------------------------------------- /unittests/RNG/RNGTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/RNG/RNGTest.cpp -------------------------------------------------------------------------------- /unittests/Ref/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/Ref/CMakeLists.txt -------------------------------------------------------------------------------- /unittests/Ref/RefTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/Ref/RefTest.cpp -------------------------------------------------------------------------------- /unittests/Searcher/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/Searcher/CMakeLists.txt -------------------------------------------------------------------------------- /unittests/Searcher/SearcherTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/Searcher/SearcherTest.cpp -------------------------------------------------------------------------------- /unittests/Solver/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/Solver/CMakeLists.txt -------------------------------------------------------------------------------- /unittests/Solver/SolverTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/Solver/SolverTest.cpp -------------------------------------------------------------------------------- /unittests/Solver/Z3SolverTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/Solver/Z3SolverTest.cpp -------------------------------------------------------------------------------- /unittests/TestMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/TestMain.cpp -------------------------------------------------------------------------------- /unittests/Time/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/Time/CMakeLists.txt -------------------------------------------------------------------------------- /unittests/Time/TimeTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/Time/TimeTest.cpp -------------------------------------------------------------------------------- /unittests/TreeStream/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/TreeStream/CMakeLists.txt -------------------------------------------------------------------------------- /unittests/TreeStream/TreeStreamTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/TreeStream/TreeStreamTest.cpp -------------------------------------------------------------------------------- /unittests/lit-unit-tests-common.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/lit-unit-tests-common.cfg -------------------------------------------------------------------------------- /unittests/lit-unit-tests-common.site.cfg.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/unittests/lit-unit-tests-common.site.cfg.in -------------------------------------------------------------------------------- /utils/data/Queries/pcresymperf-3.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/data/Queries/pcresymperf-3.kquery -------------------------------------------------------------------------------- /utils/data/Queries/pcresymperf-4.kquery: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/data/Queries/pcresymperf-4.kquery -------------------------------------------------------------------------------- /utils/emacs/klee-pc-mode.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/emacs/klee-pc-mode.el -------------------------------------------------------------------------------- /utils/grafana/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/grafana/Dockerfile -------------------------------------------------------------------------------- /utils/grafana/dashboard.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/grafana/dashboard.yml -------------------------------------------------------------------------------- /utils/grafana/datasource.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/grafana/datasource.yml -------------------------------------------------------------------------------- /utils/grafana/grafana.ini: -------------------------------------------------------------------------------- 1 | [auth.anonymous] 2 | enabled = true 3 | org_role = Admin 4 | -------------------------------------------------------------------------------- /utils/grafana/klee_dashboard.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/grafana/klee_dashboard.json -------------------------------------------------------------------------------- /utils/grafana/upload.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/grafana/upload.sh -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Animate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/hacks/TreeGraphs/Animate.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/DumpTreeStream.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/hacks/TreeGraphs/DumpTreeStream.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/mat2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/hacks/TreeGraphs/Graphics/Geometry/mat2.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/mat3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/hacks/TreeGraphs/Graphics/Geometry/mat3.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/mat4.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/hacks/TreeGraphs/Graphics/Geometry/mat4.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/quat.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/hacks/TreeGraphs/Graphics/Geometry/quat.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/vec2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/hacks/TreeGraphs/Graphics/Geometry/vec2.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/vec3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/hacks/TreeGraphs/Graphics/Geometry/vec3.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/Geometry/vec4.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/hacks/TreeGraphs/Graphics/Geometry/vec4.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/Graphics/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/hacks/TreeGraphs/Graphics/__init__.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/hacks/TreeGraphs/README.txt -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/TreeGraph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/hacks/TreeGraphs/TreeGraph.py -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/inputs/symPaths.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/hacks/TreeGraphs/inputs/symPaths.ts -------------------------------------------------------------------------------- /utils/hacks/TreeGraphs/inputs/symPaths6.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/hacks/TreeGraphs/inputs/symPaths6.ts -------------------------------------------------------------------------------- /utils/sanitizers/lsan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/sanitizers/lsan.txt -------------------------------------------------------------------------------- /utils/sanitizers/ubsan.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/sanitizers/ubsan.txt -------------------------------------------------------------------------------- /utils/valgrind/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/valgrind/README.txt -------------------------------------------------------------------------------- /utils/valgrind/valgrind-llvm.supp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/valgrind/valgrind-llvm.supp -------------------------------------------------------------------------------- /utils/valgrind/valgrind-stp.supp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/joshuay2022/empc/HEAD/utils/valgrind/valgrind-stp.supp --------------------------------------------------------------------------------