gitextract_8rt5w_4a/ ├── .github/ │ └── FUNDING.yml ├── .gitignore ├── LICENSE ├── Makefile ├── README ├── S2E-AUTHORS ├── config.lua ├── docs/ │ ├── BuildingLinux.html │ ├── BuildingLinux.rst │ ├── BuildingS2E.html │ ├── BuildingS2E.rst │ ├── Contribute.html │ ├── Contribute.rst │ ├── EquivalenceTesting.html │ ├── EquivalenceTesting.rst │ ├── FAQ.html │ ├── FAQ.rst │ ├── Howtos/ │ │ ├── Concolic.html │ │ ├── Concolic.rst │ │ ├── Debugging.html │ │ ├── Debugging.rst │ │ ├── ExecutionTracers.html │ │ ├── ExecutionTracers.rst │ │ ├── Parallel.html │ │ ├── Parallel.rst │ │ ├── WritingPlugins.html │ │ ├── WritingPlugins.rst │ │ ├── init_env.html │ │ └── init_env.rst │ ├── ImageInstallation.html │ ├── ImageInstallation.rst │ ├── Makefile │ ├── Plugins/ │ │ ├── Annotation.html │ │ ├── Annotation.rst │ │ ├── BaseInstructions.html │ │ ├── BaseInstructions.rst │ │ ├── EdgeKiller.html │ │ ├── EdgeKiller.rst │ │ ├── FunctionMonitor.html │ │ ├── FunctionMonitor.rst │ │ ├── ModuleExecutionDetector.html │ │ ├── ModuleExecutionDetector.rst │ │ ├── RawMonitor.html │ │ ├── RawMonitor.rst │ │ ├── StateManager.html │ │ ├── StateManager.rst │ │ ├── Tracers/ │ │ │ ├── ExecutionTracer.html │ │ │ ├── ExecutionTracer.rst │ │ │ ├── InstructionCounter.html │ │ │ ├── InstructionCounter.rst │ │ │ ├── ModuleTracer.html │ │ │ ├── ModuleTracer.rst │ │ │ ├── TestCaseGenerator.html │ │ │ ├── TestCaseGenerator.rst │ │ │ ├── TranslationBlockTracer.html │ │ │ └── TranslationBlockTracer.rst │ │ └── WindowsInterceptor/ │ │ ├── WindowsMonitor.html │ │ └── WindowsMonitor.rst │ ├── ProfilingS2E.html │ ├── ProfilingS2E.rst │ ├── SystemTap.html │ ├── SystemTap.rst │ ├── TestingMinimalProgram.html │ ├── TestingMinimalProgram.rst │ ├── Tools/ │ │ ├── CoverageGenerator.html │ │ ├── CoverageGenerator.rst │ │ ├── DebugInfo.html │ │ ├── DebugInfo.rst │ │ ├── ExecutionProfiler.html │ │ ├── ExecutionProfiler.rst │ │ ├── ForkProfiler.html │ │ ├── ForkProfiler.rst │ │ ├── TbPrinter.html │ │ └── TbPrinter.rst │ ├── UsingS2EGet.html │ ├── UsingS2EGet.rst │ ├── Windows/ │ │ ├── CheckedBuild.html │ │ ├── CheckedBuild.rst │ │ ├── DriverTutorial.html │ │ └── DriverTutorial.rst │ ├── config.s2e.i686 │ ├── index.html │ ├── index.rst │ ├── pygments-default.css │ ├── rst2html-pygments │ ├── rst2latex-pygments │ ├── s2e.css │ └── sample/ │ └── factorial.c ├── guest/ │ ├── Makefile │ ├── configure │ ├── demos/ │ │ └── quicksort.c │ ├── include/ │ │ ├── s2e-arm.h │ │ ├── s2e-x86.h │ │ └── s2e.h │ ├── init_env/ │ │ └── init_env.c │ ├── s2ecmd/ │ │ └── s2ecmd.c │ ├── s2eget/ │ │ └── s2eget.c │ ├── stp/ │ │ └── s2e.stp │ └── windbg-gdb/ │ ├── BFDInterface.cpp │ ├── BFDInterface.h │ ├── Makefile │ ├── StartSize.h │ ├── Symbols.cpp │ ├── Symbols.h │ ├── gdbsyms.def │ └── main.cpp ├── klee/ │ ├── LICENSE.TXT │ ├── Makefile │ ├── Makefile.common │ ├── Makefile.config.in │ ├── README.txt │ ├── TODO.txt │ ├── autoconf/ │ │ ├── AutoRegen.sh │ │ ├── config.guess │ │ ├── config.sub │ │ ├── configure.ac │ │ └── install-sh │ ├── configure │ ├── docs/ │ │ ├── SMT-COMP/ │ │ │ ├── BitVector_ArraysEx.smt │ │ │ ├── BitVectors.smt │ │ │ ├── QF_AUFBV.smt │ │ │ └── QF_BV.smt │ │ ├── doxygen.cfg │ │ ├── intro │ │ └── overview │ ├── examples/ │ │ ├── islower/ │ │ │ └── islower.c │ │ ├── regexp/ │ │ │ ├── Regexp.c │ │ │ └── notes.txt │ │ └── sort/ │ │ └── sort.c │ ├── include/ │ │ ├── expr/ │ │ │ ├── Lexer.h │ │ │ └── Parser.h │ │ └── klee/ │ │ ├── AddressSpace.h │ │ ├── BitfieldSimplifier.h │ │ ├── CallPathManager.h │ │ ├── Common.h │ │ ├── Config/ │ │ │ ├── common.h │ │ │ └── config.h.in │ │ ├── Constraints.h │ │ ├── Context.h │ │ ├── CoreStats.h │ │ ├── ExecutionState.h │ │ ├── Executor.h │ │ ├── Expr.h │ │ ├── ExprBuilder.h │ │ ├── ExternalDispatcher.h │ │ ├── IncompleteSolver.h │ │ ├── Internal/ │ │ │ ├── ADT/ │ │ │ │ ├── DiscretePDF.h │ │ │ │ ├── DiscretePDF.inc │ │ │ │ ├── ImmutableMap.h │ │ │ │ ├── ImmutableSet.h │ │ │ │ ├── ImmutableTree.h │ │ │ │ ├── KTest.h │ │ │ │ ├── MapOfSets.h │ │ │ │ ├── RNG.h │ │ │ │ └── TreeStream.h │ │ │ ├── Module/ │ │ │ │ ├── Cell.h │ │ │ │ ├── InstructionInfoTable.h │ │ │ │ ├── KInstIterator.h │ │ │ │ ├── KInstruction.h │ │ │ │ └── KModule.h │ │ │ ├── README.txt │ │ │ ├── Support/ │ │ │ │ ├── FloatEvaluation.h │ │ │ │ ├── IntEvaluation.h │ │ │ │ ├── ModuleUtil.h │ │ │ │ ├── QueryLog.h │ │ │ │ └── Timer.h │ │ │ └── System/ │ │ │ └── Time.h │ │ ├── Interpreter.h │ │ ├── Memory.h │ │ ├── ObjectHolder.h │ │ ├── PTree.h │ │ ├── Searcher.h │ │ ├── Solver.h │ │ ├── SolverImpl.h │ │ ├── SolverStats.h │ │ ├── Statistic.h │ │ ├── Statistics.h │ │ ├── StatsTracker.h │ │ ├── TimerStatIncrementer.h │ │ ├── UserSearcher.h │ │ └── util/ │ │ ├── Assignment.h │ │ ├── BitArray.h │ │ ├── Bits.h │ │ ├── ExprEvaluator.h │ │ ├── ExprHashMap.h │ │ ├── ExprPPrinter.h │ │ ├── ExprRangeEvaluator.h │ │ ├── ExprUtil.h │ │ ├── ExprVisitor.h │ │ └── Ref.h │ ├── lib/ │ │ ├── Basic/ │ │ │ ├── KTest.cpp │ │ │ ├── Makefile │ │ │ ├── README.txt │ │ │ └── Statistics.cpp │ │ ├── Core/ │ │ │ ├── AddressSpace.cpp │ │ │ ├── CallPathManager.cpp │ │ │ ├── Common.cpp │ │ │ ├── Context.cpp │ │ │ ├── CoreStats.cpp │ │ │ ├── ExecutionState.cpp │ │ │ ├── Executor.cpp │ │ │ ├── ExecutorTimers.cpp │ │ │ ├── ExecutorUtil.cpp │ │ │ ├── ExternalDispatcher.cpp │ │ │ ├── ImpliedValue.cpp │ │ │ ├── ImpliedValue.h │ │ │ ├── KleeExecutor.cpp │ │ │ ├── KleeExecutor.h │ │ │ ├── Makefile │ │ │ ├── Memory.cpp │ │ │ ├── MemoryManager.cpp │ │ │ ├── MemoryManager.h │ │ │ ├── PTree.cpp │ │ │ ├── Searcher.cpp │ │ │ ├── SeedInfo.cpp │ │ │ ├── SeedInfo.h │ │ │ ├── SpecialFunctionHandler.cpp │ │ │ ├── SpecialFunctionHandler.h │ │ │ ├── StatsTracker.cpp │ │ │ ├── TimingSolver.cpp │ │ │ ├── TimingSolver.h │ │ │ └── UserSearcher.cpp │ │ ├── Expr/ │ │ │ ├── BitfieldSimplifier.cpp │ │ │ ├── Constraints.cpp │ │ │ ├── Expr.cpp │ │ │ ├── ExprBuilder.cpp │ │ │ ├── ExprEvaluator.cpp │ │ │ ├── ExprPPrinter.cpp │ │ │ ├── ExprUtil.cpp │ │ │ ├── ExprVisitor.cpp │ │ │ ├── Lexer.cpp │ │ │ ├── Makefile │ │ │ ├── Parser.cpp │ │ │ └── Updates.cpp │ │ ├── Makefile │ │ ├── Module/ │ │ │ ├── Checks.cpp │ │ │ ├── InstructionInfoTable.cpp │ │ │ ├── IntrinsicCleaner.cpp │ │ │ ├── KInstruction.cpp │ │ │ ├── KModule.cpp │ │ │ ├── LowerSwitch.cpp │ │ │ ├── Makefile │ │ │ ├── ModuleUtil.cpp │ │ │ ├── Optimize.cpp │ │ │ ├── Passes.h │ │ │ ├── PhiCleaner.cpp │ │ │ └── RaiseAsm.cpp │ │ ├── README.txt │ │ ├── SMT/ │ │ │ ├── LICENSE.CVC3 │ │ │ ├── Makefile │ │ │ ├── SMTParser.cpp │ │ │ ├── SMTParser.h │ │ │ ├── main.cpp │ │ │ ├── smtlib.lex │ │ │ └── smtlib.y │ │ ├── Solver/ │ │ │ ├── CachingSolver.cpp │ │ │ ├── CexCachingSolver.cpp │ │ │ ├── ConstantDivision.cpp │ │ │ ├── ConstantDivision.h │ │ │ ├── FastCexSolver.cpp │ │ │ ├── IncompleteSolver.cpp │ │ │ ├── IndependentSolver.cpp │ │ │ ├── Makefile │ │ │ ├── PCLoggingSolver.cpp │ │ │ ├── STPBuilder.cpp │ │ │ ├── STPBuilder.h │ │ │ ├── Solver.cpp │ │ │ └── SolverStats.cpp │ │ └── Support/ │ │ ├── Makefile │ │ ├── README.txt │ │ ├── RNG.cpp │ │ ├── Time.cpp │ │ ├── Timer.cpp │ │ └── TreeStream.cpp │ ├── runtime/ │ │ ├── Intrinsic/ │ │ │ ├── Makefile │ │ │ ├── klee_div_zero_check.c │ │ │ ├── klee_int.c │ │ │ ├── klee_range.c │ │ │ ├── memcpy.c │ │ │ ├── memmove.c │ │ │ ├── mempcpy.c │ │ │ └── memset.c │ │ ├── Makefile │ │ ├── POSIX/ │ │ │ ├── Makefile │ │ │ ├── fd.c │ │ │ ├── fd.h │ │ │ ├── fd_32.c │ │ │ ├── fd_64.c │ │ │ ├── fd_init.c │ │ │ ├── illegal.c │ │ │ ├── klee_init_env.c │ │ │ ├── misc.c │ │ │ ├── selinux.c │ │ │ ├── stubs.c │ │ │ ├── testing-dir/ │ │ │ │ ├── c │ │ │ │ └── d │ │ │ └── testing-env │ │ ├── Runtest/ │ │ │ ├── Makefile │ │ │ └── intrinsics.c │ │ └── klee-libc/ │ │ ├── Makefile │ │ ├── __cxa_atexit.c │ │ ├── abort.c │ │ ├── atexit.c │ │ ├── atoi.c │ │ ├── calloc.c │ │ ├── htonl.c │ │ ├── klee-choose.c │ │ ├── memchr.c │ │ ├── memcmp.c │ │ ├── memcpy.c │ │ ├── memmove.c │ │ ├── mempcpy.c │ │ ├── memset.c │ │ ├── putchar.c │ │ ├── stpcpy.c │ │ ├── strcat.c │ │ ├── strchr.c │ │ ├── strcmp.c │ │ ├── strcoll.c │ │ ├── strcpy.c │ │ ├── strlen.c │ │ ├── strncmp.c │ │ ├── strncpy.c │ │ ├── strrchr.c │ │ ├── strtol.c │ │ ├── strtoul.c │ │ ├── tolower.c │ │ └── toupper.c │ ├── scripts/ │ │ ├── IStatsMerge.py │ │ ├── IStatsSum.py │ │ ├── klee-control │ │ ├── klee-gcc │ │ └── objdump │ ├── stp/ │ │ ├── AST/ │ │ │ ├── AST.cpp │ │ │ ├── AST.h │ │ │ ├── ASTKind.kinds │ │ │ ├── ASTUtil.cpp │ │ │ ├── ASTUtil.h │ │ │ ├── BitBlast.cpp │ │ │ ├── Makefile │ │ │ ├── STLport_config.h │ │ │ ├── SimpBool.cpp │ │ │ ├── ToCNF.cpp │ │ │ ├── ToSAT.cpp │ │ │ ├── Transform.cpp │ │ │ ├── asttest.cpp │ │ │ ├── bbtest.cpp │ │ │ ├── cnftest.cpp │ │ │ └── genkinds.pl │ │ ├── INSTALL │ │ ├── LICENSE │ │ ├── Makefile │ │ ├── Makefile.common.in │ │ ├── README │ │ ├── bitvec/ │ │ │ ├── Makefile │ │ │ └── consteval.cpp │ │ ├── c_interface/ │ │ │ ├── Makefile │ │ │ ├── c_interface.cpp │ │ │ ├── c_interface.h │ │ │ └── fdstream.h │ │ ├── constantbv/ │ │ │ ├── Makefile │ │ │ ├── constantbv.cpp │ │ │ └── constantbv.h │ │ ├── parser/ │ │ │ ├── Makefile │ │ │ ├── PL.lex │ │ │ ├── PL.y │ │ │ ├── let-funcs.cpp │ │ │ ├── main.cpp │ │ │ ├── smtlib.lex │ │ │ └── smtlib.y │ │ ├── sat/ │ │ │ ├── Global.h │ │ │ ├── Heap.h │ │ │ ├── LICENSE │ │ │ ├── Makefile │ │ │ ├── Simplifier.C │ │ │ ├── Solver.C │ │ │ ├── Solver.h │ │ │ ├── SolverTypes.h │ │ │ ├── Sort.h │ │ │ └── VarOrder.h │ │ ├── simplifier/ │ │ │ ├── Makefile │ │ │ ├── bvsolver.cpp │ │ │ ├── bvsolver.h │ │ │ └── simplifier.cpp │ │ └── stp/ │ │ └── Makefile │ ├── test/ │ │ ├── CXX/ │ │ │ ├── ArrayNew.cpp │ │ │ ├── New.cpp │ │ │ ├── SimpleVirtual.cpp │ │ │ ├── StaticConstructor.cpp │ │ │ ├── StaticDestructor.cpp │ │ │ ├── Trivial.cpp │ │ │ └── dg.exp │ │ ├── Concrete/ │ │ │ ├── BitwiseOps.ll │ │ │ ├── BoolReadWrite.ll │ │ │ ├── Casts.ll │ │ │ ├── CmpEq.ll │ │ │ ├── ConcreteTest.py │ │ │ ├── ConstantExpr.ll │ │ │ ├── FloatingPointOps.ll │ │ │ ├── GlobalInitializers.ll │ │ │ ├── GlobalVariable.ll │ │ │ ├── ICmp.ll │ │ │ ├── InvokeAndReturn.ll │ │ │ ├── InvokeAndUnwindOnce.ll │ │ │ ├── InvokeAndUnwindTwice.ll │ │ │ ├── Makefile │ │ │ ├── OneCall.ll │ │ │ ├── OverlappingPhiNodes.ll │ │ │ ├── Select.ll │ │ │ ├── Shifts.ll │ │ │ ├── SimpleStoreAndLoad.ll │ │ │ ├── UnconditionalBranch.ll │ │ │ ├── UnconditionalBranchWithSimplePhi.ll │ │ │ ├── UnorderedPhiNodes.ll │ │ │ ├── _testingUtils.c │ │ │ ├── ackermann.c │ │ │ └── arith_test.ll │ │ ├── Coverage/ │ │ │ ├── ReadArgs.c │ │ │ ├── ReplayOutDir.c │ │ │ └── dg.exp │ │ ├── Dogfood/ │ │ │ ├── ImmutableSet.cpp │ │ │ └── dg.exp │ │ ├── Expr/ │ │ │ ├── Evaluate.pc │ │ │ ├── Evaluate2.pc │ │ │ ├── Lexer/ │ │ │ │ ├── Numbers.pc │ │ │ │ └── dg.exp │ │ │ ├── Parser/ │ │ │ │ ├── Concat64.pc │ │ │ │ ├── ConstantFolding.pc │ │ │ │ ├── Exprs.pc │ │ │ │ ├── MultiByteReads.pc │ │ │ │ ├── Simplify.pc │ │ │ │ ├── TypeChecking.pc │ │ │ │ └── dg.exp │ │ │ └── dg.exp │ │ ├── Feature/ │ │ │ ├── Alias.c │ │ │ ├── AliasFunction.c │ │ │ ├── AliasFunctionExit.c │ │ │ ├── AsmAddresses.c │ │ │ ├── ByteSwap.c │ │ │ ├── CallToUndefinedExternal.cpp │ │ │ ├── CheckForImpliedValue.c.failing │ │ │ ├── CheckMemoryAccess.c │ │ │ ├── CopyOnWrite.c │ │ │ ├── DanglingConcreteReadExpr.c │ │ │ ├── DefineFixedObject.c │ │ │ ├── DoubleFree.c │ │ │ ├── DumpStatesOnHalt.c │ │ │ ├── Envp.c │ │ │ ├── ExprLogging.c │ │ │ ├── ExternalWeakLinkage.c │ │ │ ├── Float.c │ │ │ ├── FunctionPointer.c │ │ │ ├── GetValue.c │ │ │ ├── ImpliedValue.c.failing │ │ │ ├── InAndOutOfBounds.c │ │ │ ├── IndirectCallToBuiltin.c │ │ │ ├── IndirectCallToExternal.c │ │ │ ├── InvalidBitfieldAccess.c.failing │ │ │ ├── IsSymbolic.c │ │ │ ├── KleeReportError.c │ │ │ ├── LongDoubleSupport.c │ │ │ ├── LowerSwitch.c │ │ │ ├── MakeConcreteSymbolic.c │ │ │ ├── MakeSymbolicName.c │ │ │ ├── MemoryLimit.c │ │ │ ├── MultipleFreeResolution.c │ │ │ ├── MultipleReadResolution.c │ │ │ ├── MultipleReallocResolution.c │ │ │ ├── MultipleWriteResolution.c │ │ │ ├── NamedSeedMatching.c │ │ │ ├── OneFreeError.c │ │ │ ├── OneOutOfBounds.c │ │ │ ├── Optimize.c │ │ │ ├── OverlappedError.c │ │ │ ├── PreferCex.c │ │ │ ├── RaiseAsm.c │ │ │ ├── ReallocFailure.c │ │ │ ├── ReplayPath.c │ │ │ ├── Searchers.c │ │ │ ├── SetForking.c │ │ │ ├── Vararg.c │ │ │ ├── WithLibc.c │ │ │ ├── WriteCov.c │ │ │ ├── _utils._ll │ │ │ ├── const_array_opt1.c │ │ │ ├── dg.exp │ │ │ └── utils.h │ │ ├── Makefile │ │ ├── Makefile.tests │ │ ├── Programs/ │ │ │ ├── dg.exp │ │ │ └── pcregrep.c │ │ ├── README │ │ ├── Runtime/ │ │ │ ├── POSIX/ │ │ │ │ ├── DirConsistency.c │ │ │ │ ├── DirSeek.c │ │ │ │ ├── FDNumbers.c │ │ │ │ ├── FD_Fail.c │ │ │ │ ├── FD_Fail2.c │ │ │ │ ├── Fcntl.c │ │ │ │ ├── FilePerm.c │ │ │ │ ├── FreeArgv.c │ │ │ │ ├── Getenv.c │ │ │ │ ├── Ioctl.c │ │ │ │ ├── Isatty.c │ │ │ │ ├── PrgName.c │ │ │ │ ├── Read1.c │ │ │ │ ├── SELinux.c │ │ │ │ ├── SeedAndFail.c │ │ │ │ ├── Stdin.c │ │ │ │ ├── Write1.c │ │ │ │ ├── Write2.c │ │ │ │ └── dg.exp │ │ │ └── Uclibc/ │ │ │ ├── 2007-10-08-optimization-calls-wrong-libc-functions.c │ │ │ ├── 2008-03-04-libc-atexit-uses-dso-handle.c │ │ │ ├── Environ.c │ │ │ └── dg.exp │ │ ├── Solver/ │ │ │ ├── FastCexSolver.pc │ │ │ ├── LargeIntegers.pc │ │ │ └── dg.exp │ │ ├── TestRunner.sh │ │ ├── lib/ │ │ │ └── llvm.exp │ │ └── 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-02-11-phi-nodes-after-invoke.ll │ │ ├── 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 │ │ └── dg.exp │ ├── tools/ │ │ ├── Makefile │ │ ├── gen-random-bout/ │ │ │ ├── Makefile │ │ │ └── gen-random-bout.cpp │ │ ├── kleaver/ │ │ │ ├── Makefile │ │ │ └── main.cpp │ │ ├── klee/ │ │ │ ├── Debug.cpp │ │ │ ├── Makefile │ │ │ └── main.cpp │ │ ├── klee-config/ │ │ │ ├── FinalLibDeps.txt │ │ │ ├── Makefile │ │ │ └── klee-config.in.in │ │ ├── klee-replay/ │ │ │ ├── Makefile │ │ │ ├── fd_init.c │ │ │ ├── file-creator.c │ │ │ ├── klee-replay.c │ │ │ ├── klee-replay.h │ │ │ └── klee_init_env.c │ │ ├── klee-stats/ │ │ │ ├── Makefile │ │ │ └── klee-stats │ │ └── ktest-tool/ │ │ ├── Makefile │ │ └── ktest-tool │ ├── unittests/ │ │ ├── Expr/ │ │ │ ├── ExprTest.cpp │ │ │ └── Makefile │ │ ├── Makefile │ │ ├── Solver/ │ │ │ ├── Makefile │ │ │ └── SolverTest.cpp │ │ └── TestMain.cpp │ ├── utils/ │ │ ├── data/ │ │ │ └── Queries/ │ │ │ ├── pcresymperf-3.pc │ │ │ └── pcresymperf-4.pc │ │ ├── emacs/ │ │ │ └── klee-pc-mode.el │ │ └── valgrind/ │ │ ├── README.txt │ │ ├── valgrind-llvm.supp │ │ └── valgrind-stp.supp │ └── www/ │ ├── Documentation.html │ ├── GetInvolved.html │ ├── GetStarted.html │ ├── KQuery.html │ ├── TestingCoreutils.html │ ├── Tutorial-1.html │ ├── Tutorial-2.html │ ├── Tutorials.html │ ├── bugs.html │ ├── content.css │ ├── index.html │ ├── klee-files.html │ ├── klee-tools.html │ ├── menu.css │ ├── menu.html.incl │ └── resources/ │ ├── Regexp.c.html │ └── islower.c.html ├── patches/ │ └── compiler-rt-3.2-asan4s2e.patch ├── qemu/ │ ├── .gitignore │ ├── .gitmodules │ ├── .mailmap │ ├── CODING_STYLE │ ├── COPYING │ ├── COPYING.LIB │ ├── Changelog │ ├── HACKING │ ├── LICENSE │ ├── MAINTAINERS │ ├── Makefile │ ├── Makefile.dis │ ├── Makefile.hw │ ├── Makefile.objs │ ├── Makefile.target │ ├── Makefile.user │ ├── QMP/ │ │ ├── README │ │ ├── qmp │ │ ├── qmp-events.txt │ │ ├── qmp-shell │ │ ├── qmp-spec.txt │ │ ├── qmp.py │ │ ├── qom-get │ │ ├── qom-list │ │ └── qom-set │ ├── README │ ├── TODO │ ├── VERSION │ ├── a.out.h │ ├── acl.c │ ├── acl.h │ ├── aes.c │ ├── aes.h │ ├── aio.c │ ├── alpha-dis.c │ ├── alpha.ld │ ├── arch_init.c │ ├── arch_init.h │ ├── arm-dis.c │ ├── arm-semi.c │ ├── arm.ld │ ├── async.c │ ├── audio/ │ │ ├── alsaaudio.c │ │ ├── audio.c │ │ ├── audio.h │ │ ├── audio_int.h │ │ ├── audio_pt_int.c │ │ ├── audio_pt_int.h │ │ ├── audio_template.h │ │ ├── audio_win_int.c │ │ ├── audio_win_int.h │ │ ├── coreaudio.c │ │ ├── dsound_template.h │ │ ├── dsoundaudio.c │ │ ├── esdaudio.c │ │ ├── fmodaudio.c │ │ ├── mixeng.c │ │ ├── mixeng.h │ │ ├── mixeng_template.h │ │ ├── noaudio.c │ │ ├── ossaudio.c │ │ ├── paaudio.c │ │ ├── rate_template.h │ │ ├── sdlaudio.c │ │ ├── spiceaudio.c │ │ ├── wavaudio.c │ │ ├── wavcapture.c │ │ └── winwaveaudio.c │ ├── balloon.c │ ├── balloon.h │ ├── bitmap.c │ ├── bitmap.h │ ├── bitops.c │ ├── bitops.h │ ├── block/ │ │ ├── blkdebug.c │ │ ├── blkverify.c │ │ ├── bochs.c │ │ ├── cloop.c │ │ ├── cow.c │ │ ├── curl.c │ │ ├── dmg.c │ │ ├── iscsi.c │ │ ├── nbd.c │ │ ├── parallels.c │ │ ├── qcow.c │ │ ├── qcow2-cache.c │ │ ├── qcow2-cluster.c │ │ ├── qcow2-refcount.c │ │ ├── qcow2-snapshot.c │ │ ├── qcow2.c │ │ ├── qcow2.h │ │ ├── qed-check.c │ │ ├── qed-cluster.c │ │ ├── qed-gencb.c │ │ ├── qed-l2-cache.c │ │ ├── qed-table.c │ │ ├── qed.c │ │ ├── qed.h │ │ ├── raw-posix-aio.h │ │ ├── raw-posix.c │ │ ├── raw-win32.c │ │ ├── raw.c │ │ ├── rbd.c │ │ ├── s2e.c │ │ ├── sheepdog.c │ │ ├── stream.c │ │ ├── vdi.c │ │ ├── vmdk.c │ │ ├── vpc.c │ │ └── vvfat.c │ ├── block-migration.c │ ├── block-migration.h │ ├── block.c │ ├── block.h │ ├── block_int.h │ ├── blockdev.c │ ├── blockdev.h │ ├── bsd-user/ │ │ ├── bsd-mman.h │ │ ├── bsdload.c │ │ ├── elfload.c │ │ ├── errno_defs.h │ │ ├── freebsd/ │ │ │ ├── strace.list │ │ │ └── syscall_nr.h │ │ ├── i386/ │ │ │ ├── syscall.h │ │ │ └── target_signal.h │ │ ├── main.c │ │ ├── mmap.c │ │ ├── netbsd/ │ │ │ ├── strace.list │ │ │ └── syscall_nr.h │ │ ├── openbsd/ │ │ │ ├── strace.list │ │ │ └── syscall_nr.h │ │ ├── qemu-types.h │ │ ├── qemu.h │ │ ├── signal.c │ │ ├── sparc/ │ │ │ ├── syscall.h │ │ │ └── target_signal.h │ │ ├── sparc64/ │ │ │ ├── syscall.h │ │ │ └── target_signal.h │ │ ├── strace.c │ │ ├── syscall.c │ │ ├── syscall_defs.h │ │ ├── uaccess.c │ │ └── x86_64/ │ │ ├── syscall.h │ │ └── target_signal.h │ ├── bswap.h │ ├── bt-host.c │ ├── bt-host.h │ ├── bt-vhci.c │ ├── buffered_file.c │ ├── buffered_file.h │ ├── cache-utils.c │ ├── cache-utils.h │ ├── cmd.c │ ├── cmd.h │ ├── compatfd.c │ ├── compatfd.h │ ├── compiler.h │ ├── config.h │ ├── configure │ ├── console.c │ ├── console.h │ ├── coroutine-gthread.c │ ├── coroutine-sigaltstack.c │ ├── coroutine-ucontext.c │ ├── coroutine-win32.c │ ├── cpu-all.h │ ├── cpu-common.h │ ├── cpu-defs.h │ ├── cpu-exec.c │ ├── cpus.c │ ├── cpus.h │ ├── cris-dis.c │ ├── cursor.c │ ├── cursor_hidden.xpm │ ├── cursor_left_ptr.xpm │ ├── cutils.c │ ├── darwin-user/ │ │ ├── commpage.c │ │ ├── ioctls.h │ │ ├── ioctls_types.h │ │ ├── machload.c │ │ ├── main.c │ │ ├── mmap.c │ │ ├── qemu.h │ │ ├── signal.c │ │ ├── syscall.c │ │ └── syscalls.h │ ├── def-helper.h │ ├── default-configs/ │ │ ├── alpha-linux-user.mak │ │ ├── alpha-softmmu.mak │ │ ├── arm-linux-user.mak │ │ ├── arm-s2e-softmmu.mak │ │ ├── arm-softmmu.mak │ │ ├── armeb-linux-user.mak │ │ ├── cris-linux-user.mak │ │ ├── cris-softmmu.mak │ │ ├── i386-bsd-user.mak │ │ ├── i386-darwin-user.mak │ │ ├── i386-linux-user.mak │ │ ├── i386-s2e-softmmu.mak │ │ ├── i386-softmmu.mak │ │ ├── lm32-softmmu.mak │ │ ├── m68k-linux-user.mak │ │ ├── m68k-softmmu.mak │ │ ├── microblaze-linux-user.mak │ │ ├── microblaze-softmmu.mak │ │ ├── microblazeel-linux-user.mak │ │ ├── microblazeel-softmmu.mak │ │ ├── mips-linux-user.mak │ │ ├── mips-softmmu.mak │ │ ├── mips64-linux-user.mak │ │ ├── mips64-softmmu.mak │ │ ├── mips64el-linux-user.mak │ │ ├── mips64el-softmmu.mak │ │ ├── mipsel-linux-user.mak │ │ ├── mipsel-softmmu.mak │ │ ├── mipsn32-linux-user.mak │ │ ├── mipsn32el-linux-user.mak │ │ ├── pci.mak │ │ ├── ppc-darwin-user.mak │ │ ├── ppc-linux-user.mak │ │ ├── ppc-softmmu.mak │ │ ├── ppc64-linux-user.mak │ │ ├── ppc64-softmmu.mak │ │ ├── ppc64abi32-linux-user.mak │ │ ├── ppcemb-softmmu.mak │ │ ├── s390x-linux-user.mak │ │ ├── s390x-softmmu.mak │ │ ├── sh4-linux-user.mak │ │ ├── sh4-softmmu.mak │ │ ├── sh4eb-linux-user.mak │ │ ├── sh4eb-softmmu.mak │ │ ├── sparc-bsd-user.mak │ │ ├── sparc-linux-user.mak │ │ ├── sparc-softmmu.mak │ │ ├── sparc32plus-linux-user.mak │ │ ├── sparc64-bsd-user.mak │ │ ├── sparc64-linux-user.mak │ │ ├── sparc64-softmmu.mak │ │ ├── unicore32-linux-user.mak │ │ ├── x86_64-bsd-user.mak │ │ ├── x86_64-linux-user.mak │ │ ├── x86_64-s2e-softmmu.mak │ │ ├── x86_64-softmmu.mak │ │ ├── xtensa-softmmu.mak │ │ └── xtensaeb-softmmu.mak │ ├── device_tree.c │ ├── device_tree.h │ ├── dis-asm.h │ ├── disas.c │ ├── disas.h │ ├── dma-helpers.c │ ├── dma.h │ ├── docs/ │ │ ├── blkverify.txt │ │ ├── bootindex.txt │ │ ├── ccid.txt │ │ ├── ich9-ehci-uhci.cfg │ │ ├── libcacard.txt │ │ ├── live-block-ops.txt │ │ ├── memory.txt │ │ ├── migration.txt │ │ ├── qapi-code-gen.txt │ │ ├── qdev-device-use.txt │ │ ├── specs/ │ │ │ ├── acpi_pci_hotplug.txt │ │ │ ├── ivshmem_device_spec.txt │ │ │ ├── qcow2.txt │ │ │ └── qed_spec.txt │ │ ├── tracing.txt │ │ ├── usb2.txt │ │ ├── writing-qmp-commands.txt │ │ └── xen-save-devices-state.txt │ ├── dyngen-exec.h │ ├── elf.h │ ├── envlist.c │ ├── envlist.h │ ├── error.c │ ├── error.h │ ├── error_int.h │ ├── event_notifier.c │ ├── event_notifier.h │ ├── exec-all.h │ ├── exec-memory.h │ ├── exec-obsolete.h │ ├── exec.c │ ├── fpu/ │ │ ├── softfloat-macros.h │ │ ├── softfloat-specialize.h │ │ ├── softfloat.c │ │ └── softfloat.h │ ├── fsdev/ │ │ ├── file-op-9p.h │ │ ├── qemu-fsdev-dummy.c │ │ ├── qemu-fsdev.c │ │ ├── qemu-fsdev.h │ │ ├── virtfs-proxy-helper.c │ │ ├── virtfs-proxy-helper.texi │ │ ├── virtio-9p-marshal.c │ │ └── virtio-9p-marshal.h │ ├── gdb-xml/ │ │ ├── arm-core.xml │ │ ├── arm-neon.xml │ │ ├── arm-vfp.xml │ │ ├── arm-vfp3.xml │ │ ├── cf-core.xml │ │ ├── cf-fp.xml │ │ ├── power-altivec.xml │ │ ├── power-core.xml │ │ ├── power-fpu.xml │ │ ├── power-spe.xml │ │ └── power64-core.xml │ ├── gdbstub.c │ ├── gdbstub.h │ ├── gen-icount.h │ ├── hmp-commands.hx │ ├── hmp.c │ ├── hmp.h │ ├── host-utils.c │ ├── host-utils.h │ ├── hppa-dis.c │ ├── hppa.ld │ ├── hw/ │ │ ├── 9p.h │ │ ├── 9pfs/ │ │ │ ├── codir.c │ │ │ ├── cofile.c │ │ │ ├── cofs.c │ │ │ ├── coxattr.c │ │ │ ├── virtio-9p-coth.c │ │ │ ├── virtio-9p-coth.h │ │ │ ├── virtio-9p-device.c │ │ │ ├── virtio-9p-handle.c │ │ │ ├── virtio-9p-local.c │ │ │ ├── virtio-9p-posix-acl.c │ │ │ ├── virtio-9p-proxy.c │ │ │ ├── virtio-9p-proxy.h │ │ │ ├── virtio-9p-synth.c │ │ │ ├── virtio-9p-synth.h │ │ │ ├── virtio-9p-xattr-user.c │ │ │ ├── virtio-9p-xattr.c │ │ │ ├── virtio-9p-xattr.h │ │ │ ├── virtio-9p.c │ │ │ └── virtio-9p.h │ │ ├── a15mpcore.c │ │ ├── a9mpcore.c │ │ ├── ac97.c │ │ ├── acpi.c │ │ ├── acpi.h │ │ ├── acpi_piix4.c │ │ ├── adb.c │ │ ├── adb.h │ │ ├── adlib.c │ │ ├── ads7846.c │ │ ├── alpha_dp264.c │ │ ├── alpha_pci.c │ │ ├── alpha_sys.h │ │ ├── alpha_typhoon.c │ │ ├── an5206.c │ │ ├── apb_pci.c │ │ ├── apb_pci.h │ │ ├── apic.c │ │ ├── apic.h │ │ ├── apic_common.c │ │ ├── apic_internal.h │ │ ├── apm.c │ │ ├── apm.h │ │ ├── applesmc.c │ │ ├── arm-misc.h │ │ ├── arm11mpcore.c │ │ ├── arm_boot.c │ │ ├── arm_gic.c │ │ ├── arm_l2x0.c │ │ ├── arm_mptimer.c │ │ ├── arm_pic.c │ │ ├── arm_sysctl.c │ │ ├── arm_timer.c │ │ ├── armv7m.c │ │ ├── armv7m_nvic.c │ │ ├── audiodev.h │ │ ├── axis_dev88.c │ │ ├── baum.c │ │ ├── baum.h │ │ ├── bitbang_i2c.c │ │ ├── bitbang_i2c.h │ │ ├── blizzard.c │ │ ├── blizzard_template.h │ │ ├── boards.h │ │ ├── bonito.c │ │ ├── bt-hci-csr.c │ │ ├── bt-hci.c │ │ ├── bt-hid.c │ │ ├── bt-l2cap.c │ │ ├── bt-sdp.c │ │ ├── bt.c │ │ ├── bt.h │ │ ├── cadence_gem.c │ │ ├── cadence_ttc.c │ │ ├── cadence_uart.c │ │ ├── cbus.c │ │ ├── ccid-card-emulated.c │ │ ├── ccid-card-passthru.c │ │ ├── ccid.h │ │ ├── cdrom.c │ │ ├── cirrus_vga.c │ │ ├── cirrus_vga_rop.h │ │ ├── cirrus_vga_rop2.h │ │ ├── cirrus_vga_template.h │ │ ├── collie.c │ │ ├── cris-boot.c │ │ ├── cris-boot.h │ │ ├── cris_pic_cpu.c │ │ ├── cs4231.c │ │ ├── cs4231a.c │ │ ├── cuda.c │ │ ├── debugcon.c │ │ ├── dec_pci.c │ │ ├── dec_pci.h │ │ ├── device-hotplug.c │ │ ├── devices.h │ │ ├── dma.c │ │ ├── dp8393x.c │ │ ├── ds1225y.c │ │ ├── ds1338.c │ │ ├── dummy_m68k.c │ │ ├── e1000.c │ │ ├── e1000_hw.h │ │ ├── ecc.c │ │ ├── eccmemctl.c │ │ ├── eepro100.c │ │ ├── eeprom93xx.c │ │ ├── eeprom93xx.h │ │ ├── elf_ops.h │ │ ├── empty_slot.c │ │ ├── empty_slot.h │ │ ├── es1370.c │ │ ├── escc.c │ │ ├── escc.h │ │ ├── esp.c │ │ ├── esp.h │ │ ├── etraxfs.h │ │ ├── etraxfs_dma.c │ │ ├── etraxfs_dma.h │ │ ├── etraxfs_eth.c │ │ ├── etraxfs_pic.c │ │ ├── etraxfs_ser.c │ │ ├── etraxfs_timer.c │ │ ├── exynos4210.c │ │ ├── exynos4210.h │ │ ├── exynos4210_combiner.c │ │ ├── exynos4210_fimd.c │ │ ├── exynos4210_gic.c │ │ ├── exynos4210_mct.c │ │ ├── exynos4210_pmu.c │ │ ├── exynos4210_pwm.c │ │ ├── exynos4210_uart.c │ │ ├── exynos4_boards.c │ │ ├── fakepci.c │ │ ├── fakepci.h │ │ ├── fdc.c │ │ ├── fdc.h │ │ ├── firmware_abi.h │ │ ├── flash.h │ │ ├── fmopl.c │ │ ├── fmopl.h │ │ ├── framebuffer.c │ │ ├── framebuffer.h │ │ ├── fw_cfg.c │ │ ├── fw_cfg.h │ │ ├── g364fb.c │ │ ├── grackle_pci.c │ │ ├── grlib.h │ │ ├── grlib_apbuart.c │ │ ├── grlib_gptimer.c │ │ ├── grlib_irqmp.c │ │ ├── gt64xxx.c │ │ ├── gumstix.c │ │ ├── gus.c │ │ ├── gusemu.h │ │ ├── gusemu_hal.c │ │ ├── gusemu_mixer.c │ │ ├── gustate.h │ │ ├── hda-audio.c │ │ ├── heathrow_pic.c │ │ ├── hid.c │ │ ├── hid.h │ │ ├── highbank.c │ │ ├── hpet.c │ │ ├── hpet_emul.h │ │ ├── hw.h │ │ ├── i2c.c │ │ ├── i2c.h │ │ ├── i82374.c │ │ ├── i82378.c │ │ ├── i8254.c │ │ ├── i8254.h │ │ ├── i8254_common.c │ │ ├── i8254_internal.h │ │ ├── i8259.c │ │ ├── i8259_common.c │ │ ├── i8259_internal.h │ │ ├── ide/ │ │ │ ├── ahci.c │ │ │ ├── ahci.h │ │ │ ├── atapi.c │ │ │ ├── cmd646.c │ │ │ ├── core.c │ │ │ ├── ich.c │ │ │ ├── internal.h │ │ │ ├── isa.c │ │ │ ├── macio.c │ │ │ ├── microdrive.c │ │ │ ├── mmio.c │ │ │ ├── pci.c │ │ │ ├── pci.h │ │ │ ├── piix.c │ │ │ ├── qdev.c │ │ │ └── via.c │ │ ├── ide.h │ │ ├── integratorcp.c │ │ ├── intel-hda-defs.h │ │ ├── intel-hda.c │ │ ├── intel-hda.h │ │ ├── ioapic.c │ │ ├── ioapic.h │ │ ├── ioapic_common.c │ │ ├── ioapic_internal.h │ │ ├── ioh3420.c │ │ ├── ioh3420.h │ │ ├── irq.c │ │ ├── irq.h │ │ ├── isa-bus.c │ │ ├── isa.h │ │ ├── isa_mmio.c │ │ ├── ivshmem.c │ │ ├── jazz_led.c │ │ ├── kvm/ │ │ │ ├── apic.c │ │ │ ├── clock.c │ │ │ ├── clock.h │ │ │ ├── i8254.c │ │ │ ├── i8259.c │ │ │ └── ioapic.c │ │ ├── kvmvapic.c │ │ ├── lan9118.c │ │ ├── lance.c │ │ ├── leon3.c │ │ ├── lm32.h │ │ ├── lm32_boards.c │ │ ├── lm32_hwsetup.h │ │ ├── lm32_juart.c │ │ ├── lm32_juart.h │ │ ├── lm32_pic.c │ │ ├── lm32_pic.h │ │ ├── lm32_sys.c │ │ ├── lm32_timer.c │ │ ├── lm32_uart.c │ │ ├── lm4549.c │ │ ├── lm4549.h │ │ ├── lm832x.c │ │ ├── loader.c │ │ ├── loader.h │ │ ├── lsi53c895a.c │ │ ├── m48t59.c │ │ ├── mac_dbdma.c │ │ ├── mac_dbdma.h │ │ ├── mac_nvram.c │ │ ├── macio.c │ │ ├── mainstone.c │ │ ├── marvell_88w8618_audio.c │ │ ├── max111x.c │ │ ├── max7310.c │ │ ├── mc146818rtc.c │ │ ├── mc146818rtc.h │ │ ├── mc146818rtc_regs.h │ │ ├── mcf.h │ │ ├── mcf5206.c │ │ ├── mcf5208.c │ │ ├── mcf_fec.c │ │ ├── mcf_intc.c │ │ ├── mcf_uart.c │ │ ├── microblaze_boot.c │ │ ├── microblaze_boot.h │ │ ├── microblaze_pic_cpu.c │ │ ├── microblaze_pic_cpu.h │ │ ├── milkymist-ac97.c │ │ ├── milkymist-hpdmc.c │ │ ├── milkymist-hw.h │ │ ├── milkymist-memcard.c │ │ ├── milkymist-minimac2.c │ │ ├── milkymist-pfpu.c │ │ ├── milkymist-softusb.c │ │ ├── milkymist-sysctl.c │ │ ├── milkymist-tmu2.c │ │ ├── milkymist-uart.c │ │ ├── milkymist-vgafb.c │ │ ├── milkymist-vgafb_template.h │ │ ├── milkymist.c │ │ ├── mips-bios.h │ │ ├── mips.h │ │ ├── mips_addr.c │ │ ├── mips_cpudevs.h │ │ ├── mips_fulong2e.c │ │ ├── mips_int.c │ │ ├── mips_jazz.c │ │ ├── mips_malta.c │ │ ├── mips_mipssim.c │ │ ├── mips_r4k.c │ │ ├── mips_timer.c │ │ ├── mipsnet.c │ │ ├── mpc8544_guts.c │ │ ├── msi.c │ │ ├── msi.h │ │ ├── msix.c │ │ ├── msix.h │ │ ├── msmouse.c │ │ ├── msmouse.h │ │ ├── mst_fpga.c │ │ ├── multiboot.c │ │ ├── multiboot.h │ │ ├── musicpal.c │ │ ├── nand.c │ │ ├── ne2000-isa.c │ │ ├── ne2000.c │ │ ├── ne2000.h │ │ ├── nseries.c │ │ ├── nvram.h │ │ ├── omap.h │ │ ├── omap1.c │ │ ├── omap2.c │ │ ├── omap_clk.c │ │ ├── omap_dma.c │ │ ├── omap_dss.c │ │ ├── omap_gpio.c │ │ ├── omap_gpmc.c │ │ ├── omap_gptimer.c │ │ ├── omap_i2c.c │ │ ├── omap_intc.c │ │ ├── omap_l4.c │ │ ├── omap_lcd_template.h │ │ ├── omap_lcdc.c │ │ ├── omap_mmc.c │ │ ├── omap_sdrc.c │ │ ├── omap_spi.c │ │ ├── omap_sx1.c │ │ ├── omap_synctimer.c │ │ ├── omap_tap.c │ │ ├── omap_uart.c │ │ ├── onenand.c │ │ ├── opencores_eth.c │ │ ├── openpic.c │ │ ├── openpic.h │ │ ├── palm.c │ │ ├── parallel.c │ │ ├── pc.c │ │ ├── pc.h │ │ ├── pc_piix.c │ │ ├── pc_sysfw.c │ │ ├── pci-hotplug.c │ │ ├── pci-stub.c │ │ ├── pci.c │ │ ├── pci.h │ │ ├── pci_bridge.c │ │ ├── pci_bridge.h │ │ ├── pci_host.c │ │ ├── pci_host.h │ │ ├── pci_ids.h │ │ ├── pci_internals.h │ │ ├── pci_regs.h │ │ ├── pcie.c │ │ ├── pcie.h │ │ ├── pcie_aer.c │ │ ├── pcie_aer.h │ │ ├── pcie_host.c │ │ ├── pcie_host.h │ │ ├── pcie_port.c │ │ ├── pcie_port.h │ │ ├── pcie_regs.h │ │ ├── pckbd.c │ │ ├── pcmcia.h │ │ ├── pcnet-pci.c │ │ ├── pcnet.c │ │ ├── pcnet.h │ │ ├── pcspk.c │ │ ├── pcspk.h │ │ ├── petalogix_ml605_mmu.c │ │ ├── petalogix_s3adsp1800_mmu.c │ │ ├── pflash_cfi01.c │ │ ├── pflash_cfi02.c │ │ ├── piix4.c │ │ ├── piix_pci.c │ │ ├── pixel_ops.h │ │ ├── pl011.c │ │ ├── pl022.c │ │ ├── pl031.c │ │ ├── pl041.c │ │ ├── pl041.h │ │ ├── pl041.hx │ │ ├── pl050.c │ │ ├── pl061.c │ │ ├── pl080.c │ │ ├── pl110.c │ │ ├── pl110_template.h │ │ ├── pl181.c │ │ ├── pl190.c │ │ ├── pm_smbus.c │ │ ├── pm_smbus.h │ │ ├── ppc-viosrp.h │ │ ├── ppc.c │ │ ├── ppc.h │ │ ├── ppc405.h │ │ ├── ppc405_boards.c │ │ ├── ppc405_uc.c │ │ ├── ppc440_bamboo.c │ │ ├── ppc4xx.h │ │ ├── ppc4xx_devs.c │ │ ├── ppc4xx_pci.c │ │ ├── ppc_booke.c │ │ ├── ppc_mac.h │ │ ├── ppc_newworld.c │ │ ├── ppc_oldworld.c │ │ ├── ppc_prep.c │ │ ├── ppce500_mpc8544ds.c │ │ ├── ppce500_pci.c │ │ ├── ppce500_spin.c │ │ ├── prep_pci.c │ │ ├── primecell.h │ │ ├── ps2.c │ │ ├── ps2.h │ │ ├── ptimer.c │ │ ├── ptimer.h │ │ ├── pxa.h │ │ ├── pxa2xx.c │ │ ├── pxa2xx_dma.c │ │ ├── pxa2xx_gpio.c │ │ ├── pxa2xx_keypad.c │ │ ├── pxa2xx_lcd.c │ │ ├── pxa2xx_mmci.c │ │ ├── pxa2xx_pcmcia.c │ │ ├── pxa2xx_pic.c │ │ ├── pxa2xx_template.h │ │ ├── pxa2xx_timer.c │ │ ├── qdev-addr.c │ │ ├── qdev-addr.h │ │ ├── qdev-monitor.c │ │ ├── qdev-properties.c │ │ ├── qdev.c │ │ ├── qdev.h │ │ ├── qxl-logger.c │ │ ├── qxl-render.c │ │ ├── qxl.c │ │ ├── qxl.h │ │ ├── r2d.c │ │ ├── rc4030.c │ │ ├── realview.c │ │ ├── realview_gic.c │ │ ├── rtl8139.c │ │ ├── s390-virtio-bus.c │ │ ├── s390-virtio-bus.h │ │ ├── s390-virtio.c │ │ ├── sb16.c │ │ ├── sbi.c │ │ ├── scsi-bus.c │ │ ├── scsi-defs.h │ │ ├── scsi-disk.c │ │ ├── scsi-generic.c │ │ ├── scsi.h │ │ ├── sd.c │ │ ├── sd.h │ │ ├── serial.c │ │ ├── sga.c │ │ ├── sh.h │ │ ├── sh7750.c │ │ ├── sh7750_regnames.c │ │ ├── sh7750_regnames.h │ │ ├── sh7750_regs.h │ │ ├── sh_intc.c │ │ ├── sh_intc.h │ │ ├── sh_pci.c │ │ ├── sh_serial.c │ │ ├── sh_timer.c │ │ ├── sharpsl.h │ │ ├── shix.c │ │ ├── slavio_intctl.c │ │ ├── slavio_misc.c │ │ ├── slavio_timer.c │ │ ├── sm501.c │ │ ├── sm501_template.h │ │ ├── smbios.c │ │ ├── smbios.h │ │ ├── smbus.c │ │ ├── smbus.h │ │ ├── smbus_eeprom.c │ │ ├── smc91c111.c │ │ ├── soc_dma.c │ │ ├── soc_dma.h │ │ ├── spapr.c │ │ ├── spapr.h │ │ ├── spapr_hcall.c │ │ ├── spapr_llan.c │ │ ├── spapr_pci.c │ │ ├── spapr_pci.h │ │ ├── spapr_rtas.c │ │ ├── spapr_vio.c │ │ ├── spapr_vio.h │ │ ├── spapr_vscsi.c │ │ ├── spapr_vty.c │ │ ├── sparc32_dma.c │ │ ├── sparc32_dma.h │ │ ├── spitz.c │ │ ├── srp.h │ │ ├── ssd0303.c │ │ ├── ssd0323.c │ │ ├── ssi-sd.c │ │ ├── ssi.c │ │ ├── ssi.h │ │ ├── stellaris.c │ │ ├── stellaris_enet.c │ │ ├── stellaris_input.c │ │ ├── strongarm.c │ │ ├── strongarm.h │ │ ├── sun4c_intctl.c │ │ ├── sun4m.c │ │ ├── sun4m.h │ │ ├── sun4m_iommu.c │ │ ├── sun4u.c │ │ ├── sysbus.c │ │ ├── sysbus.h │ │ ├── tc58128.c │ │ ├── tc6393xb.c │ │ ├── tc6393xb_template.h │ │ ├── tcx.c │ │ ├── tmp105.c │ │ ├── tosa.c │ │ ├── tsc2005.c │ │ ├── tsc210x.c │ │ ├── tusb6010.c │ │ ├── twl92230.c │ │ ├── unin_pci.c │ │ ├── usb/ │ │ │ ├── bus.c │ │ │ ├── core.c │ │ │ ├── desc.c │ │ │ ├── desc.h │ │ │ ├── dev-audio.c │ │ │ ├── dev-bluetooth.c │ │ │ ├── dev-hid.c │ │ │ ├── dev-hub.c │ │ │ ├── dev-network.c │ │ │ ├── dev-serial.c │ │ │ ├── dev-smartcard-reader.c │ │ │ ├── dev-storage.c │ │ │ ├── dev-wacom.c │ │ │ ├── hcd-ehci.c │ │ │ ├── hcd-musb.c │ │ │ ├── hcd-ohci.c │ │ │ ├── hcd-uhci.c │ │ │ ├── hcd-xhci.c │ │ │ ├── host-bsd.c │ │ │ ├── host-linux.c │ │ │ ├── host-stub.c │ │ │ ├── libhw.c │ │ │ └── redirect.c │ │ ├── usb.h │ │ ├── versatile_pci.c │ │ ├── versatilepb.c │ │ ├── vexpress.c │ │ ├── vga-isa-mm.c │ │ ├── vga-isa.c │ │ ├── vga-pci.c │ │ ├── vga.c │ │ ├── vga.h │ │ ├── vga_int.h │ │ ├── vga_template.h │ │ ├── vhost.c │ │ ├── vhost.h │ │ ├── vhost_net.c │ │ ├── vhost_net.h │ │ ├── virtex_ml507.c │ │ ├── virtio-balloon.c │ │ ├── virtio-balloon.h │ │ ├── virtio-blk.c │ │ ├── virtio-blk.h │ │ ├── virtio-console.c │ │ ├── virtio-net.c │ │ ├── virtio-net.h │ │ ├── virtio-pci.c │ │ ├── virtio-pci.h │ │ ├── virtio-scsi.c │ │ ├── virtio-scsi.h │ │ ├── virtio-serial-bus.c │ │ ├── virtio-serial.h │ │ ├── virtio.c │ │ ├── virtio.h │ │ ├── vmmouse.c │ │ ├── vmport.c │ │ ├── vmware_vga.c │ │ ├── vmware_vga.h │ │ ├── vt82c686.c │ │ ├── vt82c686.h │ │ ├── watchdog.c │ │ ├── watchdog.h │ │ ├── wdt_i6300esb.c │ │ ├── wdt_ib700.c │ │ ├── wm8750.c │ │ ├── xen.h │ │ ├── xen_backend.c │ │ ├── xen_backend.h │ │ ├── xen_blkif.h │ │ ├── xen_common.h │ │ ├── xen_console.c │ │ ├── xen_devconfig.c │ │ ├── xen_disk.c │ │ ├── xen_domainbuild.c │ │ ├── xen_domainbuild.h │ │ ├── xen_machine_pv.c │ │ ├── xen_nic.c │ │ ├── xen_platform.c │ │ ├── xenfb.c │ │ ├── xgmac.c │ │ ├── xics.c │ │ ├── xics.h │ │ ├── xilinx.h │ │ ├── xilinx_axidma.c │ │ ├── xilinx_axidma.h │ │ ├── xilinx_axienet.c │ │ ├── xilinx_ethlite.c │ │ ├── xilinx_intc.c │ │ ├── xilinx_timer.c │ │ ├── xilinx_uartlite.c │ │ ├── xilinx_zynq.c │ │ ├── xio3130_downstream.c │ │ ├── xio3130_downstream.h │ │ ├── xio3130_upstream.c │ │ ├── xio3130_upstream.h │ │ ├── xtensa_bootparam.h │ │ ├── xtensa_lx60.c │ │ ├── xtensa_pic.c │ │ ├── xtensa_sim.c │ │ ├── z2.c │ │ ├── zaurus.c │ │ └── zynq_slcr.c │ ├── i386-dis.c │ ├── i386.ld │ ├── ia64-dis.c │ ├── ia64.ld │ ├── include/ │ │ └── qemu/ │ │ ├── cpu.h │ │ ├── object.h │ │ └── qom-qobject.h │ ├── input.c │ ├── int128.h │ ├── iohandler.c │ ├── ioport-user.c │ ├── ioport.c │ ├── ioport.h │ ├── iorange.h │ ├── iov.c │ ├── iov.h │ ├── json-lexer.c │ ├── json-lexer.h │ ├── json-parser.c │ ├── json-parser.h │ ├── json-streamer.c │ ├── json-streamer.h │ ├── kvm-all.c │ ├── kvm-stub.c │ ├── kvm.h │ ├── libcacard/ │ │ ├── Makefile │ │ ├── cac.c │ │ ├── cac.h │ │ ├── card_7816.c │ │ ├── card_7816.h │ │ ├── card_7816t.h │ │ ├── event.c │ │ ├── eventt.h │ │ ├── libcacard.pc.in │ │ ├── link_test.c │ │ ├── vcard.c │ │ ├── vcard.h │ │ ├── vcard_emul.h │ │ ├── vcard_emul_nss.c │ │ ├── vcard_emul_type.c │ │ ├── vcard_emul_type.h │ │ ├── vcardt.h │ │ ├── vevent.h │ │ ├── vreader.c │ │ ├── vreader.h │ │ ├── vreadert.h │ │ ├── vscard_common.h │ │ └── vscclient.c │ ├── libfdt_env.h │ ├── linux-aio.c │ ├── linux-headers/ │ │ ├── COPYING │ │ ├── README │ │ ├── asm-powerpc/ │ │ │ ├── kvm.h │ │ │ └── kvm_para.h │ │ ├── asm-s390/ │ │ │ ├── kvm.h │ │ │ └── kvm_para.h │ │ ├── asm-x86/ │ │ │ ├── hyperv.h │ │ │ ├── kvm.h │ │ │ └── kvm_para.h │ │ └── linux/ │ │ ├── kvm.h │ │ ├── kvm_para.h │ │ ├── vhost.h │ │ ├── virtio_config.h │ │ └── virtio_ring.h │ ├── linux-user/ │ │ ├── alpha/ │ │ │ ├── syscall.h │ │ │ ├── syscall_nr.h │ │ │ ├── target_signal.h │ │ │ └── termbits.h │ │ ├── arm/ │ │ │ ├── nwfpe/ │ │ │ │ ├── double_cpdo.c │ │ │ │ ├── extended_cpdo.c │ │ │ │ ├── fpa11.c │ │ │ │ ├── fpa11.h │ │ │ │ ├── fpa11.inl │ │ │ │ ├── fpa11_cpdo.c │ │ │ │ ├── fpa11_cpdt.c │ │ │ │ ├── fpa11_cprt.c │ │ │ │ ├── fpopcode.c │ │ │ │ ├── fpopcode.h │ │ │ │ ├── fpsr.h │ │ │ │ └── single_cpdo.c │ │ │ ├── syscall.h │ │ │ ├── syscall_nr.h │ │ │ ├── target_signal.h │ │ │ └── termbits.h │ │ ├── cpu-uname.c │ │ ├── cpu-uname.h │ │ ├── cris/ │ │ │ ├── syscall.h │ │ │ ├── syscall_nr.h │ │ │ ├── target_signal.h │ │ │ └── termbits.h │ │ ├── elfload.c │ │ ├── errno_defs.h │ │ ├── flat.h │ │ ├── flatload.c │ │ ├── i386/ │ │ │ ├── syscall.h │ │ │ ├── syscall_nr.h │ │ │ ├── target_signal.h │ │ │ └── termbits.h │ │ ├── ioctls.h │ │ ├── linux_loop.h │ │ ├── linuxload.c │ │ ├── m68k/ │ │ │ ├── syscall.h │ │ │ ├── syscall_nr.h │ │ │ ├── target_signal.h │ │ │ └── termbits.h │ │ ├── m68k-sim.c │ │ ├── main.c │ │ ├── microblaze/ │ │ │ ├── syscall.h │ │ │ ├── syscall_nr.h │ │ │ ├── target_signal.h │ │ │ └── termbits.h │ │ ├── mips/ │ │ │ ├── syscall.h │ │ │ ├── syscall_nr.h │ │ │ ├── target_signal.h │ │ │ └── termbits.h │ │ ├── mips64/ │ │ │ ├── syscall.h │ │ │ ├── syscall_nr.h │ │ │ ├── target_signal.h │ │ │ └── termbits.h │ │ ├── mipsn32/ │ │ │ ├── syscall.h │ │ │ ├── syscall_nr.h │ │ │ ├── target_signal.h │ │ │ └── termbits.h │ │ ├── mmap.c │ │ ├── ppc/ │ │ │ ├── syscall.h │ │ │ ├── syscall_nr.h │ │ │ ├── target_signal.h │ │ │ └── termbits.h │ │ ├── qemu-types.h │ │ ├── qemu.h │ │ ├── s390x/ │ │ │ ├── syscall.h │ │ │ ├── syscall_nr.h │ │ │ ├── target_signal.h │ │ │ └── termbits.h │ │ ├── sh4/ │ │ │ ├── syscall.h │ │ │ ├── syscall_nr.h │ │ │ ├── target_signal.h │ │ │ └── termbits.h │ │ ├── signal.c │ │ ├── socket.h │ │ ├── sparc/ │ │ │ ├── syscall.h │ │ │ ├── syscall_nr.h │ │ │ ├── target_signal.h │ │ │ └── termbits.h │ │ ├── sparc64/ │ │ │ ├── syscall.h │ │ │ ├── syscall_nr.h │ │ │ ├── target_signal.h │ │ │ └── termbits.h │ │ ├── strace.c │ │ ├── strace.list │ │ ├── syscall.c │ │ ├── syscall_defs.h │ │ ├── syscall_types.h │ │ ├── target_flat.h │ │ ├── uaccess.c │ │ ├── unicore32/ │ │ │ ├── syscall.h │ │ │ ├── syscall_nr.h │ │ │ ├── target_signal.h │ │ │ └── termbits.h │ │ ├── vm86.c │ │ └── x86_64/ │ │ ├── syscall.h │ │ ├── syscall_nr.h │ │ ├── target_signal.h │ │ └── termbits.h │ ├── llvm-lib.h │ ├── lm32-dis.c │ ├── m68k-dis.c │ ├── m68k-semi.c │ ├── m68k.ld │ ├── main-loop.c │ ├── main-loop.h │ ├── memory.c │ ├── memory.h │ ├── microblaze-dis.c │ ├── migration-exec.c │ ├── migration-fd.c │ ├── migration-tcp.c │ ├── migration-unix.c │ ├── migration.c │ ├── migration.h │ ├── mips-dis.c │ ├── mips.ld │ ├── module.c │ ├── module.h │ ├── monitor.c │ ├── monitor.h │ ├── nbd.c │ ├── nbd.h │ ├── net/ │ │ ├── checksum.c │ │ ├── checksum.h │ │ ├── dump.c │ │ ├── dump.h │ │ ├── queue.c │ │ ├── queue.h │ │ ├── slirp.c │ │ ├── slirp.h │ │ ├── socket.c │ │ ├── socket.h │ │ ├── tap-aix.c │ │ ├── tap-bsd.c │ │ ├── tap-haiku.c │ │ ├── tap-linux.c │ │ ├── tap-linux.h │ │ ├── tap-solaris.c │ │ ├── tap-win32.c │ │ ├── tap.c │ │ ├── tap.h │ │ ├── util.c │ │ ├── util.h │ │ ├── vde.c │ │ └── vde.h │ ├── net.c │ ├── net.h │ ├── notify.c │ ├── notify.h │ ├── os-posix.c │ ├── os-win32.c │ ├── osdep.c │ ├── osdep.h │ ├── oslib-posix.c │ ├── oslib-win32.c │ ├── path.c │ ├── pc-bios/ │ │ ├── Makefile │ │ ├── README │ │ ├── bamboo.dtb │ │ ├── bamboo.dts │ │ ├── keymaps/ │ │ │ ├── ar │ │ │ ├── bepo │ │ │ ├── common │ │ │ ├── da │ │ │ ├── de │ │ │ ├── de-ch │ │ │ ├── en-gb │ │ │ ├── en-us │ │ │ ├── es │ │ │ ├── et │ │ │ ├── fi │ │ │ ├── fo │ │ │ ├── fr │ │ │ ├── fr-be │ │ │ ├── fr-ca │ │ │ ├── fr-ch │ │ │ ├── hr │ │ │ ├── hu │ │ │ ├── is │ │ │ ├── it │ │ │ ├── ja │ │ │ ├── lt │ │ │ ├── lv │ │ │ ├── mk │ │ │ ├── modifiers │ │ │ ├── nl │ │ │ ├── nl-be │ │ │ ├── no │ │ │ ├── pl │ │ │ ├── pt │ │ │ ├── pt-br │ │ │ ├── ru │ │ │ ├── sl │ │ │ ├── sv │ │ │ ├── th │ │ │ └── tr │ │ ├── mpc8544ds.dtb │ │ ├── mpc8544ds.dts │ │ ├── ohw.diff │ │ ├── openbios-ppc │ │ ├── openbios-sparc32 │ │ ├── openbios-sparc64 │ │ ├── optionrom/ │ │ │ ├── Makefile │ │ │ ├── kvmvapic.S │ │ │ ├── linuxboot.S │ │ │ ├── multiboot.S │ │ │ └── optionrom.h │ │ ├── palcode-clipper │ │ ├── petalogix-ml605.dtb │ │ ├── petalogix-s3adsp1800.dtb │ │ ├── pxe-e1000.rom │ │ ├── pxe-eepro100.rom │ │ ├── pxe-ne2k_pci.rom │ │ ├── pxe-pcnet.rom │ │ ├── pxe-rtl8139.rom │ │ ├── pxe-virtio.rom │ │ ├── s390-zipl.rom │ │ └── spapr-rtas/ │ │ ├── Makefile │ │ └── spapr-rtas.S │ ├── pci-ids.txt │ ├── pflib.c │ ├── pflib.h │ ├── poison.h │ ├── posix-aio-compat.c │ ├── ppc-dis.c │ ├── ppc.ld │ ├── ppc64.ld │ ├── qapi/ │ │ ├── qapi-dealloc-visitor.c │ │ ├── qapi-dealloc-visitor.h │ │ ├── qapi-types-core.h │ │ ├── qapi-visit-core.c │ │ ├── qapi-visit-core.h │ │ ├── qapi-visit-impl.h │ │ ├── qmp-core.h │ │ ├── qmp-dispatch.c │ │ ├── qmp-input-visitor.c │ │ ├── qmp-input-visitor.h │ │ ├── qmp-output-visitor.c │ │ ├── qmp-output-visitor.h │ │ ├── qmp-registry.c │ │ ├── string-input-visitor.c │ │ ├── string-input-visitor.h │ │ ├── string-output-visitor.c │ │ └── string-output-visitor.h │ ├── qapi-schema-guest.json │ ├── qapi-schema-test.json │ ├── qapi-schema.json │ ├── qbool.c │ ├── qbool.h │ ├── qdict-test-data.txt │ ├── qdict.c │ ├── qdict.h │ ├── qemu-aio.h │ ├── qemu-barrier.h │ ├── qemu-bridge-helper.c │ ├── qemu-char.c │ ├── qemu-char.h │ ├── qemu-common.h │ ├── qemu-config.c │ ├── qemu-config.h │ ├── qemu-coroutine-int.h │ ├── qemu-coroutine-io.c │ ├── qemu-coroutine-lock.c │ ├── qemu-coroutine-sleep.c │ ├── qemu-coroutine.c │ ├── qemu-coroutine.h │ ├── qemu-doc.texi │ ├── qemu-error.c │ ├── qemu-error.h │ ├── qemu-file.h │ ├── qemu-ga.c │ ├── qemu-img-cmds.hx │ ├── qemu-img.c │ ├── qemu-img.texi │ ├── qemu-io.c │ ├── qemu-lock.h │ ├── qemu-log.h │ ├── qemu-nbd.c │ ├── qemu-nbd.texi │ ├── qemu-objects.h │ ├── qemu-option.c │ ├── qemu-option.h │ ├── qemu-options-wrapper.h │ ├── qemu-options.h │ ├── qemu-options.hx │ ├── qemu-os-posix.h │ ├── qemu-os-win32.h │ ├── qemu-progress.c │ ├── qemu-queue.h │ ├── qemu-sockets.c │ ├── qemu-tech.texi │ ├── qemu-thread-posix.c │ ├── qemu-thread-posix.h │ ├── qemu-thread-win32.c │ ├── qemu-thread-win32.h │ ├── qemu-thread.h │ ├── qemu-timer-common.c │ ├── qemu-timer.c │ ├── qemu-timer.h │ ├── qemu-tls.h │ ├── qemu-tool.c │ ├── qemu-user.c │ ├── qemu-x509.h │ ├── qemu-xattr.h │ ├── qemu.sasl │ ├── qemu_socket.h │ ├── qerror.c │ ├── qerror.h │ ├── qfloat.c │ ├── qfloat.h │ ├── qga/ │ │ ├── channel-posix.c │ │ ├── channel-win32.c │ │ ├── channel.h │ │ ├── commands-posix.c │ │ ├── commands-win32.c │ │ ├── commands.c │ │ ├── guest-agent-command-state.c │ │ ├── guest-agent-core.h │ │ ├── service-win32.c │ │ └── service-win32.h │ ├── qint.c │ ├── qint.h │ ├── qjson.c │ ├── qjson.h │ ├── qlist.c │ ├── qlist.h │ ├── qmp-commands.hx │ ├── qmp.c │ ├── qobject.h │ ├── qom/ │ │ ├── Makefile │ │ ├── container.c │ │ ├── cpu.c │ │ ├── object.c │ │ └── qom-qobject.c │ ├── qstring.c │ ├── qstring.h │ ├── qtest.c │ ├── qtest.h │ ├── range.h │ ├── readline.c │ ├── readline.h │ ├── roms/ │ │ ├── Makefile │ │ ├── config.seabios │ │ ├── configure-seabios.sh │ │ └── s2ebios/ │ │ ├── Makefile │ │ ├── init.asm │ │ ├── s2e-bios-low.asm │ │ ├── s2e-bios-up.asm │ │ ├── s2e-inst.asm │ │ ├── s2e-test-ndis.asm │ │ ├── s2e-test-statemanager.asm │ │ └── s2e-test.asm │ ├── rules.mak │ ├── s2e/ │ │ ├── ConfigFile.cpp │ │ ├── ConfigFile.h │ │ ├── ExprInterface.cpp │ │ ├── ExprInterface.h │ │ ├── MMUFunctionHandlers.cpp │ │ ├── MemoryCache.h │ │ ├── Plugin.cpp │ │ ├── Plugin.h │ │ ├── Plugins/ │ │ │ ├── Annotation.cpp │ │ │ ├── Annotation.h │ │ │ ├── ArmFunctionMonitor.cpp │ │ │ ├── ArmFunctionMonitor.h │ │ │ ├── BaseInstructions.cpp │ │ │ ├── BaseInstructions.h │ │ │ ├── CacheSim.cpp │ │ │ ├── CacheSim.h │ │ │ ├── CodeSelector.cpp │ │ │ ├── CodeSelector.h │ │ │ ├── ConsistencyModels.cpp │ │ │ ├── ConsistencyModels.h │ │ │ ├── CorePlugin.cpp │ │ │ ├── CorePlugin.h │ │ │ ├── DataStructureSpy.h │ │ │ ├── Debugger.cpp │ │ │ ├── Debugger.h │ │ │ ├── EdgeKiller.cpp │ │ │ ├── EdgeKiller.h │ │ │ ├── Example.cpp │ │ │ ├── Example.h │ │ │ ├── ExecutableImage.h │ │ │ ├── ExecutionStatisticsCollector.cpp │ │ │ ├── ExecutionStatisticsCollector.h │ │ │ ├── ExecutionTracers/ │ │ │ │ ├── EventTracer.cpp │ │ │ │ ├── EventTracer.h │ │ │ │ ├── ExceptionTracer.cpp │ │ │ │ ├── ExceptionTracer.h │ │ │ │ ├── ExecutionTracer.cpp │ │ │ │ ├── ExecutionTracer.h │ │ │ │ ├── InstructionCounter.cpp │ │ │ │ ├── InstructionCounter.h │ │ │ │ ├── MemoryTracer.cpp │ │ │ │ ├── MemoryTracer.h │ │ │ │ ├── ModuleTracer.cpp │ │ │ │ ├── ModuleTracer.h │ │ │ │ ├── StateSwitchTracer.cpp │ │ │ │ ├── StateSwitchTracer.h │ │ │ │ ├── TestCaseGenerator.cpp │ │ │ │ ├── TestCaseGenerator.h │ │ │ │ ├── TraceEntries.h │ │ │ │ ├── TranslationBlockTracer.cpp │ │ │ │ └── TranslationBlockTracer.h │ │ │ ├── FunctionMonitor.h │ │ │ ├── HostFiles.cpp │ │ │ ├── HostFiles.h │ │ │ ├── InterruptInjector.cpp │ │ │ ├── InterruptInjector.h │ │ │ ├── LibraryCallMonitor.cpp │ │ │ ├── LibraryCallMonitor.h │ │ │ ├── MemoryChecker.cpp │ │ │ ├── MemoryChecker.h │ │ │ ├── ModuleDescriptor.h │ │ │ ├── ModuleExecutionDetector.cpp │ │ │ ├── ModuleExecutionDetector.h │ │ │ ├── OSMonitor.h │ │ │ ├── Opcodes.h │ │ │ ├── RawMonitor.cpp │ │ │ ├── RawMonitor.h │ │ │ ├── Searchers/ │ │ │ │ ├── ConcolicDFSSearcher.cpp │ │ │ │ ├── ConcolicDFSSearcher.h │ │ │ │ ├── CooperativeSearcher.cpp │ │ │ │ ├── CooperativeSearcher.h │ │ │ │ ├── MaxTbSearcher.cpp │ │ │ │ └── MaxTbSearcher.h │ │ │ ├── StackChecker.cpp │ │ │ ├── StackChecker.h │ │ │ ├── StackMonitor.cpp │ │ │ ├── StackMonitor.h │ │ │ ├── StateManager.cpp │ │ │ ├── StateManager.h │ │ │ ├── SymbolicHardware.cpp │ │ │ ├── SymbolicHardware.h │ │ │ ├── ThreadDescriptor.h │ │ │ ├── WindowsApi/ │ │ │ │ ├── Api.cpp │ │ │ │ ├── Api.h │ │ │ │ ├── HalHandlers.cpp │ │ │ │ ├── HalHandlers.h │ │ │ │ ├── Ndis.h │ │ │ │ ├── NdisHandlers.cpp │ │ │ │ ├── NdisHandlers.h │ │ │ │ ├── NdisHandlersUtils.cpp │ │ │ │ ├── NdisMemoryCheck.cpp │ │ │ │ ├── NdisProtocolHandlers.cpp │ │ │ │ ├── Ntddk.h │ │ │ │ ├── NtoskrnlHandlers.cpp │ │ │ │ ├── NtoskrnlHandlers.h │ │ │ │ ├── WindowsDriverExerciser.cpp │ │ │ │ └── WindowsDriverExerciser.h │ │ │ ├── WindowsInterceptor/ │ │ │ │ ├── BlueScreenInterceptor.cpp │ │ │ │ ├── BlueScreenInterceptor.h │ │ │ │ ├── KernelModeInterceptor.cpp │ │ │ │ ├── KernelModeInterceptor.h │ │ │ │ ├── UserModeInterceptor.cpp │ │ │ │ ├── UserModeInterceptor.h │ │ │ │ ├── WindowsCrashDumpGenerator.cpp │ │ │ │ ├── WindowsCrashDumpGenerator.h │ │ │ │ ├── WindowsImage.cpp │ │ │ │ ├── WindowsImage.h │ │ │ │ ├── WindowsMonitor.cpp │ │ │ │ ├── WindowsMonitor.h │ │ │ │ ├── WindowsSpy.cpp │ │ │ │ └── WindowsSpy.h │ │ │ ├── X86ExceptionInterceptor.cpp │ │ │ ├── X86ExceptionInterceptor.h │ │ │ ├── X86FunctionMonitor.cpp │ │ │ └── X86FunctionMonitor.h │ │ ├── S2E.cpp │ │ ├── S2E.h │ │ ├── S2EDeviceState.cpp │ │ ├── S2EDeviceState.h │ │ ├── S2EExecutionState.cpp │ │ ├── S2EExecutionState.h │ │ ├── S2EExecutor.cpp │ │ ├── S2EExecutor.h │ │ ├── S2ESJLJ.h │ │ ├── S2EStatsTracker.cpp │ │ ├── S2EStatsTracker.h │ │ ├── SelectRemovalPass.cpp │ │ ├── SelectRemovalPass.h │ │ ├── Signals/ │ │ │ ├── Signals.h │ │ │ ├── build.sh │ │ │ ├── fsigc++.h │ │ │ ├── functors.h │ │ │ ├── sig-template.h │ │ │ ├── signals.cpp │ │ │ └── test.cpp │ │ ├── Slab.cpp │ │ ├── Slab.h │ │ ├── Synchronization.cpp │ │ ├── Synchronization.h │ │ ├── Utils.h │ │ ├── machine.h │ │ ├── s2e_block.h │ │ ├── s2e_config.h │ │ ├── s2e_qemu.h │ │ └── x64.asm │ ├── s390-dis.c │ ├── s390.ld │ ├── savevm.c │ ├── scripts/ │ │ ├── analyse-9p-simpletrace.py │ │ ├── check-qerror.sh │ │ ├── checkpatch.pl │ │ ├── create_config │ │ ├── feature_to_c.sh │ │ ├── get_maintainer.pl │ │ ├── gtester-cat │ │ ├── hxtool │ │ ├── kvm/ │ │ │ ├── kvm_stat │ │ │ └── vmxcap │ │ ├── make_device_config.sh │ │ ├── ordereddict.py │ │ ├── qapi-commands.py │ │ ├── qapi-types.py │ │ ├── qapi-visit.py │ │ ├── qapi.py │ │ ├── qemu-binfmt-conf.sh │ │ ├── qemu-gdb.py │ │ ├── qtest │ │ ├── refresh-pxe-roms.sh │ │ ├── signrom.sh │ │ ├── simpletrace.py │ │ ├── texi2pod.pl │ │ ├── tracetool │ │ └── update-linux-headers.sh │ ├── sh4-dis.c │ ├── slirp/ │ │ ├── COPYRIGHT │ │ ├── arp_table.c │ │ ├── bootp.c │ │ ├── bootp.h │ │ ├── cksum.c │ │ ├── debug.h │ │ ├── if.c │ │ ├── if.h │ │ ├── ip.h │ │ ├── ip_icmp.c │ │ ├── ip_icmp.h │ │ ├── ip_input.c │ │ ├── ip_output.c │ │ ├── libslirp.h │ │ ├── main.h │ │ ├── mbuf.c │ │ ├── mbuf.h │ │ ├── misc.c │ │ ├── misc.h │ │ ├── sbuf.c │ │ ├── sbuf.h │ │ ├── slirp.c │ │ ├── slirp.h │ │ ├── slirp_config.h │ │ ├── socket.c │ │ ├── socket.h │ │ ├── tcp.h │ │ ├── tcp_input.c │ │ ├── tcp_output.c │ │ ├── tcp_subr.c │ │ ├── tcp_timer.c │ │ ├── tcp_timer.h │ │ ├── tcp_var.h │ │ ├── tcpip.h │ │ ├── tftp.c │ │ ├── tftp.h │ │ ├── udp.c │ │ └── udp.h │ ├── softmmu-semi.h │ ├── softmmu_defs.h │ ├── softmmu_exec.h │ ├── softmmu_header.h │ ├── softmmu_template.h │ ├── sparc-dis.c │ ├── sparc.ld │ ├── sparc64.ld │ ├── spice-qemu-char.c │ ├── sysconfigs/ │ │ └── target/ │ │ └── target-x86_64.conf │ ├── sysemu.h │ ├── target-alpha/ │ │ ├── STATUS │ │ ├── cpu.h │ │ ├── fpu_helper.c │ │ ├── helper.c │ │ ├── helper.h │ │ ├── int_helper.c │ │ ├── machine.c │ │ ├── mem_helper.c │ │ ├── sys_helper.c │ │ └── translate.c │ ├── target-arm/ │ │ ├── cpu-qom.h │ │ ├── cpu.c │ │ ├── cpu.h │ │ ├── helper.c │ │ ├── helper.h │ │ ├── iwmmxt_helper.c │ │ ├── machine.c │ │ ├── neon_helper.c │ │ ├── op_addsub.h │ │ ├── op_helper.c │ │ ├── target-defs.h │ │ └── translate.c │ ├── target-cris/ │ │ ├── cpu.h │ │ ├── crisv10-decode.h │ │ ├── crisv32-decode.h │ │ ├── helper.c │ │ ├── helper.h │ │ ├── machine.c │ │ ├── mmu.c │ │ ├── mmu.h │ │ ├── op_helper.c │ │ ├── opcode-cris.h │ │ ├── translate.c │ │ └── translate_v10.c │ ├── target-i386/ │ │ ├── TODO │ │ ├── cpu.h │ │ ├── cpuid.c │ │ ├── helper.c │ │ ├── helper.h │ │ ├── helper_template.h │ │ ├── hyperv.c │ │ ├── hyperv.h │ │ ├── kvm.c │ │ ├── machine.c │ │ ├── op_helper.c │ │ ├── ops_sse.h │ │ ├── ops_sse_header.h │ │ ├── svm.h │ │ └── translate.c │ ├── target-lm32/ │ │ ├── README │ │ ├── TODO │ │ ├── cpu.h │ │ ├── helper.c │ │ ├── helper.h │ │ ├── machine.c │ │ ├── op_helper.c │ │ └── translate.c │ ├── target-m68k/ │ │ ├── cpu.h │ │ ├── helper.c │ │ ├── helpers.h │ │ ├── m68k-qreg.h │ │ ├── machine.c │ │ ├── op_helper.c │ │ ├── qregs.def │ │ └── translate.c │ ├── target-microblaze/ │ │ ├── cpu.h │ │ ├── helper.c │ │ ├── helper.h │ │ ├── machine.c │ │ ├── microblaze-decode.h │ │ ├── mmu.c │ │ ├── mmu.h │ │ ├── op_helper.c │ │ └── translate.c │ ├── target-mips/ │ │ ├── TODO │ │ ├── cpu.h │ │ ├── helper.c │ │ ├── helper.h │ │ ├── machine.c │ │ ├── mips-defs.h │ │ ├── op_helper.c │ │ ├── translate.c │ │ └── translate_init.c │ ├── target-ppc/ │ │ ├── STATUS │ │ ├── cpu.h │ │ ├── helper.c │ │ ├── helper.h │ │ ├── helper_regs.h │ │ ├── kvm.c │ │ ├── kvm_ppc.c │ │ ├── kvm_ppc.h │ │ ├── machine.c │ │ ├── mfrom_table.c │ │ ├── mfrom_table_gen.c │ │ ├── op_helper.c │ │ ├── translate.c │ │ └── translate_init.c │ ├── target-s390x/ │ │ ├── cpu-qom.h │ │ ├── cpu.c │ │ ├── cpu.h │ │ ├── helper.c │ │ ├── helper.h │ │ ├── kvm.c │ │ ├── machine.c │ │ ├── op_helper.c │ │ └── translate.c │ ├── target-sh4/ │ │ ├── README.sh4 │ │ ├── cpu.h │ │ ├── helper.c │ │ ├── helper.h │ │ ├── machine.c │ │ ├── op_helper.c │ │ └── translate.c │ ├── target-sparc/ │ │ ├── TODO │ │ ├── cc_helper.c │ │ ├── cpu-qom.h │ │ ├── cpu.c │ │ ├── cpu.h │ │ ├── fop_helper.c │ │ ├── helper.c │ │ ├── helper.h │ │ ├── int32_helper.c │ │ ├── int64_helper.c │ │ ├── ldst_helper.c │ │ ├── machine.c │ │ ├── mmu_helper.c │ │ ├── translate.c │ │ ├── vis_helper.c │ │ └── win_helper.c │ ├── target-unicore32/ │ │ ├── cpu-qom.h │ │ ├── cpu.c │ │ ├── cpu.h │ │ ├── helper.c │ │ ├── helper.h │ │ ├── op_helper.c │ │ └── translate.c │ ├── target-xtensa/ │ │ ├── core-dc232b/ │ │ │ ├── core-isa.h │ │ │ └── gdb-config.c │ │ ├── core-dc232b.c │ │ ├── core-fsf/ │ │ │ └── core-isa.h │ │ ├── core-fsf.c │ │ ├── cpu.h │ │ ├── helper.c │ │ ├── helpers.h │ │ ├── machine.c │ │ ├── op_helper.c │ │ ├── overlay_tool.h │ │ └── translate.c │ ├── targphys.h │ ├── tcg/ │ │ ├── LICENSE │ │ ├── README │ │ ├── TODO │ │ ├── arm/ │ │ │ ├── tcg-target.c │ │ │ └── tcg-target.h │ │ ├── hppa/ │ │ │ ├── tcg-target.c │ │ │ └── tcg-target.h │ │ ├── i386/ │ │ │ ├── tcg-target.c │ │ │ └── tcg-target.h │ │ ├── ia64/ │ │ │ ├── tcg-target.c │ │ │ └── tcg-target.h │ │ ├── mips/ │ │ │ ├── tcg-target.c │ │ │ └── tcg-target.h │ │ ├── optimize.c │ │ ├── ppc/ │ │ │ ├── tcg-target.c │ │ │ └── tcg-target.h │ │ ├── ppc64/ │ │ │ ├── tcg-target.c │ │ │ └── tcg-target.h │ │ ├── s390/ │ │ │ ├── tcg-target.c │ │ │ └── tcg-target.h │ │ ├── sparc/ │ │ │ ├── tcg-target.c │ │ │ └── tcg-target.h │ │ ├── tcg-llvm.cpp │ │ ├── tcg-llvm.h │ │ ├── tcg-op.h │ │ ├── tcg-opc.h │ │ ├── tcg-runtime.h │ │ ├── tcg.c │ │ ├── tcg.h │ │ └── tci/ │ │ ├── README │ │ ├── tcg-target.c │ │ └── tcg-target.h │ ├── tcg-runtime.c │ ├── tci-dis.c │ ├── tci.c │ ├── tests/ │ │ ├── Makefile │ │ ├── check-block.sh │ │ ├── check-qdict.c │ │ ├── check-qfloat.c │ │ ├── check-qint.c │ │ ├── check-qjson.c │ │ ├── check-qlist.c │ │ ├── check-qstring.c │ │ ├── libqtest.c │ │ ├── libqtest.h │ │ ├── qemu-iotests/ │ │ │ ├── .gitignore │ │ │ ├── 001 │ │ │ ├── 001.out │ │ │ ├── 002 │ │ │ ├── 002.out │ │ │ ├── 003 │ │ │ ├── 003.out │ │ │ ├── 004 │ │ │ ├── 004.out │ │ │ ├── 005 │ │ │ ├── 005.out │ │ │ ├── 006 │ │ │ ├── 006.out │ │ │ ├── 007 │ │ │ ├── 007.out │ │ │ ├── 008 │ │ │ ├── 008.out │ │ │ ├── 009 │ │ │ ├── 009.out │ │ │ ├── 010 │ │ │ ├── 010.out │ │ │ ├── 011 │ │ │ ├── 011.out │ │ │ ├── 012 │ │ │ ├── 012.out │ │ │ ├── 013 │ │ │ ├── 013.out │ │ │ ├── 014 │ │ │ ├── 014.out │ │ │ ├── 015 │ │ │ ├── 015.out │ │ │ ├── 016 │ │ │ ├── 016.out │ │ │ ├── 017 │ │ │ ├── 017.out │ │ │ ├── 018 │ │ │ ├── 018.out │ │ │ ├── 019 │ │ │ ├── 019.out │ │ │ ├── 020 │ │ │ ├── 020.out │ │ │ ├── 021 │ │ │ ├── 021.out │ │ │ ├── 022 │ │ │ ├── 022.out │ │ │ ├── 023 │ │ │ ├── 023.out │ │ │ ├── 024 │ │ │ ├── 024.out │ │ │ ├── 025 │ │ │ ├── 025.out │ │ │ ├── 026 │ │ │ ├── 026.out │ │ │ ├── 027 │ │ │ ├── 027.out │ │ │ ├── 028 │ │ │ ├── 028.out │ │ │ ├── 029 │ │ │ ├── 029.out │ │ │ ├── 030 │ │ │ ├── 030.out │ │ │ ├── COPYING │ │ │ ├── Makefile │ │ │ ├── README │ │ │ ├── check │ │ │ ├── common │ │ │ ├── common.config │ │ │ ├── common.filter │ │ │ ├── common.pattern │ │ │ ├── common.rc │ │ │ ├── group │ │ │ └── iotests.py │ │ ├── qemu-iotests-quick.sh │ │ ├── rtc-test.c │ │ ├── s2earm/ │ │ │ └── buildHello.sh │ │ ├── tcg/ │ │ │ ├── Makefile │ │ │ ├── alpha/ │ │ │ │ ├── Makefile │ │ │ │ ├── crt.s │ │ │ │ ├── hello-alpha.c │ │ │ │ ├── test-cond.c │ │ │ │ └── test-ovf.c │ │ │ ├── cris/ │ │ │ │ ├── Makefile │ │ │ │ ├── README │ │ │ │ ├── check_abs.c │ │ │ │ ├── check_addc.c │ │ │ │ ├── check_addcm.c │ │ │ │ ├── check_addi.s │ │ │ │ ├── check_addiv32.s │ │ │ │ ├── check_addm.s │ │ │ │ ├── check_addo.c │ │ │ │ ├── check_addoq.c │ │ │ │ ├── check_addq.s │ │ │ │ ├── check_addr.s │ │ │ │ ├── check_addxc.s │ │ │ │ ├── check_addxm.s │ │ │ │ ├── check_addxr.s │ │ │ │ ├── check_andc.s │ │ │ │ ├── check_andm.s │ │ │ │ ├── check_andq.s │ │ │ │ ├── check_andr.s │ │ │ │ ├── check_asr.s │ │ │ │ ├── check_ba.s │ │ │ │ ├── check_bas.s │ │ │ │ ├── check_bcc.s │ │ │ │ ├── check_bound.c │ │ │ │ ├── check_boundc.s │ │ │ │ ├── check_boundr.s │ │ │ │ ├── check_btst.s │ │ │ │ ├── check_clearfv32.s │ │ │ │ ├── check_clrjmp1.s │ │ │ │ ├── check_cmp-2.s │ │ │ │ ├── check_cmpc.s │ │ │ │ ├── check_cmpm.s │ │ │ │ ├── check_cmpq.s │ │ │ │ ├── check_cmpr.s │ │ │ │ ├── check_cmpxc.s │ │ │ │ ├── check_cmpxm.s │ │ │ │ ├── check_dstep.s │ │ │ │ ├── check_ftag.c │ │ │ │ ├── check_gcctorture_pr28634-1.c │ │ │ │ ├── check_gcctorture_pr28634.c │ │ │ │ ├── check_glibc_kernelversion.c │ │ │ │ ├── check_hello.c │ │ │ │ ├── check_int64.c │ │ │ │ ├── check_jsr.s │ │ │ │ ├── check_lapc.s │ │ │ │ ├── check_lsl.s │ │ │ │ ├── check_lsr.s │ │ │ │ ├── check_lz.c │ │ │ │ ├── check_mapbrk.c │ │ │ │ ├── check_mcp.s │ │ │ │ ├── check_mmap1.c │ │ │ │ ├── check_mmap2.c │ │ │ │ ├── check_mmap3.c │ │ │ │ ├── check_movdelsr1.s │ │ │ │ ├── check_movecr.s │ │ │ │ ├── check_movei.s │ │ │ │ ├── check_movemr.s │ │ │ │ ├── check_movemrv32.s │ │ │ │ ├── check_moveq.c │ │ │ │ ├── check_mover.s │ │ │ │ ├── check_moverm.s │ │ │ │ ├── check_movmp.s │ │ │ │ ├── check_movpmv32.s │ │ │ │ ├── check_movpr.s │ │ │ │ ├── check_movprv32.s │ │ │ │ ├── check_movscr.s │ │ │ │ ├── check_movsm.s │ │ │ │ ├── check_movsr.s │ │ │ │ ├── check_movucr.s │ │ │ │ ├── check_movum.s │ │ │ │ ├── check_movur.s │ │ │ │ ├── check_mulv32.s │ │ │ │ ├── check_mulx.s │ │ │ │ ├── check_neg.s │ │ │ │ ├── check_not.s │ │ │ │ ├── check_openpf1.c │ │ │ │ ├── check_openpf2.c │ │ │ │ ├── check_openpf3.c │ │ │ │ ├── check_openpf4.c │ │ │ │ ├── check_openpf5.c │ │ │ │ ├── check_orc.s │ │ │ │ ├── check_orm.s │ │ │ │ ├── check_orq.s │ │ │ │ ├── check_orr.s │ │ │ │ ├── check_ret.s │ │ │ │ ├── check_scc.s │ │ │ │ ├── check_settls1.c │ │ │ │ ├── check_sigalrm.c │ │ │ │ ├── check_stat1.c │ │ │ │ ├── check_stat2.c │ │ │ │ ├── check_stat3.c │ │ │ │ ├── check_stat4.c │ │ │ │ ├── check_subc.s │ │ │ │ ├── check_subm.s │ │ │ │ ├── check_subq.s │ │ │ │ ├── check_subr.s │ │ │ │ ├── check_swap.c │ │ │ │ ├── check_time1.c │ │ │ │ ├── check_time2.c │ │ │ │ ├── check_xarith.s │ │ │ │ ├── crisutils.h │ │ │ │ ├── crt.s │ │ │ │ ├── sys.c │ │ │ │ ├── sys.h │ │ │ │ └── testutils.inc │ │ │ ├── hello-arm.c │ │ │ ├── hello-i386.c │ │ │ ├── hello-mips.c │ │ │ ├── linux-test.c │ │ │ ├── lm32/ │ │ │ │ ├── Makefile │ │ │ │ ├── crt.S │ │ │ │ ├── linker.ld │ │ │ │ ├── macros.inc │ │ │ │ ├── test_add.S │ │ │ │ ├── test_addi.S │ │ │ │ ├── test_and.S │ │ │ │ ├── test_andhi.S │ │ │ │ ├── test_andi.S │ │ │ │ ├── test_b.S │ │ │ │ ├── test_be.S │ │ │ │ ├── test_bg.S │ │ │ │ ├── test_bge.S │ │ │ │ ├── test_bgeu.S │ │ │ │ ├── test_bgu.S │ │ │ │ ├── test_bi.S │ │ │ │ ├── test_bne.S │ │ │ │ ├── test_break.S │ │ │ │ ├── test_bret.S │ │ │ │ ├── test_call.S │ │ │ │ ├── test_calli.S │ │ │ │ ├── test_cmpe.S │ │ │ │ ├── test_cmpei.S │ │ │ │ ├── test_cmpg.S │ │ │ │ ├── test_cmpge.S │ │ │ │ ├── test_cmpgei.S │ │ │ │ ├── test_cmpgeu.S │ │ │ │ ├── test_cmpgeui.S │ │ │ │ ├── test_cmpgi.S │ │ │ │ ├── test_cmpgu.S │ │ │ │ ├── test_cmpgui.S │ │ │ │ ├── test_cmpne.S │ │ │ │ ├── test_cmpnei.S │ │ │ │ ├── test_divu.S │ │ │ │ ├── test_eret.S │ │ │ │ ├── test_lb.S │ │ │ │ ├── test_lbu.S │ │ │ │ ├── test_lh.S │ │ │ │ ├── test_lhu.S │ │ │ │ ├── test_lw.S │ │ │ │ ├── test_modu.S │ │ │ │ ├── test_mul.S │ │ │ │ ├── test_muli.S │ │ │ │ ├── test_nor.S │ │ │ │ ├── test_nori.S │ │ │ │ ├── test_or.S │ │ │ │ ├── test_orhi.S │ │ │ │ ├── test_ori.S │ │ │ │ ├── test_ret.S │ │ │ │ ├── test_sb.S │ │ │ │ ├── test_scall.S │ │ │ │ ├── test_sextb.S │ │ │ │ ├── test_sexth.S │ │ │ │ ├── test_sh.S │ │ │ │ ├── test_sl.S │ │ │ │ ├── test_sli.S │ │ │ │ ├── test_sr.S │ │ │ │ ├── test_sri.S │ │ │ │ ├── test_sru.S │ │ │ │ ├── test_srui.S │ │ │ │ ├── test_sub.S │ │ │ │ ├── test_sw.S │ │ │ │ ├── test_xnor.S │ │ │ │ ├── test_xnori.S │ │ │ │ ├── test_xor.S │ │ │ │ └── test_xori.S │ │ │ ├── pi_10.com │ │ │ ├── runcom.c │ │ │ ├── sha1.c │ │ │ ├── test-arm-iwmmxt.s │ │ │ ├── test-i386-code16.S │ │ │ ├── test-i386-muldiv.h │ │ │ ├── test-i386-shift.h │ │ │ ├── test-i386-ssse3.c │ │ │ ├── test-i386-vm86.S │ │ │ ├── test-i386.c │ │ │ ├── test-i386.h │ │ │ ├── test-mmap.c │ │ │ ├── test_path.c │ │ │ ├── testthread.c │ │ │ └── xtensa/ │ │ │ ├── Makefile │ │ │ ├── crt.S │ │ │ ├── linker.ld │ │ │ ├── macros.inc │ │ │ ├── test_b.S │ │ │ ├── test_bi.S │ │ │ ├── test_boolean.S │ │ │ ├── test_break.S │ │ │ ├── test_bz.S │ │ │ ├── test_clamps.S │ │ │ ├── test_fail.S │ │ │ ├── test_interrupt.S │ │ │ ├── test_loop.S │ │ │ ├── test_mac16.S │ │ │ ├── test_max.S │ │ │ ├── test_min.S │ │ │ ├── test_mmu.S │ │ │ ├── test_mul16.S │ │ │ ├── test_mul32.S │ │ │ ├── test_nsa.S │ │ │ ├── test_pipeline.S │ │ │ ├── test_quo.S │ │ │ ├── test_rem.S │ │ │ ├── test_rst0.S │ │ │ ├── test_sar.S │ │ │ ├── test_sext.S │ │ │ ├── test_shift.S │ │ │ ├── test_timer.S │ │ │ ├── test_windowed.S │ │ │ └── vectors.S │ │ ├── test-coroutine.c │ │ ├── test-qmp-commands.c │ │ ├── test-qmp-input-strict.c │ │ ├── test-qmp-input-visitor.c │ │ ├── test-qmp-output-visitor.c │ │ ├── test-string-input-visitor.c │ │ └── test-string-output-visitor.c │ ├── thunk.c │ ├── thunk.h │ ├── trace/ │ │ ├── control.c │ │ ├── control.h │ │ ├── default.c │ │ ├── simple.c │ │ ├── simple.h │ │ ├── stderr.c │ │ └── stderr.h │ ├── trace-events │ ├── translate-all.c │ ├── uboot_image.h │ ├── ui/ │ │ ├── cocoa.m │ │ ├── curses.c │ │ ├── curses_keys.h │ │ ├── d3des.c │ │ ├── d3des.h │ │ ├── keymaps.c │ │ ├── keymaps.h │ │ ├── qemu-spice.h │ │ ├── sdl.c │ │ ├── sdl_keysym.h │ │ ├── sdl_zoom.c │ │ ├── sdl_zoom.h │ │ ├── sdl_zoom_template.h │ │ ├── spice-core.c │ │ ├── spice-display.c │ │ ├── spice-display.h │ │ ├── spice-input.c │ │ ├── vnc-auth-sasl.c │ │ ├── vnc-auth-sasl.h │ │ ├── vnc-auth-vencrypt.c │ │ ├── vnc-auth-vencrypt.h │ │ ├── vnc-enc-hextile-template.h │ │ ├── vnc-enc-hextile.c │ │ ├── vnc-enc-tight.c │ │ ├── vnc-enc-tight.h │ │ ├── vnc-enc-zlib.c │ │ ├── vnc-enc-zrle-template.c │ │ ├── vnc-enc-zrle.c │ │ ├── vnc-enc-zrle.h │ │ ├── vnc-enc-zywrle-template.c │ │ ├── vnc-enc-zywrle.h │ │ ├── vnc-jobs-async.c │ │ ├── vnc-jobs-sync.c │ │ ├── vnc-jobs.h │ │ ├── vnc-palette.c │ │ ├── vnc-palette.h │ │ ├── vnc-tls.c │ │ ├── vnc-tls.h │ │ ├── vnc.c │ │ ├── vnc.h │ │ ├── vnc_keysym.h │ │ ├── x_keymap.c │ │ └── x_keymap.h │ ├── user-exec.c │ ├── version.rc │ ├── vgafont.h │ ├── vl.c │ ├── vmstate.h │ ├── x86_64.ld │ ├── xen-all.c │ ├── xen-mapcache.c │ ├── xen-mapcache.h │ ├── xen-stub.c │ └── xtensa-semi.c ├── s2e.config ├── s2e.creator ├── s2e.creator.user.example ├── s2e.files ├── s2e.includes ├── s2e.refresh_project.py ├── stp/ │ ├── AUTHORS │ ├── CODING_GUIDLINES │ ├── DOWNLOAD │ ├── INSTALL │ ├── LICENSE │ ├── LICENSE_COMPONENTS │ ├── README │ ├── clean-install.sh │ ├── scripts/ │ │ ├── Makefile.common │ │ ├── Makefile.in │ │ ├── configure │ │ ├── emacs-format-file │ │ ├── emacs-format.sh │ │ ├── liblinks.sh │ │ └── run_tests.pl │ ├── src/ │ │ ├── AST/ │ │ │ ├── AST.h │ │ │ ├── ASTBVConst.cpp │ │ │ ├── ASTBVConst.h │ │ │ ├── ASTInterior.cpp │ │ │ ├── ASTInterior.h │ │ │ ├── ASTInternal.h │ │ │ ├── ASTInternalWithChildren.h │ │ │ ├── ASTKind.kinds │ │ │ ├── ASTNode.cpp │ │ │ ├── ASTNode.h │ │ │ ├── ASTSymbol.cpp │ │ │ ├── ASTSymbol.h │ │ │ ├── ASTUtil.cpp │ │ │ ├── ASTmisc.cpp │ │ │ ├── ArrayTransformer.cpp │ │ │ ├── ArrayTransformer.h │ │ │ ├── Makefile │ │ │ ├── NodeFactory/ │ │ │ │ ├── HashingNodeFactory.cpp │ │ │ │ ├── HashingNodeFactory.h │ │ │ │ ├── NodeFactory.cpp │ │ │ │ ├── NodeFactory.h │ │ │ │ ├── SimplifyingNodeFactory.cpp │ │ │ │ ├── SimplifyingNodeFactory.h │ │ │ │ ├── TypeChecker.cpp │ │ │ │ └── TypeChecker.h │ │ │ ├── RunTimes.cpp │ │ │ ├── RunTimes.h │ │ │ ├── STLport_config.h │ │ │ ├── TestAST/ │ │ │ │ ├── asttest.cpp │ │ │ │ ├── bbtest.cpp │ │ │ │ └── cnftest.cpp │ │ │ ├── UsefulDefs.h │ │ │ └── genkinds.pl │ │ ├── STPManager/ │ │ │ ├── DifficultyScore.h │ │ │ ├── Makefile │ │ │ ├── NodeIterator.h │ │ │ ├── STP.cpp │ │ │ ├── STP.h │ │ │ ├── STPManager.cpp │ │ │ ├── STPManager.h │ │ │ └── UserDefinedFlags.h │ │ ├── absrefine_counterexample/ │ │ │ ├── AbsRefine_CounterExample.h │ │ │ ├── AbstractionRefinement.cpp │ │ │ ├── CounterExample.cpp │ │ │ └── Makefile │ │ ├── boost/ │ │ │ ├── config/ │ │ │ │ ├── abi/ │ │ │ │ │ ├── borland_prefix.hpp │ │ │ │ │ ├── borland_suffix.hpp │ │ │ │ │ ├── msvc_prefix.hpp │ │ │ │ │ └── msvc_suffix.hpp │ │ │ │ ├── abi_prefix.hpp │ │ │ │ ├── abi_suffix.hpp │ │ │ │ ├── auto_link.hpp │ │ │ │ ├── compiler/ │ │ │ │ │ ├── borland.hpp │ │ │ │ │ ├── codegear.hpp │ │ │ │ │ ├── comeau.hpp │ │ │ │ │ ├── common_edg.hpp │ │ │ │ │ ├── compaq_cxx.hpp │ │ │ │ │ ├── digitalmars.hpp │ │ │ │ │ ├── gcc.hpp │ │ │ │ │ ├── gcc_xml.hpp │ │ │ │ │ ├── greenhills.hpp │ │ │ │ │ ├── hp_acc.hpp │ │ │ │ │ ├── intel.hpp │ │ │ │ │ ├── kai.hpp │ │ │ │ │ ├── metrowerks.hpp │ │ │ │ │ ├── mpw.hpp │ │ │ │ │ ├── nvcc.hpp │ │ │ │ │ ├── pgi.hpp │ │ │ │ │ ├── sgi_mipspro.hpp │ │ │ │ │ ├── sunpro_cc.hpp │ │ │ │ │ ├── vacpp.hpp │ │ │ │ │ └── visualc.hpp │ │ │ │ ├── no_tr1/ │ │ │ │ │ ├── cmath.hpp │ │ │ │ │ ├── complex.hpp │ │ │ │ │ ├── functional.hpp │ │ │ │ │ ├── memory.hpp │ │ │ │ │ └── utility.hpp │ │ │ │ ├── platform/ │ │ │ │ │ ├── aix.hpp │ │ │ │ │ ├── amigaos.hpp │ │ │ │ │ ├── beos.hpp │ │ │ │ │ ├── bsd.hpp │ │ │ │ │ ├── cygwin.hpp │ │ │ │ │ ├── hpux.hpp │ │ │ │ │ ├── irix.hpp │ │ │ │ │ ├── linux.hpp │ │ │ │ │ ├── macos.hpp │ │ │ │ │ ├── qnxnto.hpp │ │ │ │ │ ├── solaris.hpp │ │ │ │ │ ├── symbian.hpp │ │ │ │ │ ├── vxworks.hpp │ │ │ │ │ └── win32.hpp │ │ │ │ ├── posix_features.hpp │ │ │ │ ├── requires_threads.hpp │ │ │ │ ├── select_compiler_config.hpp │ │ │ │ ├── select_platform_config.hpp │ │ │ │ ├── select_stdlib_config.hpp │ │ │ │ ├── stdlib/ │ │ │ │ │ ├── dinkumware.hpp │ │ │ │ │ ├── libcomo.hpp │ │ │ │ │ ├── libstdcpp3.hpp │ │ │ │ │ ├── modena.hpp │ │ │ │ │ ├── msl.hpp │ │ │ │ │ ├── roguewave.hpp │ │ │ │ │ ├── sgi.hpp │ │ │ │ │ ├── stlport.hpp │ │ │ │ │ └── vacpp.hpp │ │ │ │ ├── suffix.hpp │ │ │ │ ├── user.hpp │ │ │ │ └── warning_disable.hpp │ │ │ ├── config.hpp │ │ │ ├── detail/ │ │ │ │ ├── algorithm.hpp │ │ │ │ ├── allocator_utilities.hpp │ │ │ │ ├── atomic_count.hpp │ │ │ │ ├── binary_search.hpp │ │ │ │ ├── call_traits.hpp │ │ │ │ ├── catch_exceptions.hpp │ │ │ │ ├── compressed_pair.hpp │ │ │ │ ├── container_fwd.hpp │ │ │ │ ├── dynamic_bitset.hpp │ │ │ │ ├── endian.hpp │ │ │ │ ├── has_default_constructor.hpp │ │ │ │ ├── identifier.hpp │ │ │ │ ├── indirect_traits.hpp │ │ │ │ ├── interlocked.hpp │ │ │ │ ├── is_function_ref_tester.hpp │ │ │ │ ├── is_incrementable.hpp │ │ │ │ ├── is_xxx.hpp │ │ │ │ ├── iterator.hpp │ │ │ │ ├── lcast_precision.hpp │ │ │ │ ├── lightweight_mutex.hpp │ │ │ │ ├── lightweight_test.hpp │ │ │ │ ├── lightweight_thread.hpp │ │ │ │ ├── limits.hpp │ │ │ │ ├── named_template_params.hpp │ │ │ │ ├── no_exceptions_support.hpp │ │ │ │ ├── none_t.hpp │ │ │ │ ├── numeric_traits.hpp │ │ │ │ ├── ob_call_traits.hpp │ │ │ │ ├── ob_compressed_pair.hpp │ │ │ │ ├── quick_allocator.hpp │ │ │ │ ├── reference_content.hpp │ │ │ │ ├── scoped_enum_emulation.hpp │ │ │ │ ├── select_type.hpp │ │ │ │ ├── sp_typeinfo.hpp │ │ │ │ ├── templated_streams.hpp │ │ │ │ ├── utf8_codecvt_facet.hpp │ │ │ │ └── workaround.hpp │ │ │ ├── pool/ │ │ │ │ ├── detail/ │ │ │ │ │ ├── ct_gcd_lcm.hpp │ │ │ │ │ ├── for.m4 │ │ │ │ │ ├── gcd_lcm.hpp │ │ │ │ │ ├── guard.hpp │ │ │ │ │ ├── mutex.hpp │ │ │ │ │ ├── pool_construct.bat │ │ │ │ │ ├── pool_construct.inc │ │ │ │ │ ├── pool_construct.m4 │ │ │ │ │ ├── pool_construct.sh │ │ │ │ │ ├── pool_construct_simple.bat │ │ │ │ │ ├── pool_construct_simple.inc │ │ │ │ │ ├── pool_construct_simple.m4 │ │ │ │ │ ├── pool_construct_simple.sh │ │ │ │ │ └── singleton.hpp │ │ │ │ ├── object_pool.hpp │ │ │ │ ├── pool.hpp │ │ │ │ ├── pool_alloc.hpp │ │ │ │ ├── poolfwd.hpp │ │ │ │ ├── simple_segregated_storage.hpp │ │ │ │ └── singleton_pool.hpp │ │ │ ├── static_assert.hpp │ │ │ └── type_traits/ │ │ │ ├── add_const.hpp │ │ │ ├── add_cv.hpp │ │ │ ├── add_pointer.hpp │ │ │ ├── add_reference.hpp │ │ │ ├── add_volatile.hpp │ │ │ ├── aligned_storage.hpp │ │ │ ├── alignment_of.hpp │ │ │ ├── alignment_traits.hpp │ │ │ ├── arithmetic_traits.hpp │ │ │ ├── array_traits.hpp │ │ │ ├── broken_compiler_spec.hpp │ │ │ ├── composite_traits.hpp │ │ │ ├── config.hpp │ │ │ ├── conversion_traits.hpp │ │ │ ├── cv_traits.hpp │ │ │ ├── decay.hpp │ │ │ ├── detail/ │ │ │ │ ├── bool_trait_def.hpp │ │ │ │ ├── bool_trait_undef.hpp │ │ │ │ ├── cv_traits_impl.hpp │ │ │ │ ├── false_result.hpp │ │ │ │ ├── ice_and.hpp │ │ │ │ ├── ice_eq.hpp │ │ │ │ ├── ice_not.hpp │ │ │ │ ├── ice_or.hpp │ │ │ │ ├── is_function_ptr_helper.hpp │ │ │ │ ├── is_function_ptr_tester.hpp │ │ │ │ ├── is_mem_fun_pointer_impl.hpp │ │ │ │ ├── is_mem_fun_pointer_tester.hpp │ │ │ │ ├── size_t_trait_def.hpp │ │ │ │ ├── size_t_trait_undef.hpp │ │ │ │ ├── template_arity_spec.hpp │ │ │ │ ├── type_trait_def.hpp │ │ │ │ ├── type_trait_undef.hpp │ │ │ │ ├── wrap.hpp │ │ │ │ └── yes_no_type.hpp │ │ │ ├── extent.hpp │ │ │ ├── floating_point_promotion.hpp │ │ │ ├── function_traits.hpp │ │ │ ├── has_new_operator.hpp │ │ │ ├── has_nothrow_assign.hpp │ │ │ ├── has_nothrow_constructor.hpp │ │ │ ├── has_nothrow_copy.hpp │ │ │ ├── has_nothrow_destructor.hpp │ │ │ ├── has_trivial_assign.hpp │ │ │ ├── has_trivial_constructor.hpp │ │ │ ├── has_trivial_copy.hpp │ │ │ ├── has_trivial_destructor.hpp │ │ │ ├── has_virtual_destructor.hpp │ │ │ ├── ice.hpp │ │ │ ├── integral_constant.hpp │ │ │ ├── integral_promotion.hpp │ │ │ ├── intrinsics.hpp │ │ │ ├── is_abstract.hpp │ │ │ ├── is_arithmetic.hpp │ │ │ ├── is_array.hpp │ │ │ ├── is_base_and_derived.hpp │ │ │ ├── is_base_of.hpp │ │ │ ├── is_base_of_tr1.hpp │ │ │ ├── is_class.hpp │ │ │ ├── is_complex.hpp │ │ │ ├── is_compound.hpp │ │ │ ├── is_const.hpp │ │ │ ├── is_convertible.hpp │ │ │ ├── is_empty.hpp │ │ │ ├── is_enum.hpp │ │ │ ├── is_float.hpp │ │ │ ├── is_floating_point.hpp │ │ │ ├── is_function.hpp │ │ │ ├── is_fundamental.hpp │ │ │ ├── is_integral.hpp │ │ │ ├── is_member_function_pointer.hpp │ │ │ ├── is_member_object_pointer.hpp │ │ │ ├── is_member_pointer.hpp │ │ │ ├── is_object.hpp │ │ │ ├── is_pod.hpp │ │ │ ├── is_pointer.hpp │ │ │ ├── is_polymorphic.hpp │ │ │ ├── is_reference.hpp │ │ │ ├── is_same.hpp │ │ │ ├── is_scalar.hpp │ │ │ ├── is_signed.hpp │ │ │ ├── is_stateless.hpp │ │ │ ├── is_union.hpp │ │ │ ├── is_unsigned.hpp │ │ │ ├── is_virtual_base_of.hpp │ │ │ ├── is_void.hpp │ │ │ ├── is_volatile.hpp │ │ │ ├── make_signed.hpp │ │ │ ├── make_unsigned.hpp │ │ │ ├── msvc/ │ │ │ │ ├── remove_all_extents.hpp │ │ │ │ ├── remove_bounds.hpp │ │ │ │ ├── remove_const.hpp │ │ │ │ ├── remove_cv.hpp │ │ │ │ ├── remove_extent.hpp │ │ │ │ ├── remove_pointer.hpp │ │ │ │ ├── remove_reference.hpp │ │ │ │ ├── remove_volatile.hpp │ │ │ │ └── typeof.hpp │ │ │ ├── object_traits.hpp │ │ │ ├── promote.hpp │ │ │ ├── rank.hpp │ │ │ ├── reference_traits.hpp │ │ │ ├── remove_all_extents.hpp │ │ │ ├── remove_bounds.hpp │ │ │ ├── remove_const.hpp │ │ │ ├── remove_cv.hpp │ │ │ ├── remove_extent.hpp │ │ │ ├── remove_pointer.hpp │ │ │ ├── remove_reference.hpp │ │ │ ├── remove_volatile.hpp │ │ │ ├── same_traits.hpp │ │ │ ├── transform_traits.hpp │ │ │ ├── transform_traits_spec.hpp │ │ │ └── type_with_alignment.hpp │ │ ├── c_interface/ │ │ │ ├── Makefile │ │ │ ├── c_interface.cpp │ │ │ ├── c_interface.h │ │ │ └── fdstream.h │ │ ├── extlib-abc/ │ │ │ ├── Makefile │ │ │ ├── aig/ │ │ │ │ ├── aig/ │ │ │ │ │ ├── aigCheck.c │ │ │ │ │ ├── aigDfs.c │ │ │ │ │ ├── aigFanout.c │ │ │ │ │ ├── aigMan.c │ │ │ │ │ ├── aigMem.c │ │ │ │ │ ├── aigMffc.c │ │ │ │ │ ├── aigObj.c │ │ │ │ │ ├── aigOper.c │ │ │ │ │ ├── aigOrder.c │ │ │ │ │ ├── aigPart.c │ │ │ │ │ ├── aigRepr.c │ │ │ │ │ ├── aigRet.c │ │ │ │ │ ├── aigScl.c │ │ │ │ │ ├── aigSeq.c │ │ │ │ │ ├── aigShow.c │ │ │ │ │ ├── aigTable.c │ │ │ │ │ ├── aigTime.c │ │ │ │ │ ├── aigTiming.c │ │ │ │ │ ├── aigTruth.c │ │ │ │ │ ├── aigTsim.c │ │ │ │ │ ├── aigUtil.c │ │ │ │ │ └── aigWin.c │ │ │ │ ├── cnf/ │ │ │ │ │ ├── Makefile │ │ │ │ │ ├── cnfCore.c │ │ │ │ │ ├── cnfCut.c │ │ │ │ │ ├── cnfData.c │ │ │ │ │ ├── cnfMan.c │ │ │ │ │ ├── cnfMap.c │ │ │ │ │ ├── cnfPost.c │ │ │ │ │ ├── cnfUtil.c │ │ │ │ │ └── cnfWrite.c │ │ │ │ ├── dar/ │ │ │ │ │ ├── darBalance.c │ │ │ │ │ ├── darCore.c │ │ │ │ │ ├── darCut.c │ │ │ │ │ ├── darData.c │ │ │ │ │ ├── darLib.c │ │ │ │ │ ├── darMan.c │ │ │ │ │ ├── darPrec.c │ │ │ │ │ ├── darRefact.c │ │ │ │ │ └── darScript.c │ │ │ │ └── kit/ │ │ │ │ ├── kitAig.c │ │ │ │ ├── kitGraph.c │ │ │ │ ├── kitIsop.c │ │ │ │ ├── kitSop.c │ │ │ │ └── kitTruth.c │ │ │ ├── aig.h │ │ │ ├── cnf.h │ │ │ ├── cnf_short.h │ │ │ ├── copyright.txt │ │ │ ├── dar.h │ │ │ ├── darInt.h │ │ │ ├── kit.h │ │ │ ├── leaks.h │ │ │ ├── vec.h │ │ │ ├── vecFlt.h │ │ │ ├── vecInt.h │ │ │ ├── vecPtr.h │ │ │ ├── vecStr.h │ │ │ └── vecVec.h │ │ ├── extlib-constbv/ │ │ │ ├── Makefile │ │ │ ├── constantbv.cpp │ │ │ └── constantbv.h │ │ ├── main/ │ │ │ ├── Globals.cpp │ │ │ ├── Globals.h │ │ │ ├── Makefile │ │ │ └── main.cpp │ │ ├── ocaml-wrapper/ │ │ │ ├── COPYRIGHT-NOTICE │ │ │ ├── Makefile │ │ │ ├── OCamlMakefile │ │ │ ├── libstp.idl │ │ │ ├── libstp_regerrorhandler.c │ │ │ ├── stpvc.ml │ │ │ └── stpvc.mli │ │ ├── parser/ │ │ │ ├── LetMgr.cpp │ │ │ ├── LetMgr.h │ │ │ ├── Makefile │ │ │ ├── ParserInterface.h │ │ │ ├── cvc.lex │ │ │ ├── cvc.y │ │ │ ├── parser.h │ │ │ ├── smt.lex │ │ │ ├── smt.y │ │ │ ├── smt2.lex │ │ │ └── smt2.y │ │ ├── printer/ │ │ │ ├── AssortedPrinters.cpp │ │ │ ├── AssortedPrinters.h │ │ │ ├── BenchPrinter.cpp │ │ │ ├── CPrinter.cpp │ │ │ ├── GDLPrinter.cpp │ │ │ ├── LispPrinter.cpp │ │ │ ├── Makefile │ │ │ ├── PLPrinter.cpp │ │ │ ├── SMTLIB1Printer.cpp │ │ │ ├── SMTLIB2Printer.cpp │ │ │ ├── SMTLIBPrinter.cpp │ │ │ ├── SMTLIBPrinter.h │ │ │ ├── dotPrinter.cpp │ │ │ └── printers.h │ │ ├── sat/ │ │ │ ├── CryptoMinisat.cpp │ │ │ ├── CryptoMinisat.h │ │ │ ├── LICENSE │ │ │ ├── Makefile │ │ │ ├── MinisatCore.cpp │ │ │ ├── MinisatCore.h │ │ │ ├── MinisatCore_prop.cpp │ │ │ ├── MinisatCore_prop.h │ │ │ ├── README │ │ │ ├── SATSolver.h │ │ │ ├── SimplifyingMinisat.cpp │ │ │ ├── SimplifyingMinisat.h │ │ │ ├── core/ │ │ │ │ ├── Dimacs.h │ │ │ │ ├── Main.cc │ │ │ │ ├── Makefile │ │ │ │ ├── Solver.cc │ │ │ │ ├── Solver.h │ │ │ │ └── SolverTypes.h │ │ │ ├── core_prop/ │ │ │ │ ├── Makefile │ │ │ │ ├── Solver_prop.cc │ │ │ │ └── Solver_prop.h │ │ │ ├── cryptominisat2/ │ │ │ │ ├── BitArray.h │ │ │ │ ├── BoundedQueue.h │ │ │ │ ├── CMakeLists.txt │ │ │ │ ├── CSet.h │ │ │ │ ├── Clause.h │ │ │ │ ├── ClauseAllocator.cpp │ │ │ │ ├── ClauseAllocator.h │ │ │ │ ├── ClauseCleaner.cpp │ │ │ │ ├── ClauseCleaner.h │ │ │ │ ├── DoublePackedRow.h │ │ │ │ ├── FailedVarSearcher.cpp │ │ │ │ ├── FailedVarSearcher.h │ │ │ │ ├── FindUndef.cpp │ │ │ │ ├── FindUndef.h │ │ │ │ ├── Gaussian.cpp │ │ │ │ ├── Gaussian.h │ │ │ │ ├── GaussianConfig.h │ │ │ │ ├── Logger.cpp │ │ │ │ ├── Logger.h │ │ │ │ ├── MTRand/ │ │ │ │ │ └── MersenneTwister.h │ │ │ │ ├── Main.cpp │ │ │ │ ├── Makefile │ │ │ │ ├── MatrixFinder.cpp │ │ │ │ ├── MatrixFinder.h │ │ │ │ ├── MersenneTwister.h │ │ │ │ ├── OnlyNonLearntBins.cpp │ │ │ │ ├── OnlyNonLearntBins.h │ │ │ │ ├── PackedMatrix.h │ │ │ │ ├── PackedRow.cpp │ │ │ │ ├── PackedRow.h │ │ │ │ ├── PartFinder.cpp │ │ │ │ ├── PartFinder.h │ │ │ │ ├── PartHandler.cpp │ │ │ │ ├── PartHandler.h │ │ │ │ ├── RestartTypeChooser.cpp │ │ │ │ ├── RestartTypeChooser.h │ │ │ │ ├── Solver.cpp │ │ │ │ ├── Solver.h │ │ │ │ ├── SolverTypes.h │ │ │ │ ├── StateSaver.cpp │ │ │ │ ├── StateSaver.h │ │ │ │ ├── Subsumer.cpp │ │ │ │ ├── Subsumer.h │ │ │ │ ├── UselessBinRemover.cpp │ │ │ │ ├── UselessBinRemover.h │ │ │ │ ├── VERSION │ │ │ │ ├── VarReplacer.cpp │ │ │ │ ├── VarReplacer.h │ │ │ │ ├── XSet.h │ │ │ │ ├── XorFinder.cpp │ │ │ │ ├── XorFinder.h │ │ │ │ ├── XorSubsumer.cpp │ │ │ │ ├── XorSubsumer.h │ │ │ │ ├── constants.h │ │ │ │ ├── msvc/ │ │ │ │ │ └── stdint.h │ │ │ │ ├── mtl/ │ │ │ │ │ ├── Alg.h │ │ │ │ │ ├── BasicHeap.h │ │ │ │ │ ├── BoxedVec.h │ │ │ │ │ ├── Heap.h │ │ │ │ │ ├── Map.h │ │ │ │ │ ├── Queue.h │ │ │ │ │ └── Vec.h │ │ │ │ └── time_mem.h │ │ │ ├── doc/ │ │ │ │ └── ReleaseNotes-2.2.0.txt │ │ │ ├── mtl/ │ │ │ │ ├── Alg.h │ │ │ │ ├── Alloc.h │ │ │ │ ├── BasicHeap.h │ │ │ │ ├── BoxedVec.h │ │ │ │ ├── Heap.h │ │ │ │ ├── IntTypesMtl.h │ │ │ │ ├── Map.h │ │ │ │ ├── Queue.h │ │ │ │ ├── Sort.h │ │ │ │ ├── Vec.h │ │ │ │ ├── XAlloc.h │ │ │ │ └── template.mk │ │ │ ├── simp/ │ │ │ │ ├── Main.cc │ │ │ │ ├── Makefile │ │ │ │ ├── SimpSolver.cc │ │ │ │ └── SimpSolver.h │ │ │ └── utils/ │ │ │ ├── Makefile │ │ │ ├── Options.cc │ │ │ ├── Options.h │ │ │ ├── ParseUtils.h │ │ │ ├── System.cc │ │ │ └── System.h │ │ ├── simplifier/ │ │ │ ├── AIGSimplifyPropositionalCore.h │ │ │ ├── AlwaysTrue.h │ │ │ ├── EstablishIntervals.h │ │ │ ├── FindPureLiterals.h │ │ │ ├── Makefile │ │ │ ├── MutableASTNode.cpp │ │ │ ├── MutableASTNode.h │ │ │ ├── PropagateEqualities.cpp │ │ │ ├── PropagateEqualities.h │ │ │ ├── RemoveUnconstrained.cpp │ │ │ ├── RemoveUnconstrained.h │ │ │ ├── SubstitutionMap.cpp │ │ │ ├── SubstitutionMap.h │ │ │ ├── Symbols.h │ │ │ ├── UseITEContext.h │ │ │ ├── VariablesInExpression.cpp │ │ │ ├── VariablesInExpression.h │ │ │ ├── bvsolver.cpp │ │ │ ├── bvsolver.h │ │ │ ├── constantBitP/ │ │ │ │ ├── ConstantBitP_Arithmetic.cpp │ │ │ │ ├── ConstantBitP_Boolean.cpp │ │ │ │ ├── ConstantBitP_Comparison.cpp │ │ │ │ ├── ConstantBitP_Division.cpp │ │ │ │ ├── ConstantBitP_Multiplication.cpp │ │ │ │ ├── ConstantBitP_Shifting.cpp │ │ │ │ ├── ConstantBitP_TransferFunctions.cpp │ │ │ │ ├── ConstantBitP_TransferFunctions.h │ │ │ │ ├── ConstantBitP_Utility.cpp │ │ │ │ ├── ConstantBitP_Utility.h │ │ │ │ ├── ConstantBitPropagation.cpp │ │ │ │ ├── ConstantBitPropagation.h │ │ │ │ ├── Dependencies.h │ │ │ │ ├── FixedBits.cpp │ │ │ │ ├── FixedBits.h │ │ │ │ ├── MultiplicationStats.h │ │ │ │ ├── NodeToFixedBitsMap.h │ │ │ │ ├── WorkList.h │ │ │ │ └── multiplication/ │ │ │ │ ├── ColumnCounts.h │ │ │ │ ├── ColumnStats.h │ │ │ │ ├── Edge.h │ │ │ │ └── ImplicationGraph.h │ │ │ ├── consteval.cpp │ │ │ ├── simplifier.cpp │ │ │ └── simplifier.h │ │ ├── to-sat/ │ │ │ ├── AIG/ │ │ │ │ ├── BBNodeAIG.h │ │ │ │ ├── BBNodeManagerAIG.cpp │ │ │ │ ├── BBNodeManagerAIG.h │ │ │ │ ├── ToCNFAIG.cpp │ │ │ │ ├── ToCNFAIG.h │ │ │ │ ├── ToSATAIG.cpp │ │ │ │ └── ToSATAIG.h │ │ │ ├── ASTNode/ │ │ │ │ ├── BBNodeManagerASTNode.h │ │ │ │ ├── ClauseList.cpp │ │ │ │ ├── ClauseList.h │ │ │ │ ├── SimpBool.cpp │ │ │ │ ├── ToCNF.cpp │ │ │ │ ├── ToCNF.h │ │ │ │ ├── ToSAT.cpp │ │ │ │ └── ToSAT.h │ │ │ ├── BitBlaster.cpp │ │ │ ├── BitBlaster.h │ │ │ ├── Makefile │ │ │ ├── ToSATBase.cpp │ │ │ └── ToSATBase.h │ │ └── util/ │ │ ├── Makefile │ │ └── rewrite.cpp │ ├── tests/ │ │ ├── big-test/ │ │ │ ├── dsa_chop_allopt.stp.cvc_old │ │ │ ├── dsa_chop_allopt.stp.smt2 │ │ │ ├── dsa_chop_dc.stp.cvc_old │ │ │ ├── dsa_chop_dc.stp.smt2 │ │ │ ├── dsa_chop_noopt-nossa.stp.cvc_old │ │ │ ├── dsa_chop_noopt-nossa.stp.smt2 │ │ │ ├── dsa_chop_noopt-ssa.stp.cvc_old │ │ │ └── dsa_chop_noopt-ssa.stp.smt2 │ │ ├── bio-tests/ │ │ │ ├── 4-alpha-helices-2-rungs-more-bits-simplified.cvc │ │ │ ├── 4-alpha-helices-2-rungs.cvc │ │ │ ├── 4-alpha-helices-3-rungs-macros.cvc │ │ │ ├── 4-alpha-helices-3-rungs.cvc │ │ │ └── rna2.cvc │ │ ├── c-api-tests/ │ │ │ ├── Makefile │ │ │ ├── array-cvcl-02.c │ │ │ ├── b4-c.c │ │ │ ├── b4-c2.c │ │ │ ├── biosat-rna.cpp │ │ │ ├── cvc-to-c.cpp │ │ │ ├── f.cvc │ │ │ ├── getbvunsignedlonglong-check.c │ │ │ ├── if-check.c │ │ │ ├── interface-check.c │ │ │ ├── leak.c │ │ │ ├── multiple-queries.c │ │ │ ├── parsefile-using-cinterface.c │ │ │ ├── parsestring-using-cinterface.c │ │ │ ├── print.c │ │ │ ├── push-no-pop.c │ │ │ ├── push-pop-1.c │ │ │ ├── push-pop.c │ │ │ ├── sbvdiv.c │ │ │ ├── simplify.c │ │ │ ├── simplify1.c │ │ │ ├── squares-leak.c │ │ │ ├── stp-array-model.c │ │ │ ├── stp-bool.c │ │ │ ├── stp-counterex.c │ │ │ ├── stp-div-001.c │ │ │ ├── stp-test3.c │ │ │ ├── stpcheck.c │ │ │ ├── t.cvc │ │ │ ├── userguided-absrefine.c │ │ │ ├── x.c │ │ │ └── y.c │ │ ├── crypto-tests/ │ │ │ ├── 1024_bit_prime_1s_only.stp │ │ │ ├── rsa_1024_bit_prime_1s_only.stp │ │ │ ├── rsa_97_bit_prime.stp │ │ │ ├── rsa_97_bit_prime_1s_only.stp │ │ │ ├── t3.stp │ │ │ ├── t3_flat.stp │ │ │ ├── t4.stp │ │ │ ├── t4_flat.stp │ │ │ ├── t4_nadia.stp │ │ │ ├── t4_nadia_n1.stp │ │ │ ├── t5.stp │ │ │ ├── tea.pl │ │ │ ├── tea_four_round_one_var.stp │ │ │ ├── tea_four_round_one_var_half_key.stp │ │ │ ├── tea_four_round_two_var_half_key.stp │ │ │ ├── tea_four_round_two_var_tea.stp │ │ │ ├── tea_three_round_one_var.stp │ │ │ ├── tea_three_round_two_var.stp │ │ │ ├── tea_three_round_two_var_half_key.stp │ │ │ └── tea_two_round_two_var.stp │ │ ├── generated_tests/ │ │ │ ├── ArrayGenerator.java │ │ │ ├── Makefile │ │ │ ├── extract.pl │ │ │ ├── form_128.var_32.bits_32.cvc │ │ │ ├── form_16.var_32.bits_32.cvc │ │ │ ├── form_256.var_32.bits_32.cvc │ │ │ ├── form_32.var_128.bits_32.cvc │ │ │ ├── form_32.var_16.bits_32.cvc │ │ │ ├── form_32.var_256.bits_32.cvc │ │ │ ├── form_32.var_32.bits_32.cvc │ │ │ ├── form_32.var_4.bits_32.cvc │ │ │ ├── form_32.var_64.bits_32.cvc │ │ │ ├── form_32.var_8.bits_32.cvc │ │ │ ├── form_4.var_32.bits_32.cvc │ │ │ ├── form_64.var_32.bits_32.cvc │ │ │ ├── form_8.var_32.bits_32.cvc │ │ │ ├── g.cvc │ │ │ ├── gen2.cvc │ │ │ ├── mulDivRem.cpp │ │ │ ├── random-tests/ │ │ │ │ ├── OptGen.java │ │ │ │ └── tree.cpp │ │ │ ├── run-experiments.pl │ │ │ ├── runMulDivRem.sh │ │ │ └── testgen.pl │ │ ├── misc-tests/ │ │ │ ├── cryptominisat-bug.cvc │ │ │ └── no-query.cvc │ │ ├── sample-smt-tests/ │ │ │ ├── 610dd9dc.T.stp.smt_71.smt │ │ │ ├── convert-tiff2jpg-query-1831.smt_68.smt │ │ │ ├── working_54.smt │ │ │ └── working_55.smt │ │ └── sample-tests/ │ │ ├── a100test0001.cvc │ │ ├── a101test0002.cvc │ │ ├── a103test0001.cvc │ │ ├── a105test0001.cvc │ │ ├── a107test0001.cvc │ │ ├── a114test0001.cvc │ │ ├── a115test0002.cvc │ │ ├── a116test0003.cvc │ │ ├── a121test0001.cvc │ │ ├── a122test0002.cvc │ │ ├── a123test0003.cvc │ │ ├── a124test0004.cvc │ │ ├── a126test0001.cvc │ │ ├── a127test0009.cvc │ │ ├── a128test0016.cvc │ │ ├── a12test0001.cvc │ │ ├── a13test0002.cvc │ │ ├── a15test0001.cvc │ │ ├── a163test0021.cvc │ │ ├── a164test0005.cvc │ │ ├── a165test0010.cvc │ │ ├── a166test0014.cvc │ │ ├── a167test0001.cvc │ │ ├── a168test0018.cvc │ │ ├── a169test0012.cvc │ │ ├── a170test0017.cvc │ │ ├── a171test0019.cvc │ │ ├── a172test0002.cvc │ │ ├── a173test0011.cvc │ │ ├── a174test0003.cvc │ │ ├── a175test0013.cvc │ │ ├── a176test0022.cvc │ │ ├── a177test0006.cvc │ │ ├── a178test0007.cvc │ │ ├── a179test0008.cvc │ │ ├── a180test0004.cvc │ │ ├── a181test0020.cvc │ │ ├── a182test0015.cvc │ │ ├── a185test0001.cvc │ │ ├── a186test0002.cvc │ │ ├── a187test0009.cvc │ │ ├── a188test0016.cvc │ │ ├── egt-1899.cvc │ │ ├── long-by-hand.cvc │ │ ├── variable-rightshift-invalid.cvc │ │ └── variable-rightshift-valid.cvc │ ├── unit_test/ │ │ ├── alwaysTrue.smt2 │ │ ├── bvand.smt2 │ │ ├── bvand2.smt2 │ │ ├── bvand3.smt2 │ │ ├── bvconcat.smt2 │ │ ├── bvconcat2.smt2 │ │ ├── bvconcat3.smt2 │ │ ├── bvge1.smt2 │ │ ├── bvge3.smt2 │ │ ├── bvmul_minus.smt2 │ │ ├── bvnor.smt2 │ │ ├── bvnot.smt2 │ │ ├── bvor.smt2 │ │ ├── bvsge.smt2 │ │ ├── bvsgt.smt2 │ │ ├── bvsgt2.smt2 │ │ ├── bvshift.smt2 │ │ ├── bvsolver.smt │ │ ├── bvxor.smt2 │ │ ├── eq.smt2 │ │ ├── eq2.smt2 │ │ ├── eqConcat.smt2 │ │ ├── harald.smt2 │ │ ├── mod.smt2 │ │ ├── mod2.smt2 │ │ ├── mult.smt2 │ │ ├── orAlwaysTrue.smt2 │ │ ├── pure.smt2 │ │ ├── pure2.smt2 │ │ ├── sim.smt2 │ │ ├── unc_shift.smt │ │ ├── uncon_then_pure.smt │ │ ├── unit_test.sh │ │ ├── writing_same.smt2 │ │ ├── xor.smt2 │ │ ├── xor2.smt2 │ │ ├── xor3.smt2 │ │ └── xor4.smt2 │ └── windows/ │ ├── README │ ├── cmakemods/ │ │ ├── msvcmt.cmake │ │ ├── slibgcc.cmake │ │ └── staticrt.cmake │ ├── r446-winport.patch │ └── winports/ │ ├── compdep.h │ ├── msc99hdr/ │ │ ├── inttypes.h │ │ ├── stdbool.h │ │ ├── stdint.h │ │ └── unistd.h │ └── sys/ │ └── time.h └── tools/ ├── Makefile ├── Makefile.common ├── Makefile.config.in ├── autoconf/ │ ├── AutoRegen.sh │ ├── aclocal.m4 │ ├── config.guess │ ├── config.sub │ ├── configure.ac │ └── install-sh ├── configure ├── include/ │ └── s2etools/ │ └── config.h.in ├── lib/ │ ├── BinaryReaders/ │ │ ├── BFDInterface.cpp │ │ ├── BFDInterface.h │ │ ├── Binary.cpp │ │ ├── Binary.h │ │ ├── ExecutableFile.cpp │ │ ├── ExecutableFile.h │ │ ├── Library.cpp │ │ ├── Library.h │ │ ├── Macho.cpp │ │ ├── Macho.h │ │ ├── Makefile │ │ ├── Pe.cpp │ │ ├── Pe.h │ │ ├── TextModule.cpp │ │ └── TextModule.h │ ├── ExecutionTracer/ │ │ ├── CacheProfiler.cpp │ │ ├── CacheProfiler.h │ │ ├── InstructionCounter.cpp │ │ ├── InstructionCounter.h │ │ ├── LogParser.cpp │ │ ├── LogParser.h │ │ ├── Makefile │ │ ├── ModuleParser.cpp │ │ ├── ModuleParser.h │ │ ├── PageFault.cpp │ │ ├── PageFault.h │ │ ├── Path.h │ │ ├── PathBuilder.cpp │ │ ├── TestCase.cpp │ │ └── TestCase.h │ ├── Makefile │ └── Utils/ │ ├── BasicBlockListParser.cpp │ ├── BasicBlockListParser.h │ ├── Makefile │ ├── Signals/ │ │ ├── Signals.h │ │ ├── fsigc++.h │ │ ├── functors.h │ │ └── sig-template.h │ └── signals.cpp └── tools/ ├── Makefile ├── cacheprof/ │ ├── Makefile │ └── cacheprof.cpp ├── coverage/ │ ├── Coverage.cpp │ ├── Coverage.h │ └── Makefile ├── debugger/ │ ├── Debugger.cpp │ ├── Debugger.h │ └── Makefile ├── forkprofiler/ │ ├── Makefile │ ├── forkprofiler.cpp │ └── forkprofiler.h ├── icounter/ │ ├── Makefile │ ├── icounter.cpp │ └── icounter.h ├── pfprofiler/ │ ├── CacheProfiler.cpp │ ├── CacheProfiler.h │ ├── Makefile │ ├── pfprofiler.cpp │ └── pfprofiler.h ├── s2etools-config/ │ ├── FinalLibDeps.txt │ ├── Makefile │ └── s2etools-config.in.in ├── scripts/ │ ├── gdb.ini │ └── ida/ │ ├── extractBasicBlocks.py │ └── extractFunctions.py └── tbtrace/ ├── Makefile ├── TbTrace.cpp └── TbTrace.h