├── .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 ├── img │ └── lines.gif ├── 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 │ │ │ ├── a │ │ │ ├── b │ │ │ ├── c │ │ │ └── d │ │ └── testing-env │ ├── Runtest │ │ ├── Makefile │ │ └── intrinsics.c │ └── klee-libc │ │ ├── Makefile │ │ ├── __cxa_atexit.c │ │ ├── abort.c │ │ ├── atexit.c │ │ ├── atoi.c │ │ ├── calloc.c │ │ ├── htonl.c │ │ ├── klee-choose.c │ │ ├── memchr.c │ │ ├── memcmp.c │ │ ├── memcpy.c │ │ ├── memmove.c │ │ ├── mempcpy.c │ │ ├── memset.c │ │ ├── putchar.c │ │ ├── stpcpy.c │ │ ├── strcat.c │ │ ├── strchr.c │ │ ├── strcmp.c │ │ ├── strcoll.c │ │ ├── strcpy.c │ │ ├── strlen.c │ │ ├── strncmp.c │ │ ├── strncpy.c │ │ ├── strrchr.c │ │ ├── strtol.c │ │ ├── strtoul.c │ │ ├── tolower.c │ │ └── toupper.c ├── scripts │ ├── IStatsMerge.py │ ├── IStatsSum.py │ ├── klee-control │ ├── klee-gcc │ └── objdump ├── 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-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 │ ├── klee │ │ ├── Debug.cpp │ │ ├── Makefile │ │ └── main.cpp │ └── 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 │ ├── content │ ├── coreutils_kc_0.png │ └── coreutils_kc_1.png │ ├── 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-migration.c ├── block-migration.h ├── block.c ├── block.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_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.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 │ ├── 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.h │ ├── 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 │ ├── 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-sim.c │ ├── m68k │ │ ├── syscall.h │ │ ├── syscall_nr.h │ │ ├── target_signal.h │ │ └── termbits.h │ ├── 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.c ├── net.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 ├── 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 │ ├── bios.bin │ ├── 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 │ ├── kvmvapic.bin │ ├── linuxboot.bin │ ├── mpc8544ds.dtb │ ├── mpc8544ds.dts │ ├── multiboot.bin │ ├── 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 │ ├── ppc_rom.bin │ ├── pxe-e1000.rom │ ├── pxe-eepro100.rom │ ├── pxe-ne2k_pci.rom │ ├── pxe-pcnet.rom │ ├── pxe-rtl8139.rom │ ├── pxe-virtio.rom │ ├── s390-zipl.rom │ ├── sgabios.bin │ ├── slof.bin │ ├── spapr-rtas.bin │ ├── spapr-rtas │ │ ├── Makefile │ │ └── spapr-rtas.S │ ├── vgabios-cirrus.bin │ ├── vgabios-qxl.bin │ ├── vgabios-stdvga.bin │ ├── vgabios-vmware.bin │ └── vgabios.bin ├── pci-ids.txt ├── pflib.c ├── pflib.h ├── poison.h ├── posix-aio-compat.c ├── ppc-dis.c ├── ppc.ld ├── ppc64.ld ├── qapi-schema-guest.json ├── qapi-schema-test.json ├── qapi-schema.json ├── 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 ├── 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.c │ ├── core-dc232b │ │ ├── core-isa.h │ │ └── gdb-config.c │ ├── core-fsf.c │ ├── core-fsf │ │ └── core-isa.h │ ├── cpu.h │ ├── helper.c │ ├── helpers.h │ ├── machine.c │ ├── op_helper.c │ ├── overlay_tool.h │ └── translate.c ├── targphys.h ├── tcg-runtime.c ├── 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 ├── 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-quick.sh │ ├── 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 │ ├── rtc-test.c │ ├── s2earm │ │ └── buildHello.sh │ ├── tcg │ │ ├── Makefile │ │ ├── alpha │ │ │ ├── Makefile │ │ │ ├── crt.s │ │ │ ├── hello-alpha.c │ │ │ ├── test-cond.c │ │ │ └── test-ovf.c │ │ ├── cris │ │ │ ├── .gdbinit │ │ │ ├── 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-events ├── trace │ ├── control.c │ ├── control.h │ ├── default.c │ ├── simple.c │ ├── simple.h │ ├── stderr.c │ └── stderr.h ├── 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 ├── include │ └── stp │ │ └── c_interface.h ├── papers │ ├── EXE-STP-TISSEC-Journal-2007.pdf │ ├── EXE-STP.pdf │ └── vijayganesh-stp-paper.pdf ├── 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.hpp │ │ ├── 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 │ │ ├── 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.h │ │ ├── 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 │ │ ├── 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 │ │ ├── easy-sat-bio.cvc.tar.gz │ │ ├── easy-unsat-bio.cvc.tar.gz │ │ ├── hard-sat-bio.cvc.tar.gz │ │ └── 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 /.github/FUNDING.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/.github/FUNDING.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/Makefile -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/README -------------------------------------------------------------------------------- /S2E-AUTHORS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/S2E-AUTHORS -------------------------------------------------------------------------------- /config.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/config.lua -------------------------------------------------------------------------------- /docs/BuildingLinux.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/docs/BuildingLinux.html -------------------------------------------------------------------------------- /docs/BuildingLinux.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/docs/BuildingLinux.rst -------------------------------------------------------------------------------- /docs/BuildingS2E.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/docs/BuildingS2E.html -------------------------------------------------------------------------------- /docs/BuildingS2E.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/docs/BuildingS2E.rst -------------------------------------------------------------------------------- /docs/Contribute.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/docs/Contribute.html -------------------------------------------------------------------------------- /docs/Contribute.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/docs/Contribute.rst -------------------------------------------------------------------------------- /docs/FAQ.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/docs/FAQ.html -------------------------------------------------------------------------------- /docs/FAQ.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/docs/FAQ.rst -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/ProfilingS2E.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/docs/ProfilingS2E.html -------------------------------------------------------------------------------- /docs/ProfilingS2E.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/docs/ProfilingS2E.rst -------------------------------------------------------------------------------- /docs/SystemTap.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/docs/SystemTap.html -------------------------------------------------------------------------------- /docs/SystemTap.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/docs/SystemTap.rst -------------------------------------------------------------------------------- /docs/UsingS2EGet.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/docs/UsingS2EGet.html -------------------------------------------------------------------------------- /docs/UsingS2EGet.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/docs/UsingS2EGet.rst -------------------------------------------------------------------------------- /docs/config.s2e.i686: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/docs/config.s2e.i686 -------------------------------------------------------------------------------- /docs/img/lines.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/docs/img/lines.gif -------------------------------------------------------------------------------- /docs/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/docs/index.html -------------------------------------------------------------------------------- /docs/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/docs/index.rst -------------------------------------------------------------------------------- /docs/rst2html-pygments: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/docs/rst2html-pygments -------------------------------------------------------------------------------- /docs/rst2latex-pygments: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/docs/rst2latex-pygments -------------------------------------------------------------------------------- /docs/s2e.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/docs/s2e.css -------------------------------------------------------------------------------- /docs/sample/factorial.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/docs/sample/factorial.c -------------------------------------------------------------------------------- /guest/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/guest/Makefile -------------------------------------------------------------------------------- /guest/configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/guest/configure -------------------------------------------------------------------------------- /guest/demos/quicksort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/guest/demos/quicksort.c -------------------------------------------------------------------------------- /guest/include/s2e-arm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/guest/include/s2e-arm.h -------------------------------------------------------------------------------- /guest/include/s2e-x86.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/guest/include/s2e-x86.h -------------------------------------------------------------------------------- /guest/include/s2e.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/guest/include/s2e.h -------------------------------------------------------------------------------- /guest/s2ecmd/s2ecmd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/guest/s2ecmd/s2ecmd.c -------------------------------------------------------------------------------- /guest/s2eget/s2eget.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/guest/s2eget/s2eget.c -------------------------------------------------------------------------------- /guest/stp/s2e.stp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/guest/stp/s2e.stp -------------------------------------------------------------------------------- /klee/LICENSE.TXT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/LICENSE.TXT -------------------------------------------------------------------------------- /klee/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/Makefile -------------------------------------------------------------------------------- /klee/Makefile.common: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/Makefile.common -------------------------------------------------------------------------------- /klee/Makefile.config.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/Makefile.config.in -------------------------------------------------------------------------------- /klee/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/README.txt -------------------------------------------------------------------------------- /klee/TODO.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/TODO.txt -------------------------------------------------------------------------------- /klee/configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/configure -------------------------------------------------------------------------------- /klee/docs/doxygen.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/docs/doxygen.cfg -------------------------------------------------------------------------------- /klee/docs/intro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/docs/intro -------------------------------------------------------------------------------- /klee/docs/overview: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/docs/overview -------------------------------------------------------------------------------- /klee/include/klee/Config/common.h: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /klee/lib/Basic/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/lib/Basic/Makefile -------------------------------------------------------------------------------- /klee/lib/Core/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/lib/Core/Makefile -------------------------------------------------------------------------------- /klee/lib/Core/PTree.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/lib/Core/PTree.cpp -------------------------------------------------------------------------------- /klee/lib/Expr/Expr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/lib/Expr/Expr.cpp -------------------------------------------------------------------------------- /klee/lib/Expr/Lexer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/lib/Expr/Lexer.cpp -------------------------------------------------------------------------------- /klee/lib/Expr/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/lib/Expr/Makefile -------------------------------------------------------------------------------- /klee/lib/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/lib/Makefile -------------------------------------------------------------------------------- /klee/lib/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/lib/README.txt -------------------------------------------------------------------------------- /klee/lib/SMT/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/lib/SMT/Makefile -------------------------------------------------------------------------------- /klee/lib/SMT/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/lib/SMT/main.cpp -------------------------------------------------------------------------------- /klee/lib/SMT/smtlib.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/lib/SMT/smtlib.lex -------------------------------------------------------------------------------- /klee/lib/SMT/smtlib.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/lib/SMT/smtlib.y -------------------------------------------------------------------------------- /klee/runtime/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/runtime/Makefile -------------------------------------------------------------------------------- /klee/runtime/POSIX/fd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/runtime/POSIX/fd.c -------------------------------------------------------------------------------- /klee/runtime/POSIX/fd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/runtime/POSIX/fd.h -------------------------------------------------------------------------------- /klee/runtime/POSIX/testing-dir/a: -------------------------------------------------------------------------------- 1 | /dev/null -------------------------------------------------------------------------------- /klee/runtime/POSIX/testing-dir/b: -------------------------------------------------------------------------------- 1 | /dev/random -------------------------------------------------------------------------------- /klee/runtime/POSIX/testing-dir/c: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | echo "Hello world!" 3 | -------------------------------------------------------------------------------- /klee/runtime/POSIX/testing-dir/d: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /klee/scripts/klee-gcc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/scripts/klee-gcc -------------------------------------------------------------------------------- /klee/scripts/objdump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/scripts/objdump -------------------------------------------------------------------------------- /klee/stp/AST/AST.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/stp/AST/AST.cpp -------------------------------------------------------------------------------- /klee/stp/AST/AST.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/stp/AST/AST.h -------------------------------------------------------------------------------- /klee/stp/AST/ASTUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/stp/AST/ASTUtil.h -------------------------------------------------------------------------------- /klee/stp/AST/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/stp/AST/Makefile -------------------------------------------------------------------------------- /klee/stp/AST/ToCNF.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/stp/AST/ToCNF.cpp -------------------------------------------------------------------------------- /klee/stp/AST/ToSAT.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/stp/AST/ToSAT.cpp -------------------------------------------------------------------------------- /klee/stp/AST/bbtest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/stp/AST/bbtest.cpp -------------------------------------------------------------------------------- /klee/stp/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/stp/INSTALL -------------------------------------------------------------------------------- /klee/stp/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/stp/LICENSE -------------------------------------------------------------------------------- /klee/stp/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/stp/Makefile -------------------------------------------------------------------------------- /klee/stp/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/stp/README -------------------------------------------------------------------------------- /klee/stp/parser/PL.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/stp/parser/PL.lex -------------------------------------------------------------------------------- /klee/stp/parser/PL.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/stp/parser/PL.y -------------------------------------------------------------------------------- /klee/stp/sat/Global.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/stp/sat/Global.h -------------------------------------------------------------------------------- /klee/stp/sat/Heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/stp/sat/Heap.h -------------------------------------------------------------------------------- /klee/stp/sat/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/stp/sat/LICENSE -------------------------------------------------------------------------------- /klee/stp/sat/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/stp/sat/Makefile -------------------------------------------------------------------------------- /klee/stp/sat/Solver.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/stp/sat/Solver.C -------------------------------------------------------------------------------- /klee/stp/sat/Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/stp/sat/Solver.h -------------------------------------------------------------------------------- /klee/stp/sat/Sort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/stp/sat/Sort.h -------------------------------------------------------------------------------- /klee/stp/sat/VarOrder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/stp/sat/VarOrder.h -------------------------------------------------------------------------------- /klee/stp/stp/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/stp/stp/Makefile -------------------------------------------------------------------------------- /klee/test/CXX/New.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/test/CXX/New.cpp -------------------------------------------------------------------------------- /klee/test/CXX/dg.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/test/CXX/dg.exp -------------------------------------------------------------------------------- /klee/test/Expr/dg.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/test/Expr/dg.exp -------------------------------------------------------------------------------- /klee/test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/test/Makefile -------------------------------------------------------------------------------- /klee/test/README: -------------------------------------------------------------------------------- 1 | about tests.... 2 | -------------------------------------------------------------------------------- /klee/test/Solver/dg.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/test/Solver/dg.exp -------------------------------------------------------------------------------- /klee/test/TestRunner.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/test/TestRunner.sh -------------------------------------------------------------------------------- /klee/test/lib/llvm.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/test/lib/llvm.exp -------------------------------------------------------------------------------- /klee/tools/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/tools/Makefile -------------------------------------------------------------------------------- /klee/tools/klee-replay/fd_init.c: -------------------------------------------------------------------------------- 1 | #include "../../runtime/POSIX/fd_init.c" 2 | -------------------------------------------------------------------------------- /klee/tools/klee-replay/klee_init_env.c: -------------------------------------------------------------------------------- 1 | #include "../../runtime/POSIX/klee_init_env.c" 2 | -------------------------------------------------------------------------------- /klee/unittests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/unittests/Makefile -------------------------------------------------------------------------------- /klee/www/KQuery.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/www/KQuery.html -------------------------------------------------------------------------------- /klee/www/Tutorials.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/www/Tutorials.html -------------------------------------------------------------------------------- /klee/www/bugs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/www/bugs.html -------------------------------------------------------------------------------- /klee/www/content.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/www/content.css -------------------------------------------------------------------------------- /klee/www/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/www/index.html -------------------------------------------------------------------------------- /klee/www/menu.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/www/menu.css -------------------------------------------------------------------------------- /klee/www/menu.html.incl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/klee/www/menu.html.incl -------------------------------------------------------------------------------- /qemu/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/.gitignore -------------------------------------------------------------------------------- /qemu/.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/.gitmodules -------------------------------------------------------------------------------- /qemu/.mailmap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/.mailmap -------------------------------------------------------------------------------- /qemu/CODING_STYLE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/CODING_STYLE -------------------------------------------------------------------------------- /qemu/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/COPYING -------------------------------------------------------------------------------- /qemu/COPYING.LIB: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/COPYING.LIB -------------------------------------------------------------------------------- /qemu/Changelog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/Changelog -------------------------------------------------------------------------------- /qemu/HACKING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/HACKING -------------------------------------------------------------------------------- /qemu/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/LICENSE -------------------------------------------------------------------------------- /qemu/MAINTAINERS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/MAINTAINERS -------------------------------------------------------------------------------- /qemu/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/Makefile -------------------------------------------------------------------------------- /qemu/Makefile.dis: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/Makefile.dis -------------------------------------------------------------------------------- /qemu/Makefile.hw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/Makefile.hw -------------------------------------------------------------------------------- /qemu/Makefile.objs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/Makefile.objs -------------------------------------------------------------------------------- /qemu/Makefile.target: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/Makefile.target -------------------------------------------------------------------------------- /qemu/Makefile.user: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/Makefile.user -------------------------------------------------------------------------------- /qemu/QMP/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/QMP/README -------------------------------------------------------------------------------- /qemu/QMP/qmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/QMP/qmp -------------------------------------------------------------------------------- /qemu/QMP/qmp-events.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/QMP/qmp-events.txt -------------------------------------------------------------------------------- /qemu/QMP/qmp-shell: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/QMP/qmp-shell -------------------------------------------------------------------------------- /qemu/QMP/qmp-spec.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/QMP/qmp-spec.txt -------------------------------------------------------------------------------- /qemu/QMP/qmp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/QMP/qmp.py -------------------------------------------------------------------------------- /qemu/QMP/qom-get: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/QMP/qom-get -------------------------------------------------------------------------------- /qemu/QMP/qom-list: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/QMP/qom-list -------------------------------------------------------------------------------- /qemu/QMP/qom-set: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/QMP/qom-set -------------------------------------------------------------------------------- /qemu/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/README -------------------------------------------------------------------------------- /qemu/TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/TODO -------------------------------------------------------------------------------- /qemu/VERSION: -------------------------------------------------------------------------------- 1 | 1.0.50 2 | -------------------------------------------------------------------------------- /qemu/a.out.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/a.out.h -------------------------------------------------------------------------------- /qemu/acl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/acl.c -------------------------------------------------------------------------------- /qemu/acl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/acl.h -------------------------------------------------------------------------------- /qemu/aes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/aes.c -------------------------------------------------------------------------------- /qemu/aes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/aes.h -------------------------------------------------------------------------------- /qemu/aio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/aio.c -------------------------------------------------------------------------------- /qemu/alpha-dis.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/alpha-dis.c -------------------------------------------------------------------------------- /qemu/alpha.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/alpha.ld -------------------------------------------------------------------------------- /qemu/arch_init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/arch_init.c -------------------------------------------------------------------------------- /qemu/arch_init.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/arch_init.h -------------------------------------------------------------------------------- /qemu/arm-dis.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/arm-dis.c -------------------------------------------------------------------------------- /qemu/arm-semi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/arm-semi.c -------------------------------------------------------------------------------- /qemu/arm.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/arm.ld -------------------------------------------------------------------------------- /qemu/async.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/async.c -------------------------------------------------------------------------------- /qemu/audio/alsaaudio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/audio/alsaaudio.c -------------------------------------------------------------------------------- /qemu/audio/audio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/audio/audio.c -------------------------------------------------------------------------------- /qemu/audio/audio.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/audio/audio.h -------------------------------------------------------------------------------- /qemu/audio/audio_int.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/audio/audio_int.h -------------------------------------------------------------------------------- /qemu/audio/mixeng.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/audio/mixeng.c -------------------------------------------------------------------------------- /qemu/audio/mixeng.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/audio/mixeng.h -------------------------------------------------------------------------------- /qemu/audio/noaudio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/audio/noaudio.c -------------------------------------------------------------------------------- /qemu/audio/paaudio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/audio/paaudio.c -------------------------------------------------------------------------------- /qemu/balloon.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/balloon.c -------------------------------------------------------------------------------- /qemu/balloon.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/balloon.h -------------------------------------------------------------------------------- /qemu/bitmap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/bitmap.c -------------------------------------------------------------------------------- /qemu/bitmap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/bitmap.h -------------------------------------------------------------------------------- /qemu/bitops.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/bitops.c -------------------------------------------------------------------------------- /qemu/bitops.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/bitops.h -------------------------------------------------------------------------------- /qemu/block.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/block.c -------------------------------------------------------------------------------- /qemu/block.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/block.h -------------------------------------------------------------------------------- /qemu/block/bochs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/block/bochs.c -------------------------------------------------------------------------------- /qemu/block/cloop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/block/cloop.c -------------------------------------------------------------------------------- /qemu/block/cow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/block/cow.c -------------------------------------------------------------------------------- /qemu/block/curl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/block/curl.c -------------------------------------------------------------------------------- /qemu/block/dmg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/block/dmg.c -------------------------------------------------------------------------------- /qemu/block/iscsi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/block/iscsi.c -------------------------------------------------------------------------------- /qemu/block/nbd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/block/nbd.c -------------------------------------------------------------------------------- /qemu/block/qcow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/block/qcow.c -------------------------------------------------------------------------------- /qemu/block/qcow2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/block/qcow2.c -------------------------------------------------------------------------------- /qemu/block/qcow2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/block/qcow2.h -------------------------------------------------------------------------------- /qemu/block/qed.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/block/qed.c -------------------------------------------------------------------------------- /qemu/block/qed.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/block/qed.h -------------------------------------------------------------------------------- /qemu/block/raw.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/block/raw.c -------------------------------------------------------------------------------- /qemu/block/rbd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/block/rbd.c -------------------------------------------------------------------------------- /qemu/block/s2e.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/block/s2e.c -------------------------------------------------------------------------------- /qemu/block/stream.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/block/stream.c -------------------------------------------------------------------------------- /qemu/block/vdi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/block/vdi.c -------------------------------------------------------------------------------- /qemu/block/vmdk.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/block/vmdk.c -------------------------------------------------------------------------------- /qemu/block/vpc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/block/vpc.c -------------------------------------------------------------------------------- /qemu/block/vvfat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/block/vvfat.c -------------------------------------------------------------------------------- /qemu/block_int.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/block_int.h -------------------------------------------------------------------------------- /qemu/blockdev.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/blockdev.c -------------------------------------------------------------------------------- /qemu/blockdev.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/blockdev.h -------------------------------------------------------------------------------- /qemu/bsd-user/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/bsd-user/main.c -------------------------------------------------------------------------------- /qemu/bsd-user/mmap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/bsd-user/mmap.c -------------------------------------------------------------------------------- /qemu/bsd-user/qemu.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/bsd-user/qemu.h -------------------------------------------------------------------------------- /qemu/bswap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/bswap.h -------------------------------------------------------------------------------- /qemu/bt-host.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/bt-host.c -------------------------------------------------------------------------------- /qemu/bt-host.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/bt-host.h -------------------------------------------------------------------------------- /qemu/bt-vhci.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/bt-vhci.c -------------------------------------------------------------------------------- /qemu/buffered_file.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/buffered_file.c -------------------------------------------------------------------------------- /qemu/buffered_file.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/buffered_file.h -------------------------------------------------------------------------------- /qemu/cache-utils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/cache-utils.c -------------------------------------------------------------------------------- /qemu/cache-utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/cache-utils.h -------------------------------------------------------------------------------- /qemu/cmd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/cmd.c -------------------------------------------------------------------------------- /qemu/cmd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/cmd.h -------------------------------------------------------------------------------- /qemu/compatfd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/compatfd.c -------------------------------------------------------------------------------- /qemu/compatfd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/compatfd.h -------------------------------------------------------------------------------- /qemu/compiler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/compiler.h -------------------------------------------------------------------------------- /qemu/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/config.h -------------------------------------------------------------------------------- /qemu/configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/configure -------------------------------------------------------------------------------- /qemu/console.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/console.c -------------------------------------------------------------------------------- /qemu/console.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/console.h -------------------------------------------------------------------------------- /qemu/cpu-all.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/cpu-all.h -------------------------------------------------------------------------------- /qemu/cpu-common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/cpu-common.h -------------------------------------------------------------------------------- /qemu/cpu-defs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/cpu-defs.h -------------------------------------------------------------------------------- /qemu/cpu-exec.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/cpu-exec.c -------------------------------------------------------------------------------- /qemu/cpus.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/cpus.c -------------------------------------------------------------------------------- /qemu/cpus.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/cpus.h -------------------------------------------------------------------------------- /qemu/cris-dis.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/cris-dis.c -------------------------------------------------------------------------------- /qemu/cursor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/cursor.c -------------------------------------------------------------------------------- /qemu/cutils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/cutils.c -------------------------------------------------------------------------------- /qemu/def-helper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/def-helper.h -------------------------------------------------------------------------------- /qemu/default-configs/cris-linux-user.mak: -------------------------------------------------------------------------------- 1 | # Default configuration for cris-linux-user 2 | -------------------------------------------------------------------------------- /qemu/default-configs/i386-bsd-user.mak: -------------------------------------------------------------------------------- 1 | # Default configuration for i386-bsd-user 2 | -------------------------------------------------------------------------------- /qemu/default-configs/i386-linux-user.mak: -------------------------------------------------------------------------------- 1 | # Default configuration for i386-linux-user 2 | -------------------------------------------------------------------------------- /qemu/default-configs/mips-linux-user.mak: -------------------------------------------------------------------------------- 1 | # Default configuration for mips-linux-user 2 | -------------------------------------------------------------------------------- /qemu/default-configs/s390x-softmmu.mak: -------------------------------------------------------------------------------- 1 | CONFIG_VIRTIO=y 2 | -------------------------------------------------------------------------------- /qemu/default-configs/sh4-linux-user.mak: -------------------------------------------------------------------------------- 1 | # Default configuration for sh4-linux-user 2 | -------------------------------------------------------------------------------- /qemu/default-configs/sparc-bsd-user.mak: -------------------------------------------------------------------------------- 1 | # Default configuration for sparc-bsd-user 2 | -------------------------------------------------------------------------------- /qemu/default-configs/x86_64-bsd-user.mak: -------------------------------------------------------------------------------- 1 | # Default configuration for x86_64-bsd-user 2 | -------------------------------------------------------------------------------- /qemu/device_tree.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/device_tree.c -------------------------------------------------------------------------------- /qemu/device_tree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/device_tree.h -------------------------------------------------------------------------------- /qemu/dis-asm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/dis-asm.h -------------------------------------------------------------------------------- /qemu/disas.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/disas.c -------------------------------------------------------------------------------- /qemu/disas.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/disas.h -------------------------------------------------------------------------------- /qemu/dma-helpers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/dma-helpers.c -------------------------------------------------------------------------------- /qemu/dma.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/dma.h -------------------------------------------------------------------------------- /qemu/docs/ccid.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/docs/ccid.txt -------------------------------------------------------------------------------- /qemu/docs/memory.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/docs/memory.txt -------------------------------------------------------------------------------- /qemu/docs/usb2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/docs/usb2.txt -------------------------------------------------------------------------------- /qemu/dyngen-exec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/dyngen-exec.h -------------------------------------------------------------------------------- /qemu/elf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/elf.h -------------------------------------------------------------------------------- /qemu/envlist.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/envlist.c -------------------------------------------------------------------------------- /qemu/envlist.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/envlist.h -------------------------------------------------------------------------------- /qemu/error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/error.c -------------------------------------------------------------------------------- /qemu/error.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/error.h -------------------------------------------------------------------------------- /qemu/error_int.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/error_int.h -------------------------------------------------------------------------------- /qemu/exec-all.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/exec-all.h -------------------------------------------------------------------------------- /qemu/exec-memory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/exec-memory.h -------------------------------------------------------------------------------- /qemu/exec-obsolete.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/exec-obsolete.h -------------------------------------------------------------------------------- /qemu/exec.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/exec.c -------------------------------------------------------------------------------- /qemu/fpu/softfloat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/fpu/softfloat.c -------------------------------------------------------------------------------- /qemu/fpu/softfloat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/fpu/softfloat.h -------------------------------------------------------------------------------- /qemu/gdbstub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/gdbstub.c -------------------------------------------------------------------------------- /qemu/gdbstub.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/gdbstub.h -------------------------------------------------------------------------------- /qemu/gen-icount.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/gen-icount.h -------------------------------------------------------------------------------- /qemu/hmp-commands.hx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hmp-commands.hx -------------------------------------------------------------------------------- /qemu/hmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hmp.c -------------------------------------------------------------------------------- /qemu/hmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hmp.h -------------------------------------------------------------------------------- /qemu/host-utils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/host-utils.c -------------------------------------------------------------------------------- /qemu/host-utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/host-utils.h -------------------------------------------------------------------------------- /qemu/hppa-dis.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hppa-dis.c -------------------------------------------------------------------------------- /qemu/hppa.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hppa.ld -------------------------------------------------------------------------------- /qemu/hw/9p.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/9p.h -------------------------------------------------------------------------------- /qemu/hw/9pfs/codir.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/9pfs/codir.c -------------------------------------------------------------------------------- /qemu/hw/9pfs/cofs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/9pfs/cofs.c -------------------------------------------------------------------------------- /qemu/hw/a15mpcore.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/a15mpcore.c -------------------------------------------------------------------------------- /qemu/hw/a9mpcore.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/a9mpcore.c -------------------------------------------------------------------------------- /qemu/hw/ac97.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ac97.c -------------------------------------------------------------------------------- /qemu/hw/acpi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/acpi.c -------------------------------------------------------------------------------- /qemu/hw/acpi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/acpi.h -------------------------------------------------------------------------------- /qemu/hw/acpi_piix4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/acpi_piix4.c -------------------------------------------------------------------------------- /qemu/hw/adb.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/adb.c -------------------------------------------------------------------------------- /qemu/hw/adb.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/adb.h -------------------------------------------------------------------------------- /qemu/hw/adlib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/adlib.c -------------------------------------------------------------------------------- /qemu/hw/ads7846.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ads7846.c -------------------------------------------------------------------------------- /qemu/hw/alpha_pci.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/alpha_pci.c -------------------------------------------------------------------------------- /qemu/hw/alpha_sys.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/alpha_sys.h -------------------------------------------------------------------------------- /qemu/hw/an5206.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/an5206.c -------------------------------------------------------------------------------- /qemu/hw/apb_pci.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/apb_pci.c -------------------------------------------------------------------------------- /qemu/hw/apb_pci.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/apb_pci.h -------------------------------------------------------------------------------- /qemu/hw/apic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/apic.c -------------------------------------------------------------------------------- /qemu/hw/apic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/apic.h -------------------------------------------------------------------------------- /qemu/hw/apm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/apm.c -------------------------------------------------------------------------------- /qemu/hw/apm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/apm.h -------------------------------------------------------------------------------- /qemu/hw/applesmc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/applesmc.c -------------------------------------------------------------------------------- /qemu/hw/arm-misc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/arm-misc.h -------------------------------------------------------------------------------- /qemu/hw/arm_boot.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/arm_boot.c -------------------------------------------------------------------------------- /qemu/hw/arm_gic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/arm_gic.c -------------------------------------------------------------------------------- /qemu/hw/arm_l2x0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/arm_l2x0.c -------------------------------------------------------------------------------- /qemu/hw/arm_pic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/arm_pic.c -------------------------------------------------------------------------------- /qemu/hw/arm_sysctl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/arm_sysctl.c -------------------------------------------------------------------------------- /qemu/hw/arm_timer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/arm_timer.c -------------------------------------------------------------------------------- /qemu/hw/armv7m.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/armv7m.c -------------------------------------------------------------------------------- /qemu/hw/audiodev.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/audiodev.h -------------------------------------------------------------------------------- /qemu/hw/axis_dev88.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/axis_dev88.c -------------------------------------------------------------------------------- /qemu/hw/baum.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/baum.c -------------------------------------------------------------------------------- /qemu/hw/baum.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/baum.h -------------------------------------------------------------------------------- /qemu/hw/blizzard.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/blizzard.c -------------------------------------------------------------------------------- /qemu/hw/boards.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/boards.h -------------------------------------------------------------------------------- /qemu/hw/bonito.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/bonito.c -------------------------------------------------------------------------------- /qemu/hw/bt-hci-csr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/bt-hci-csr.c -------------------------------------------------------------------------------- /qemu/hw/bt-hci.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/bt-hci.c -------------------------------------------------------------------------------- /qemu/hw/bt-hid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/bt-hid.c -------------------------------------------------------------------------------- /qemu/hw/bt-l2cap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/bt-l2cap.c -------------------------------------------------------------------------------- /qemu/hw/bt-sdp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/bt-sdp.c -------------------------------------------------------------------------------- /qemu/hw/bt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/bt.c -------------------------------------------------------------------------------- /qemu/hw/bt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/bt.h -------------------------------------------------------------------------------- /qemu/hw/cbus.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/cbus.c -------------------------------------------------------------------------------- /qemu/hw/ccid.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ccid.h -------------------------------------------------------------------------------- /qemu/hw/cdrom.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/cdrom.c -------------------------------------------------------------------------------- /qemu/hw/cirrus_vga.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/cirrus_vga.c -------------------------------------------------------------------------------- /qemu/hw/collie.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/collie.c -------------------------------------------------------------------------------- /qemu/hw/cris-boot.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/cris-boot.c -------------------------------------------------------------------------------- /qemu/hw/cris-boot.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/cris-boot.h -------------------------------------------------------------------------------- /qemu/hw/cs4231.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/cs4231.c -------------------------------------------------------------------------------- /qemu/hw/cs4231a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/cs4231a.c -------------------------------------------------------------------------------- /qemu/hw/cuda.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/cuda.c -------------------------------------------------------------------------------- /qemu/hw/debugcon.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/debugcon.c -------------------------------------------------------------------------------- /qemu/hw/dec_pci.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/dec_pci.c -------------------------------------------------------------------------------- /qemu/hw/dec_pci.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/dec_pci.h -------------------------------------------------------------------------------- /qemu/hw/devices.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/devices.h -------------------------------------------------------------------------------- /qemu/hw/dma.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/dma.c -------------------------------------------------------------------------------- /qemu/hw/dp8393x.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/dp8393x.c -------------------------------------------------------------------------------- /qemu/hw/ds1225y.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ds1225y.c -------------------------------------------------------------------------------- /qemu/hw/ds1338.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ds1338.c -------------------------------------------------------------------------------- /qemu/hw/dummy_m68k.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/dummy_m68k.c -------------------------------------------------------------------------------- /qemu/hw/e1000.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/e1000.c -------------------------------------------------------------------------------- /qemu/hw/e1000_hw.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/e1000_hw.h -------------------------------------------------------------------------------- /qemu/hw/ecc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ecc.c -------------------------------------------------------------------------------- /qemu/hw/eccmemctl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/eccmemctl.c -------------------------------------------------------------------------------- /qemu/hw/eepro100.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/eepro100.c -------------------------------------------------------------------------------- /qemu/hw/eeprom93xx.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/eeprom93xx.c -------------------------------------------------------------------------------- /qemu/hw/eeprom93xx.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/eeprom93xx.h -------------------------------------------------------------------------------- /qemu/hw/elf_ops.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/elf_ops.h -------------------------------------------------------------------------------- /qemu/hw/empty_slot.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/empty_slot.c -------------------------------------------------------------------------------- /qemu/hw/empty_slot.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/empty_slot.h -------------------------------------------------------------------------------- /qemu/hw/es1370.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/es1370.c -------------------------------------------------------------------------------- /qemu/hw/escc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/escc.c -------------------------------------------------------------------------------- /qemu/hw/escc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/escc.h -------------------------------------------------------------------------------- /qemu/hw/esp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/esp.c -------------------------------------------------------------------------------- /qemu/hw/esp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/esp.h -------------------------------------------------------------------------------- /qemu/hw/etraxfs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/etraxfs.h -------------------------------------------------------------------------------- /qemu/hw/exynos4210.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/exynos4210.c -------------------------------------------------------------------------------- /qemu/hw/exynos4210.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/exynos4210.h -------------------------------------------------------------------------------- /qemu/hw/fakepci.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/fakepci.c -------------------------------------------------------------------------------- /qemu/hw/fakepci.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/fakepci.h -------------------------------------------------------------------------------- /qemu/hw/fdc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/fdc.c -------------------------------------------------------------------------------- /qemu/hw/fdc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/fdc.h -------------------------------------------------------------------------------- /qemu/hw/flash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/flash.h -------------------------------------------------------------------------------- /qemu/hw/fmopl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/fmopl.c -------------------------------------------------------------------------------- /qemu/hw/fmopl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/fmopl.h -------------------------------------------------------------------------------- /qemu/hw/fw_cfg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/fw_cfg.c -------------------------------------------------------------------------------- /qemu/hw/fw_cfg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/fw_cfg.h -------------------------------------------------------------------------------- /qemu/hw/g364fb.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/g364fb.c -------------------------------------------------------------------------------- /qemu/hw/grlib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/grlib.h -------------------------------------------------------------------------------- /qemu/hw/gt64xxx.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/gt64xxx.c -------------------------------------------------------------------------------- /qemu/hw/gumstix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/gumstix.c -------------------------------------------------------------------------------- /qemu/hw/gus.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/gus.c -------------------------------------------------------------------------------- /qemu/hw/gusemu.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/gusemu.h -------------------------------------------------------------------------------- /qemu/hw/gusemu_hal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/gusemu_hal.c -------------------------------------------------------------------------------- /qemu/hw/gustate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/gustate.h -------------------------------------------------------------------------------- /qemu/hw/hda-audio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/hda-audio.c -------------------------------------------------------------------------------- /qemu/hw/hid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/hid.c -------------------------------------------------------------------------------- /qemu/hw/hid.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/hid.h -------------------------------------------------------------------------------- /qemu/hw/highbank.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/highbank.c -------------------------------------------------------------------------------- /qemu/hw/hpet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/hpet.c -------------------------------------------------------------------------------- /qemu/hw/hpet_emul.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/hpet_emul.h -------------------------------------------------------------------------------- /qemu/hw/hw.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/hw.h -------------------------------------------------------------------------------- /qemu/hw/i2c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/i2c.c -------------------------------------------------------------------------------- /qemu/hw/i2c.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/i2c.h -------------------------------------------------------------------------------- /qemu/hw/i82374.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/i82374.c -------------------------------------------------------------------------------- /qemu/hw/i82378.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/i82378.c -------------------------------------------------------------------------------- /qemu/hw/i8254.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/i8254.c -------------------------------------------------------------------------------- /qemu/hw/i8254.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/i8254.h -------------------------------------------------------------------------------- /qemu/hw/i8259.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/i8259.c -------------------------------------------------------------------------------- /qemu/hw/ide.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ide.h -------------------------------------------------------------------------------- /qemu/hw/ide/ahci.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ide/ahci.c -------------------------------------------------------------------------------- /qemu/hw/ide/ahci.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ide/ahci.h -------------------------------------------------------------------------------- /qemu/hw/ide/atapi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ide/atapi.c -------------------------------------------------------------------------------- /qemu/hw/ide/cmd646.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ide/cmd646.c -------------------------------------------------------------------------------- /qemu/hw/ide/core.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ide/core.c -------------------------------------------------------------------------------- /qemu/hw/ide/ich.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ide/ich.c -------------------------------------------------------------------------------- /qemu/hw/ide/isa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ide/isa.c -------------------------------------------------------------------------------- /qemu/hw/ide/macio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ide/macio.c -------------------------------------------------------------------------------- /qemu/hw/ide/mmio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ide/mmio.c -------------------------------------------------------------------------------- /qemu/hw/ide/pci.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ide/pci.c -------------------------------------------------------------------------------- /qemu/hw/ide/pci.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ide/pci.h -------------------------------------------------------------------------------- /qemu/hw/ide/piix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ide/piix.c -------------------------------------------------------------------------------- /qemu/hw/ide/qdev.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ide/qdev.c -------------------------------------------------------------------------------- /qemu/hw/ide/via.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ide/via.c -------------------------------------------------------------------------------- /qemu/hw/intel-hda.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/intel-hda.c -------------------------------------------------------------------------------- /qemu/hw/intel-hda.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/intel-hda.h -------------------------------------------------------------------------------- /qemu/hw/ioapic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ioapic.c -------------------------------------------------------------------------------- /qemu/hw/ioapic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ioapic.h -------------------------------------------------------------------------------- /qemu/hw/ioh3420.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ioh3420.c -------------------------------------------------------------------------------- /qemu/hw/ioh3420.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ioh3420.h -------------------------------------------------------------------------------- /qemu/hw/irq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/irq.c -------------------------------------------------------------------------------- /qemu/hw/irq.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/irq.h -------------------------------------------------------------------------------- /qemu/hw/isa-bus.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/isa-bus.c -------------------------------------------------------------------------------- /qemu/hw/isa.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/isa.h -------------------------------------------------------------------------------- /qemu/hw/isa_mmio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/isa_mmio.c -------------------------------------------------------------------------------- /qemu/hw/ivshmem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ivshmem.c -------------------------------------------------------------------------------- /qemu/hw/jazz_led.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/jazz_led.c -------------------------------------------------------------------------------- /qemu/hw/kvm/apic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/kvm/apic.c -------------------------------------------------------------------------------- /qemu/hw/kvm/clock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/kvm/clock.c -------------------------------------------------------------------------------- /qemu/hw/kvm/clock.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/kvm/clock.h -------------------------------------------------------------------------------- /qemu/hw/kvm/i8254.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/kvm/i8254.c -------------------------------------------------------------------------------- /qemu/hw/kvm/i8259.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/kvm/i8259.c -------------------------------------------------------------------------------- /qemu/hw/kvm/ioapic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/kvm/ioapic.c -------------------------------------------------------------------------------- /qemu/hw/kvmvapic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/kvmvapic.c -------------------------------------------------------------------------------- /qemu/hw/lan9118.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/lan9118.c -------------------------------------------------------------------------------- /qemu/hw/lance.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/lance.c -------------------------------------------------------------------------------- /qemu/hw/leon3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/leon3.c -------------------------------------------------------------------------------- /qemu/hw/lm32.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/lm32.h -------------------------------------------------------------------------------- /qemu/hw/lm32_juart.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/lm32_juart.c -------------------------------------------------------------------------------- /qemu/hw/lm32_juart.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/lm32_juart.h -------------------------------------------------------------------------------- /qemu/hw/lm32_pic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/lm32_pic.c -------------------------------------------------------------------------------- /qemu/hw/lm32_pic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/lm32_pic.h -------------------------------------------------------------------------------- /qemu/hw/lm32_sys.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/lm32_sys.c -------------------------------------------------------------------------------- /qemu/hw/lm32_timer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/lm32_timer.c -------------------------------------------------------------------------------- /qemu/hw/lm32_uart.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/lm32_uart.c -------------------------------------------------------------------------------- /qemu/hw/lm4549.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/lm4549.c -------------------------------------------------------------------------------- /qemu/hw/lm4549.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/lm4549.h -------------------------------------------------------------------------------- /qemu/hw/lm832x.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/lm832x.c -------------------------------------------------------------------------------- /qemu/hw/loader.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/loader.c -------------------------------------------------------------------------------- /qemu/hw/loader.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/loader.h -------------------------------------------------------------------------------- /qemu/hw/lsi53c895a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/lsi53c895a.c -------------------------------------------------------------------------------- /qemu/hw/m48t59.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/m48t59.c -------------------------------------------------------------------------------- /qemu/hw/mac_dbdma.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/mac_dbdma.c -------------------------------------------------------------------------------- /qemu/hw/mac_dbdma.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/mac_dbdma.h -------------------------------------------------------------------------------- /qemu/hw/mac_nvram.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/mac_nvram.c -------------------------------------------------------------------------------- /qemu/hw/macio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/macio.c -------------------------------------------------------------------------------- /qemu/hw/mainstone.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/mainstone.c -------------------------------------------------------------------------------- /qemu/hw/max111x.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/max111x.c -------------------------------------------------------------------------------- /qemu/hw/max7310.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/max7310.c -------------------------------------------------------------------------------- /qemu/hw/mcf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/mcf.h -------------------------------------------------------------------------------- /qemu/hw/mcf5206.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/mcf5206.c -------------------------------------------------------------------------------- /qemu/hw/mcf5208.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/mcf5208.c -------------------------------------------------------------------------------- /qemu/hw/mcf_fec.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/mcf_fec.c -------------------------------------------------------------------------------- /qemu/hw/mcf_intc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/mcf_intc.c -------------------------------------------------------------------------------- /qemu/hw/mcf_uart.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/mcf_uart.c -------------------------------------------------------------------------------- /qemu/hw/milkymist.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/milkymist.c -------------------------------------------------------------------------------- /qemu/hw/mips-bios.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/mips-bios.h -------------------------------------------------------------------------------- /qemu/hw/mips.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/mips.h -------------------------------------------------------------------------------- /qemu/hw/mips_addr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/mips_addr.c -------------------------------------------------------------------------------- /qemu/hw/mips_int.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/mips_int.c -------------------------------------------------------------------------------- /qemu/hw/mips_jazz.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/mips_jazz.c -------------------------------------------------------------------------------- /qemu/hw/mips_malta.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/mips_malta.c -------------------------------------------------------------------------------- /qemu/hw/mips_r4k.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/mips_r4k.c -------------------------------------------------------------------------------- /qemu/hw/mips_timer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/mips_timer.c -------------------------------------------------------------------------------- /qemu/hw/mipsnet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/mipsnet.c -------------------------------------------------------------------------------- /qemu/hw/msi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/msi.c -------------------------------------------------------------------------------- /qemu/hw/msi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/msi.h -------------------------------------------------------------------------------- /qemu/hw/msix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/msix.c -------------------------------------------------------------------------------- /qemu/hw/msix.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/msix.h -------------------------------------------------------------------------------- /qemu/hw/msmouse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/msmouse.c -------------------------------------------------------------------------------- /qemu/hw/msmouse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/msmouse.h -------------------------------------------------------------------------------- /qemu/hw/mst_fpga.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/mst_fpga.c -------------------------------------------------------------------------------- /qemu/hw/multiboot.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/multiboot.c -------------------------------------------------------------------------------- /qemu/hw/multiboot.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/multiboot.h -------------------------------------------------------------------------------- /qemu/hw/musicpal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/musicpal.c -------------------------------------------------------------------------------- /qemu/hw/nand.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/nand.c -------------------------------------------------------------------------------- /qemu/hw/ne2000-isa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ne2000-isa.c -------------------------------------------------------------------------------- /qemu/hw/ne2000.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ne2000.c -------------------------------------------------------------------------------- /qemu/hw/ne2000.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ne2000.h -------------------------------------------------------------------------------- /qemu/hw/nseries.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/nseries.c -------------------------------------------------------------------------------- /qemu/hw/nvram.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/nvram.h -------------------------------------------------------------------------------- /qemu/hw/omap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/omap.h -------------------------------------------------------------------------------- /qemu/hw/omap1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/omap1.c -------------------------------------------------------------------------------- /qemu/hw/omap2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/omap2.c -------------------------------------------------------------------------------- /qemu/hw/omap_clk.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/omap_clk.c -------------------------------------------------------------------------------- /qemu/hw/omap_dma.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/omap_dma.c -------------------------------------------------------------------------------- /qemu/hw/omap_dss.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/omap_dss.c -------------------------------------------------------------------------------- /qemu/hw/omap_gpio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/omap_gpio.c -------------------------------------------------------------------------------- /qemu/hw/omap_gpmc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/omap_gpmc.c -------------------------------------------------------------------------------- /qemu/hw/omap_i2c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/omap_i2c.c -------------------------------------------------------------------------------- /qemu/hw/omap_intc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/omap_intc.c -------------------------------------------------------------------------------- /qemu/hw/omap_l4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/omap_l4.c -------------------------------------------------------------------------------- /qemu/hw/omap_lcdc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/omap_lcdc.c -------------------------------------------------------------------------------- /qemu/hw/omap_mmc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/omap_mmc.c -------------------------------------------------------------------------------- /qemu/hw/omap_sdrc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/omap_sdrc.c -------------------------------------------------------------------------------- /qemu/hw/omap_spi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/omap_spi.c -------------------------------------------------------------------------------- /qemu/hw/omap_sx1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/omap_sx1.c -------------------------------------------------------------------------------- /qemu/hw/omap_tap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/omap_tap.c -------------------------------------------------------------------------------- /qemu/hw/omap_uart.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/omap_uart.c -------------------------------------------------------------------------------- /qemu/hw/onenand.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/onenand.c -------------------------------------------------------------------------------- /qemu/hw/openpic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/openpic.c -------------------------------------------------------------------------------- /qemu/hw/openpic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/openpic.h -------------------------------------------------------------------------------- /qemu/hw/palm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/palm.c -------------------------------------------------------------------------------- /qemu/hw/parallel.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/parallel.c -------------------------------------------------------------------------------- /qemu/hw/pc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pc.c -------------------------------------------------------------------------------- /qemu/hw/pc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pc.h -------------------------------------------------------------------------------- /qemu/hw/pc_piix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pc_piix.c -------------------------------------------------------------------------------- /qemu/hw/pc_sysfw.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pc_sysfw.c -------------------------------------------------------------------------------- /qemu/hw/pci-stub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pci-stub.c -------------------------------------------------------------------------------- /qemu/hw/pci.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pci.c -------------------------------------------------------------------------------- /qemu/hw/pci.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pci.h -------------------------------------------------------------------------------- /qemu/hw/pci_bridge.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pci_bridge.c -------------------------------------------------------------------------------- /qemu/hw/pci_bridge.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pci_bridge.h -------------------------------------------------------------------------------- /qemu/hw/pci_host.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pci_host.c -------------------------------------------------------------------------------- /qemu/hw/pci_host.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pci_host.h -------------------------------------------------------------------------------- /qemu/hw/pci_ids.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pci_ids.h -------------------------------------------------------------------------------- /qemu/hw/pci_regs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pci_regs.h -------------------------------------------------------------------------------- /qemu/hw/pcie.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pcie.c -------------------------------------------------------------------------------- /qemu/hw/pcie.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pcie.h -------------------------------------------------------------------------------- /qemu/hw/pcie_aer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pcie_aer.c -------------------------------------------------------------------------------- /qemu/hw/pcie_aer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pcie_aer.h -------------------------------------------------------------------------------- /qemu/hw/pcie_host.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pcie_host.c -------------------------------------------------------------------------------- /qemu/hw/pcie_host.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pcie_host.h -------------------------------------------------------------------------------- /qemu/hw/pcie_port.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pcie_port.c -------------------------------------------------------------------------------- /qemu/hw/pcie_port.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pcie_port.h -------------------------------------------------------------------------------- /qemu/hw/pcie_regs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pcie_regs.h -------------------------------------------------------------------------------- /qemu/hw/pckbd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pckbd.c -------------------------------------------------------------------------------- /qemu/hw/pcmcia.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pcmcia.h -------------------------------------------------------------------------------- /qemu/hw/pcnet-pci.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pcnet-pci.c -------------------------------------------------------------------------------- /qemu/hw/pcnet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pcnet.c -------------------------------------------------------------------------------- /qemu/hw/pcnet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pcnet.h -------------------------------------------------------------------------------- /qemu/hw/pcspk.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pcspk.c -------------------------------------------------------------------------------- /qemu/hw/pcspk.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pcspk.h -------------------------------------------------------------------------------- /qemu/hw/piix4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/piix4.c -------------------------------------------------------------------------------- /qemu/hw/piix_pci.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/piix_pci.c -------------------------------------------------------------------------------- /qemu/hw/pixel_ops.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pixel_ops.h -------------------------------------------------------------------------------- /qemu/hw/pl011.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pl011.c -------------------------------------------------------------------------------- /qemu/hw/pl022.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pl022.c -------------------------------------------------------------------------------- /qemu/hw/pl031.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pl031.c -------------------------------------------------------------------------------- /qemu/hw/pl041.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pl041.c -------------------------------------------------------------------------------- /qemu/hw/pl041.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pl041.h -------------------------------------------------------------------------------- /qemu/hw/pl041.hx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pl041.hx -------------------------------------------------------------------------------- /qemu/hw/pl050.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pl050.c -------------------------------------------------------------------------------- /qemu/hw/pl061.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pl061.c -------------------------------------------------------------------------------- /qemu/hw/pl080.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pl080.c -------------------------------------------------------------------------------- /qemu/hw/pl110.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pl110.c -------------------------------------------------------------------------------- /qemu/hw/pl181.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pl181.c -------------------------------------------------------------------------------- /qemu/hw/pl190.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pl190.c -------------------------------------------------------------------------------- /qemu/hw/pm_smbus.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pm_smbus.c -------------------------------------------------------------------------------- /qemu/hw/pm_smbus.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pm_smbus.h -------------------------------------------------------------------------------- /qemu/hw/ppc-viosrp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ppc-viosrp.h -------------------------------------------------------------------------------- /qemu/hw/ppc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ppc.c -------------------------------------------------------------------------------- /qemu/hw/ppc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ppc.h -------------------------------------------------------------------------------- /qemu/hw/ppc405.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ppc405.h -------------------------------------------------------------------------------- /qemu/hw/ppc405_uc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ppc405_uc.c -------------------------------------------------------------------------------- /qemu/hw/ppc4xx.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ppc4xx.h -------------------------------------------------------------------------------- /qemu/hw/ppc4xx_pci.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ppc4xx_pci.c -------------------------------------------------------------------------------- /qemu/hw/ppc_booke.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ppc_booke.c -------------------------------------------------------------------------------- /qemu/hw/ppc_mac.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ppc_mac.h -------------------------------------------------------------------------------- /qemu/hw/ppc_prep.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ppc_prep.c -------------------------------------------------------------------------------- /qemu/hw/prep_pci.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/prep_pci.c -------------------------------------------------------------------------------- /qemu/hw/primecell.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/primecell.h -------------------------------------------------------------------------------- /qemu/hw/ps2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ps2.c -------------------------------------------------------------------------------- /qemu/hw/ps2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ps2.h -------------------------------------------------------------------------------- /qemu/hw/ptimer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ptimer.c -------------------------------------------------------------------------------- /qemu/hw/ptimer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ptimer.h -------------------------------------------------------------------------------- /qemu/hw/pxa.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pxa.h -------------------------------------------------------------------------------- /qemu/hw/pxa2xx.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pxa2xx.c -------------------------------------------------------------------------------- /qemu/hw/pxa2xx_dma.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pxa2xx_dma.c -------------------------------------------------------------------------------- /qemu/hw/pxa2xx_lcd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pxa2xx_lcd.c -------------------------------------------------------------------------------- /qemu/hw/pxa2xx_pic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/pxa2xx_pic.c -------------------------------------------------------------------------------- /qemu/hw/qdev-addr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/qdev-addr.c -------------------------------------------------------------------------------- /qemu/hw/qdev-addr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/qdev-addr.h -------------------------------------------------------------------------------- /qemu/hw/qdev.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/qdev.c -------------------------------------------------------------------------------- /qemu/hw/qdev.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/qdev.h -------------------------------------------------------------------------------- /qemu/hw/qxl-logger.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/qxl-logger.c -------------------------------------------------------------------------------- /qemu/hw/qxl-render.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/qxl-render.c -------------------------------------------------------------------------------- /qemu/hw/qxl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/qxl.c -------------------------------------------------------------------------------- /qemu/hw/qxl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/qxl.h -------------------------------------------------------------------------------- /qemu/hw/r2d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/r2d.c -------------------------------------------------------------------------------- /qemu/hw/rc4030.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/rc4030.c -------------------------------------------------------------------------------- /qemu/hw/realview.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/realview.c -------------------------------------------------------------------------------- /qemu/hw/rtl8139.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/rtl8139.c -------------------------------------------------------------------------------- /qemu/hw/sb16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/sb16.c -------------------------------------------------------------------------------- /qemu/hw/sbi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/sbi.c -------------------------------------------------------------------------------- /qemu/hw/scsi-bus.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/scsi-bus.c -------------------------------------------------------------------------------- /qemu/hw/scsi-defs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/scsi-defs.h -------------------------------------------------------------------------------- /qemu/hw/scsi-disk.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/scsi-disk.c -------------------------------------------------------------------------------- /qemu/hw/scsi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/scsi.h -------------------------------------------------------------------------------- /qemu/hw/sd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/sd.c -------------------------------------------------------------------------------- /qemu/hw/sd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/sd.h -------------------------------------------------------------------------------- /qemu/hw/serial.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/serial.c -------------------------------------------------------------------------------- /qemu/hw/sga.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/sga.c -------------------------------------------------------------------------------- /qemu/hw/sh.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/sh.h -------------------------------------------------------------------------------- /qemu/hw/sh7750.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/sh7750.c -------------------------------------------------------------------------------- /qemu/hw/sh_intc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/sh_intc.c -------------------------------------------------------------------------------- /qemu/hw/sh_intc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/sh_intc.h -------------------------------------------------------------------------------- /qemu/hw/sh_pci.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/sh_pci.c -------------------------------------------------------------------------------- /qemu/hw/sh_serial.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/sh_serial.c -------------------------------------------------------------------------------- /qemu/hw/sh_timer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/sh_timer.c -------------------------------------------------------------------------------- /qemu/hw/sharpsl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/sharpsl.h -------------------------------------------------------------------------------- /qemu/hw/shix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/shix.c -------------------------------------------------------------------------------- /qemu/hw/sm501.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/sm501.c -------------------------------------------------------------------------------- /qemu/hw/smbios.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/smbios.c -------------------------------------------------------------------------------- /qemu/hw/smbios.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/smbios.h -------------------------------------------------------------------------------- /qemu/hw/smbus.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/smbus.c -------------------------------------------------------------------------------- /qemu/hw/smbus.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/smbus.h -------------------------------------------------------------------------------- /qemu/hw/smc91c111.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/smc91c111.c -------------------------------------------------------------------------------- /qemu/hw/soc_dma.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/soc_dma.c -------------------------------------------------------------------------------- /qemu/hw/soc_dma.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/soc_dma.h -------------------------------------------------------------------------------- /qemu/hw/spapr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/spapr.c -------------------------------------------------------------------------------- /qemu/hw/spapr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/spapr.h -------------------------------------------------------------------------------- /qemu/hw/spapr_llan.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/spapr_llan.c -------------------------------------------------------------------------------- /qemu/hw/spapr_pci.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/spapr_pci.c -------------------------------------------------------------------------------- /qemu/hw/spapr_pci.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/spapr_pci.h -------------------------------------------------------------------------------- /qemu/hw/spapr_rtas.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/spapr_rtas.c -------------------------------------------------------------------------------- /qemu/hw/spapr_vio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/spapr_vio.c -------------------------------------------------------------------------------- /qemu/hw/spapr_vio.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/spapr_vio.h -------------------------------------------------------------------------------- /qemu/hw/spapr_vty.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/spapr_vty.c -------------------------------------------------------------------------------- /qemu/hw/spitz.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/spitz.c -------------------------------------------------------------------------------- /qemu/hw/srp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/srp.h -------------------------------------------------------------------------------- /qemu/hw/ssd0303.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ssd0303.c -------------------------------------------------------------------------------- /qemu/hw/ssd0323.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ssd0323.c -------------------------------------------------------------------------------- /qemu/hw/ssi-sd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ssi-sd.c -------------------------------------------------------------------------------- /qemu/hw/ssi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ssi.c -------------------------------------------------------------------------------- /qemu/hw/ssi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/ssi.h -------------------------------------------------------------------------------- /qemu/hw/stellaris.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/stellaris.c -------------------------------------------------------------------------------- /qemu/hw/strongarm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/strongarm.c -------------------------------------------------------------------------------- /qemu/hw/strongarm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/strongarm.h -------------------------------------------------------------------------------- /qemu/hw/sun4m.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/sun4m.c -------------------------------------------------------------------------------- /qemu/hw/sun4m.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/sun4m.h -------------------------------------------------------------------------------- /qemu/hw/sun4u.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/sun4u.c -------------------------------------------------------------------------------- /qemu/hw/sysbus.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/sysbus.c -------------------------------------------------------------------------------- /qemu/hw/sysbus.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/sysbus.h -------------------------------------------------------------------------------- /qemu/hw/tc58128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/tc58128.c -------------------------------------------------------------------------------- /qemu/hw/tc6393xb.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/tc6393xb.c -------------------------------------------------------------------------------- /qemu/hw/tcx.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/tcx.c -------------------------------------------------------------------------------- /qemu/hw/tmp105.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/tmp105.c -------------------------------------------------------------------------------- /qemu/hw/tosa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/tosa.c -------------------------------------------------------------------------------- /qemu/hw/tsc2005.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/tsc2005.c -------------------------------------------------------------------------------- /qemu/hw/tsc210x.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/tsc210x.c -------------------------------------------------------------------------------- /qemu/hw/tusb6010.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/tusb6010.c -------------------------------------------------------------------------------- /qemu/hw/twl92230.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/twl92230.c -------------------------------------------------------------------------------- /qemu/hw/unin_pci.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/unin_pci.c -------------------------------------------------------------------------------- /qemu/hw/usb.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/usb.h -------------------------------------------------------------------------------- /qemu/hw/usb/bus.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/usb/bus.c -------------------------------------------------------------------------------- /qemu/hw/usb/core.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/usb/core.c -------------------------------------------------------------------------------- /qemu/hw/usb/desc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/usb/desc.c -------------------------------------------------------------------------------- /qemu/hw/usb/desc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/usb/desc.h -------------------------------------------------------------------------------- /qemu/hw/usb/libhw.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/usb/libhw.c -------------------------------------------------------------------------------- /qemu/hw/vexpress.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/vexpress.c -------------------------------------------------------------------------------- /qemu/hw/vga-isa-mm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/vga-isa-mm.c -------------------------------------------------------------------------------- /qemu/hw/vga-isa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/vga-isa.c -------------------------------------------------------------------------------- /qemu/hw/vga-pci.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/vga-pci.c -------------------------------------------------------------------------------- /qemu/hw/vga.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/vga.c -------------------------------------------------------------------------------- /qemu/hw/vga.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/vga.h -------------------------------------------------------------------------------- /qemu/hw/vga_int.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/vga_int.h -------------------------------------------------------------------------------- /qemu/hw/vhost.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/vhost.c -------------------------------------------------------------------------------- /qemu/hw/vhost.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/vhost.h -------------------------------------------------------------------------------- /qemu/hw/vhost_net.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/vhost_net.c -------------------------------------------------------------------------------- /qemu/hw/vhost_net.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/vhost_net.h -------------------------------------------------------------------------------- /qemu/hw/virtio-blk.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/virtio-blk.c -------------------------------------------------------------------------------- /qemu/hw/virtio-blk.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/virtio-blk.h -------------------------------------------------------------------------------- /qemu/hw/virtio-net.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/virtio-net.c -------------------------------------------------------------------------------- /qemu/hw/virtio-net.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/virtio-net.h -------------------------------------------------------------------------------- /qemu/hw/virtio-pci.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/virtio-pci.c -------------------------------------------------------------------------------- /qemu/hw/virtio-pci.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/virtio-pci.h -------------------------------------------------------------------------------- /qemu/hw/virtio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/virtio.c -------------------------------------------------------------------------------- /qemu/hw/virtio.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/virtio.h -------------------------------------------------------------------------------- /qemu/hw/vmmouse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/vmmouse.c -------------------------------------------------------------------------------- /qemu/hw/vmport.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/vmport.c -------------------------------------------------------------------------------- /qemu/hw/vmware_vga.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/vmware_vga.c -------------------------------------------------------------------------------- /qemu/hw/vmware_vga.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/vmware_vga.h -------------------------------------------------------------------------------- /qemu/hw/vt82c686.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/vt82c686.c -------------------------------------------------------------------------------- /qemu/hw/vt82c686.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/vt82c686.h -------------------------------------------------------------------------------- /qemu/hw/watchdog.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/watchdog.c -------------------------------------------------------------------------------- /qemu/hw/watchdog.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/watchdog.h -------------------------------------------------------------------------------- /qemu/hw/wdt_ib700.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/wdt_ib700.c -------------------------------------------------------------------------------- /qemu/hw/wm8750.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/wm8750.c -------------------------------------------------------------------------------- /qemu/hw/xen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/xen.h -------------------------------------------------------------------------------- /qemu/hw/xen_blkif.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/xen_blkif.h -------------------------------------------------------------------------------- /qemu/hw/xen_common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/xen_common.h -------------------------------------------------------------------------------- /qemu/hw/xen_disk.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/xen_disk.c -------------------------------------------------------------------------------- /qemu/hw/xen_nic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/xen_nic.c -------------------------------------------------------------------------------- /qemu/hw/xenfb.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/xenfb.c -------------------------------------------------------------------------------- /qemu/hw/xgmac.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/xgmac.c -------------------------------------------------------------------------------- /qemu/hw/xics.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/xics.c -------------------------------------------------------------------------------- /qemu/hw/xics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/xics.h -------------------------------------------------------------------------------- /qemu/hw/xilinx.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/xilinx.h -------------------------------------------------------------------------------- /qemu/hw/xtensa_pic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/xtensa_pic.c -------------------------------------------------------------------------------- /qemu/hw/xtensa_sim.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/xtensa_sim.c -------------------------------------------------------------------------------- /qemu/hw/z2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/z2.c -------------------------------------------------------------------------------- /qemu/hw/zaurus.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/zaurus.c -------------------------------------------------------------------------------- /qemu/hw/zynq_slcr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/hw/zynq_slcr.c -------------------------------------------------------------------------------- /qemu/i386-dis.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/i386-dis.c -------------------------------------------------------------------------------- /qemu/i386.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/i386.ld -------------------------------------------------------------------------------- /qemu/ia64-dis.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ia64-dis.c -------------------------------------------------------------------------------- /qemu/ia64.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ia64.ld -------------------------------------------------------------------------------- /qemu/input.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/input.c -------------------------------------------------------------------------------- /qemu/int128.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/int128.h -------------------------------------------------------------------------------- /qemu/iohandler.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/iohandler.c -------------------------------------------------------------------------------- /qemu/ioport-user.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ioport-user.c -------------------------------------------------------------------------------- /qemu/ioport.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ioport.c -------------------------------------------------------------------------------- /qemu/ioport.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ioport.h -------------------------------------------------------------------------------- /qemu/iorange.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/iorange.h -------------------------------------------------------------------------------- /qemu/iov.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/iov.c -------------------------------------------------------------------------------- /qemu/iov.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/iov.h -------------------------------------------------------------------------------- /qemu/json-lexer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/json-lexer.c -------------------------------------------------------------------------------- /qemu/json-lexer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/json-lexer.h -------------------------------------------------------------------------------- /qemu/json-parser.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/json-parser.c -------------------------------------------------------------------------------- /qemu/json-parser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/json-parser.h -------------------------------------------------------------------------------- /qemu/json-streamer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/json-streamer.c -------------------------------------------------------------------------------- /qemu/json-streamer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/json-streamer.h -------------------------------------------------------------------------------- /qemu/kvm-all.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/kvm-all.c -------------------------------------------------------------------------------- /qemu/kvm-stub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/kvm-stub.c -------------------------------------------------------------------------------- /qemu/kvm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/kvm.h -------------------------------------------------------------------------------- /qemu/libcacard/cac.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/libcacard/cac.c -------------------------------------------------------------------------------- /qemu/libcacard/cac.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/libcacard/cac.h -------------------------------------------------------------------------------- /qemu/libfdt_env.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/libfdt_env.h -------------------------------------------------------------------------------- /qemu/linux-aio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/linux-aio.c -------------------------------------------------------------------------------- /qemu/llvm-lib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/llvm-lib.h -------------------------------------------------------------------------------- /qemu/lm32-dis.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/lm32-dis.c -------------------------------------------------------------------------------- /qemu/m68k-dis.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/m68k-dis.c -------------------------------------------------------------------------------- /qemu/m68k-semi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/m68k-semi.c -------------------------------------------------------------------------------- /qemu/m68k.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/m68k.ld -------------------------------------------------------------------------------- /qemu/main-loop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/main-loop.c -------------------------------------------------------------------------------- /qemu/main-loop.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/main-loop.h -------------------------------------------------------------------------------- /qemu/memory.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/memory.c -------------------------------------------------------------------------------- /qemu/memory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/memory.h -------------------------------------------------------------------------------- /qemu/migration-fd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/migration-fd.c -------------------------------------------------------------------------------- /qemu/migration-tcp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/migration-tcp.c -------------------------------------------------------------------------------- /qemu/migration.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/migration.c -------------------------------------------------------------------------------- /qemu/migration.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/migration.h -------------------------------------------------------------------------------- /qemu/mips-dis.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/mips-dis.c -------------------------------------------------------------------------------- /qemu/mips.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/mips.ld -------------------------------------------------------------------------------- /qemu/module.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/module.c -------------------------------------------------------------------------------- /qemu/module.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/module.h -------------------------------------------------------------------------------- /qemu/monitor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/monitor.c -------------------------------------------------------------------------------- /qemu/monitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/monitor.h -------------------------------------------------------------------------------- /qemu/nbd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/nbd.c -------------------------------------------------------------------------------- /qemu/nbd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/nbd.h -------------------------------------------------------------------------------- /qemu/net.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net.c -------------------------------------------------------------------------------- /qemu/net.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net.h -------------------------------------------------------------------------------- /qemu/net/checksum.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net/checksum.c -------------------------------------------------------------------------------- /qemu/net/checksum.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net/checksum.h -------------------------------------------------------------------------------- /qemu/net/dump.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net/dump.c -------------------------------------------------------------------------------- /qemu/net/dump.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net/dump.h -------------------------------------------------------------------------------- /qemu/net/queue.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net/queue.c -------------------------------------------------------------------------------- /qemu/net/queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net/queue.h -------------------------------------------------------------------------------- /qemu/net/slirp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net/slirp.c -------------------------------------------------------------------------------- /qemu/net/slirp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net/slirp.h -------------------------------------------------------------------------------- /qemu/net/socket.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net/socket.c -------------------------------------------------------------------------------- /qemu/net/socket.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net/socket.h -------------------------------------------------------------------------------- /qemu/net/tap-aix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net/tap-aix.c -------------------------------------------------------------------------------- /qemu/net/tap-bsd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net/tap-bsd.c -------------------------------------------------------------------------------- /qemu/net/tap-haiku.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net/tap-haiku.c -------------------------------------------------------------------------------- /qemu/net/tap-linux.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net/tap-linux.c -------------------------------------------------------------------------------- /qemu/net/tap-linux.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net/tap-linux.h -------------------------------------------------------------------------------- /qemu/net/tap-win32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net/tap-win32.c -------------------------------------------------------------------------------- /qemu/net/tap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net/tap.c -------------------------------------------------------------------------------- /qemu/net/tap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net/tap.h -------------------------------------------------------------------------------- /qemu/net/util.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net/util.c -------------------------------------------------------------------------------- /qemu/net/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net/util.h -------------------------------------------------------------------------------- /qemu/net/vde.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net/vde.c -------------------------------------------------------------------------------- /qemu/net/vde.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/net/vde.h -------------------------------------------------------------------------------- /qemu/notify.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/notify.c -------------------------------------------------------------------------------- /qemu/notify.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/notify.h -------------------------------------------------------------------------------- /qemu/os-posix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/os-posix.c -------------------------------------------------------------------------------- /qemu/os-win32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/os-win32.c -------------------------------------------------------------------------------- /qemu/osdep.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/osdep.c -------------------------------------------------------------------------------- /qemu/osdep.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/osdep.h -------------------------------------------------------------------------------- /qemu/oslib-posix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/oslib-posix.c -------------------------------------------------------------------------------- /qemu/oslib-win32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/oslib-win32.c -------------------------------------------------------------------------------- /qemu/path.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/path.c -------------------------------------------------------------------------------- /qemu/pc-bios/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/pc-bios/README -------------------------------------------------------------------------------- /qemu/pc-bios/keymaps/nl-be: -------------------------------------------------------------------------------- 1 | # Dutch (Belgium) 2 | map 0x813 3 | include common 4 | -------------------------------------------------------------------------------- /qemu/pci-ids.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/pci-ids.txt -------------------------------------------------------------------------------- /qemu/pflib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/pflib.c -------------------------------------------------------------------------------- /qemu/pflib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/pflib.h -------------------------------------------------------------------------------- /qemu/poison.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/poison.h -------------------------------------------------------------------------------- /qemu/ppc-dis.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ppc-dis.c -------------------------------------------------------------------------------- /qemu/ppc.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ppc.ld -------------------------------------------------------------------------------- /qemu/ppc64.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ppc64.ld -------------------------------------------------------------------------------- /qemu/qapi/qmp-core.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qapi/qmp-core.h -------------------------------------------------------------------------------- /qemu/qbool.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qbool.c -------------------------------------------------------------------------------- /qemu/qbool.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qbool.h -------------------------------------------------------------------------------- /qemu/qdict.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qdict.c -------------------------------------------------------------------------------- /qemu/qdict.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qdict.h -------------------------------------------------------------------------------- /qemu/qemu-aio.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-aio.h -------------------------------------------------------------------------------- /qemu/qemu-barrier.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-barrier.h -------------------------------------------------------------------------------- /qemu/qemu-char.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-char.c -------------------------------------------------------------------------------- /qemu/qemu-char.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-char.h -------------------------------------------------------------------------------- /qemu/qemu-common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-common.h -------------------------------------------------------------------------------- /qemu/qemu-config.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-config.c -------------------------------------------------------------------------------- /qemu/qemu-config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-config.h -------------------------------------------------------------------------------- /qemu/qemu-doc.texi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-doc.texi -------------------------------------------------------------------------------- /qemu/qemu-error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-error.c -------------------------------------------------------------------------------- /qemu/qemu-error.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-error.h -------------------------------------------------------------------------------- /qemu/qemu-file.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-file.h -------------------------------------------------------------------------------- /qemu/qemu-ga.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-ga.c -------------------------------------------------------------------------------- /qemu/qemu-img.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-img.c -------------------------------------------------------------------------------- /qemu/qemu-img.texi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-img.texi -------------------------------------------------------------------------------- /qemu/qemu-io.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-io.c -------------------------------------------------------------------------------- /qemu/qemu-lock.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-lock.h -------------------------------------------------------------------------------- /qemu/qemu-log.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-log.h -------------------------------------------------------------------------------- /qemu/qemu-nbd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-nbd.c -------------------------------------------------------------------------------- /qemu/qemu-nbd.texi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-nbd.texi -------------------------------------------------------------------------------- /qemu/qemu-objects.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-objects.h -------------------------------------------------------------------------------- /qemu/qemu-option.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-option.c -------------------------------------------------------------------------------- /qemu/qemu-option.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-option.h -------------------------------------------------------------------------------- /qemu/qemu-options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-options.h -------------------------------------------------------------------------------- /qemu/qemu-options.hx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-options.hx -------------------------------------------------------------------------------- /qemu/qemu-os-posix.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-os-posix.h -------------------------------------------------------------------------------- /qemu/qemu-os-win32.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-os-win32.h -------------------------------------------------------------------------------- /qemu/qemu-progress.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-progress.c -------------------------------------------------------------------------------- /qemu/qemu-queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-queue.h -------------------------------------------------------------------------------- /qemu/qemu-sockets.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-sockets.c -------------------------------------------------------------------------------- /qemu/qemu-tech.texi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-tech.texi -------------------------------------------------------------------------------- /qemu/qemu-thread.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-thread.h -------------------------------------------------------------------------------- /qemu/qemu-timer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-timer.c -------------------------------------------------------------------------------- /qemu/qemu-timer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-timer.h -------------------------------------------------------------------------------- /qemu/qemu-tls.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-tls.h -------------------------------------------------------------------------------- /qemu/qemu-tool.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-tool.c -------------------------------------------------------------------------------- /qemu/qemu-user.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-user.c -------------------------------------------------------------------------------- /qemu/qemu-x509.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-x509.h -------------------------------------------------------------------------------- /qemu/qemu-xattr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu-xattr.h -------------------------------------------------------------------------------- /qemu/qemu.sasl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu.sasl -------------------------------------------------------------------------------- /qemu/qemu_socket.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qemu_socket.h -------------------------------------------------------------------------------- /qemu/qerror.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qerror.c -------------------------------------------------------------------------------- /qemu/qerror.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qerror.h -------------------------------------------------------------------------------- /qemu/qfloat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qfloat.c -------------------------------------------------------------------------------- /qemu/qfloat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qfloat.h -------------------------------------------------------------------------------- /qemu/qga/channel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qga/channel.h -------------------------------------------------------------------------------- /qemu/qga/commands.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qga/commands.c -------------------------------------------------------------------------------- /qemu/qint.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qint.c -------------------------------------------------------------------------------- /qemu/qint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qint.h -------------------------------------------------------------------------------- /qemu/qjson.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qjson.c -------------------------------------------------------------------------------- /qemu/qjson.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qjson.h -------------------------------------------------------------------------------- /qemu/qlist.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qlist.c -------------------------------------------------------------------------------- /qemu/qlist.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qlist.h -------------------------------------------------------------------------------- /qemu/qmp-commands.hx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qmp-commands.hx -------------------------------------------------------------------------------- /qemu/qmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qmp.c -------------------------------------------------------------------------------- /qemu/qobject.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qobject.h -------------------------------------------------------------------------------- /qemu/qom/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qom/Makefile -------------------------------------------------------------------------------- /qemu/qom/container.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qom/container.c -------------------------------------------------------------------------------- /qemu/qom/cpu.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qom/cpu.c -------------------------------------------------------------------------------- /qemu/qom/object.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qom/object.c -------------------------------------------------------------------------------- /qemu/qstring.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qstring.c -------------------------------------------------------------------------------- /qemu/qstring.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qstring.h -------------------------------------------------------------------------------- /qemu/qtest.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qtest.c -------------------------------------------------------------------------------- /qemu/qtest.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/qtest.h -------------------------------------------------------------------------------- /qemu/range.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/range.h -------------------------------------------------------------------------------- /qemu/readline.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/readline.c -------------------------------------------------------------------------------- /qemu/readline.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/readline.h -------------------------------------------------------------------------------- /qemu/roms/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/roms/Makefile -------------------------------------------------------------------------------- /qemu/roms/config.seabios: -------------------------------------------------------------------------------- 1 | # empty, default config works for us 2 | -------------------------------------------------------------------------------- /qemu/rules.mak: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/rules.mak -------------------------------------------------------------------------------- /qemu/s2e/Plugin.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/s2e/Plugin.cpp -------------------------------------------------------------------------------- /qemu/s2e/Plugin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/s2e/Plugin.h -------------------------------------------------------------------------------- /qemu/s2e/S2E.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/s2e/S2E.cpp -------------------------------------------------------------------------------- /qemu/s2e/S2E.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/s2e/S2E.h -------------------------------------------------------------------------------- /qemu/s2e/S2ESJLJ.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/s2e/S2ESJLJ.h -------------------------------------------------------------------------------- /qemu/s2e/Slab.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/s2e/Slab.cpp -------------------------------------------------------------------------------- /qemu/s2e/Slab.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/s2e/Slab.h -------------------------------------------------------------------------------- /qemu/s2e/Utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/s2e/Utils.h -------------------------------------------------------------------------------- /qemu/s2e/machine.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/s2e/machine.h -------------------------------------------------------------------------------- /qemu/s2e/s2e_block.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/s2e/s2e_block.h -------------------------------------------------------------------------------- /qemu/s2e/s2e_qemu.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/s2e/s2e_qemu.h -------------------------------------------------------------------------------- /qemu/s2e/x64.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/s2e/x64.asm -------------------------------------------------------------------------------- /qemu/s390-dis.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/s390-dis.c -------------------------------------------------------------------------------- /qemu/s390.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/s390.ld -------------------------------------------------------------------------------- /qemu/savevm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/savevm.c -------------------------------------------------------------------------------- /qemu/scripts/hxtool: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/scripts/hxtool -------------------------------------------------------------------------------- /qemu/scripts/qapi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/scripts/qapi.py -------------------------------------------------------------------------------- /qemu/scripts/qtest: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | export QTEST_QEMU_BINARY=$1 4 | shift 5 | "$@" 6 | -------------------------------------------------------------------------------- /qemu/sh4-dis.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/sh4-dis.c -------------------------------------------------------------------------------- /qemu/slirp/COPYRIGHT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/COPYRIGHT -------------------------------------------------------------------------------- /qemu/slirp/bootp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/bootp.c -------------------------------------------------------------------------------- /qemu/slirp/bootp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/bootp.h -------------------------------------------------------------------------------- /qemu/slirp/cksum.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/cksum.c -------------------------------------------------------------------------------- /qemu/slirp/debug.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/debug.h -------------------------------------------------------------------------------- /qemu/slirp/if.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/if.c -------------------------------------------------------------------------------- /qemu/slirp/if.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/if.h -------------------------------------------------------------------------------- /qemu/slirp/ip.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/ip.h -------------------------------------------------------------------------------- /qemu/slirp/ip_icmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/ip_icmp.c -------------------------------------------------------------------------------- /qemu/slirp/ip_icmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/ip_icmp.h -------------------------------------------------------------------------------- /qemu/slirp/main.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/main.h -------------------------------------------------------------------------------- /qemu/slirp/mbuf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/mbuf.c -------------------------------------------------------------------------------- /qemu/slirp/mbuf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/mbuf.h -------------------------------------------------------------------------------- /qemu/slirp/misc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/misc.c -------------------------------------------------------------------------------- /qemu/slirp/misc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/misc.h -------------------------------------------------------------------------------- /qemu/slirp/sbuf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/sbuf.c -------------------------------------------------------------------------------- /qemu/slirp/sbuf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/sbuf.h -------------------------------------------------------------------------------- /qemu/slirp/slirp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/slirp.c -------------------------------------------------------------------------------- /qemu/slirp/slirp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/slirp.h -------------------------------------------------------------------------------- /qemu/slirp/socket.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/socket.c -------------------------------------------------------------------------------- /qemu/slirp/socket.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/socket.h -------------------------------------------------------------------------------- /qemu/slirp/tcp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/tcp.h -------------------------------------------------------------------------------- /qemu/slirp/tcp_var.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/tcp_var.h -------------------------------------------------------------------------------- /qemu/slirp/tcpip.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/tcpip.h -------------------------------------------------------------------------------- /qemu/slirp/tftp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/tftp.c -------------------------------------------------------------------------------- /qemu/slirp/tftp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/tftp.h -------------------------------------------------------------------------------- /qemu/slirp/udp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/udp.c -------------------------------------------------------------------------------- /qemu/slirp/udp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/slirp/udp.h -------------------------------------------------------------------------------- /qemu/softmmu-semi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/softmmu-semi.h -------------------------------------------------------------------------------- /qemu/softmmu_defs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/softmmu_defs.h -------------------------------------------------------------------------------- /qemu/softmmu_exec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/softmmu_exec.h -------------------------------------------------------------------------------- /qemu/sparc-dis.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/sparc-dis.c -------------------------------------------------------------------------------- /qemu/sparc.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/sparc.ld -------------------------------------------------------------------------------- /qemu/sparc64.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/sparc64.ld -------------------------------------------------------------------------------- /qemu/sysemu.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/sysemu.h -------------------------------------------------------------------------------- /qemu/target-m68k/machine.c: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /qemu/target-sh4/machine.c: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /qemu/targphys.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/targphys.h -------------------------------------------------------------------------------- /qemu/tcg-runtime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/tcg-runtime.c -------------------------------------------------------------------------------- /qemu/tcg/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/tcg/LICENSE -------------------------------------------------------------------------------- /qemu/tcg/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/tcg/README -------------------------------------------------------------------------------- /qemu/tcg/TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/tcg/TODO -------------------------------------------------------------------------------- /qemu/tcg/optimize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/tcg/optimize.c -------------------------------------------------------------------------------- /qemu/tcg/tcg-llvm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/tcg/tcg-llvm.h -------------------------------------------------------------------------------- /qemu/tcg/tcg-op.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/tcg/tcg-op.h -------------------------------------------------------------------------------- /qemu/tcg/tcg-opc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/tcg/tcg-opc.h -------------------------------------------------------------------------------- /qemu/tcg/tcg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/tcg/tcg.c -------------------------------------------------------------------------------- /qemu/tcg/tcg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/tcg/tcg.h -------------------------------------------------------------------------------- /qemu/tcg/tci/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/tcg/tci/README -------------------------------------------------------------------------------- /qemu/tci-dis.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/tci-dis.c -------------------------------------------------------------------------------- /qemu/tci.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/tci.c -------------------------------------------------------------------------------- /qemu/tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/tests/Makefile -------------------------------------------------------------------------------- /qemu/thunk.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/thunk.c -------------------------------------------------------------------------------- /qemu/thunk.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/thunk.h -------------------------------------------------------------------------------- /qemu/trace-events: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/trace-events -------------------------------------------------------------------------------- /qemu/trace/control.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/trace/control.c -------------------------------------------------------------------------------- /qemu/trace/control.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/trace/control.h -------------------------------------------------------------------------------- /qemu/trace/default.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/trace/default.c -------------------------------------------------------------------------------- /qemu/trace/simple.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/trace/simple.c -------------------------------------------------------------------------------- /qemu/trace/simple.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/trace/simple.h -------------------------------------------------------------------------------- /qemu/trace/stderr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/trace/stderr.c -------------------------------------------------------------------------------- /qemu/trace/stderr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/trace/stderr.h -------------------------------------------------------------------------------- /qemu/translate-all.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/translate-all.c -------------------------------------------------------------------------------- /qemu/uboot_image.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/uboot_image.h -------------------------------------------------------------------------------- /qemu/ui/cocoa.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ui/cocoa.m -------------------------------------------------------------------------------- /qemu/ui/curses.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ui/curses.c -------------------------------------------------------------------------------- /qemu/ui/d3des.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ui/d3des.c -------------------------------------------------------------------------------- /qemu/ui/d3des.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ui/d3des.h -------------------------------------------------------------------------------- /qemu/ui/keymaps.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ui/keymaps.c -------------------------------------------------------------------------------- /qemu/ui/keymaps.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ui/keymaps.h -------------------------------------------------------------------------------- /qemu/ui/qemu-spice.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ui/qemu-spice.h -------------------------------------------------------------------------------- /qemu/ui/sdl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ui/sdl.c -------------------------------------------------------------------------------- /qemu/ui/sdl_keysym.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ui/sdl_keysym.h -------------------------------------------------------------------------------- /qemu/ui/sdl_zoom.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ui/sdl_zoom.c -------------------------------------------------------------------------------- /qemu/ui/sdl_zoom.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ui/sdl_zoom.h -------------------------------------------------------------------------------- /qemu/ui/spice-core.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ui/spice-core.c -------------------------------------------------------------------------------- /qemu/ui/vnc-jobs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ui/vnc-jobs.h -------------------------------------------------------------------------------- /qemu/ui/vnc-tls.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ui/vnc-tls.c -------------------------------------------------------------------------------- /qemu/ui/vnc-tls.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ui/vnc-tls.h -------------------------------------------------------------------------------- /qemu/ui/vnc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ui/vnc.c -------------------------------------------------------------------------------- /qemu/ui/vnc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ui/vnc.h -------------------------------------------------------------------------------- /qemu/ui/vnc_keysym.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ui/vnc_keysym.h -------------------------------------------------------------------------------- /qemu/ui/x_keymap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ui/x_keymap.c -------------------------------------------------------------------------------- /qemu/ui/x_keymap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/ui/x_keymap.h -------------------------------------------------------------------------------- /qemu/user-exec.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/user-exec.c -------------------------------------------------------------------------------- /qemu/version.rc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/version.rc -------------------------------------------------------------------------------- /qemu/vgafont.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/vgafont.h -------------------------------------------------------------------------------- /qemu/vl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/vl.c -------------------------------------------------------------------------------- /qemu/vmstate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/vmstate.h -------------------------------------------------------------------------------- /qemu/x86_64.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/x86_64.ld -------------------------------------------------------------------------------- /qemu/xen-all.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/xen-all.c -------------------------------------------------------------------------------- /qemu/xen-mapcache.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/xen-mapcache.c -------------------------------------------------------------------------------- /qemu/xen-mapcache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/xen-mapcache.h -------------------------------------------------------------------------------- /qemu/xen-stub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/xen-stub.c -------------------------------------------------------------------------------- /qemu/xtensa-semi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/qemu/xtensa-semi.c -------------------------------------------------------------------------------- /s2e.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/s2e.config -------------------------------------------------------------------------------- /s2e.creator: -------------------------------------------------------------------------------- 1 | [General] 2 | -------------------------------------------------------------------------------- /s2e.files: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/s2e.files -------------------------------------------------------------------------------- /s2e.includes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/s2e.includes -------------------------------------------------------------------------------- /stp/AUTHORS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/stp/AUTHORS -------------------------------------------------------------------------------- /stp/CODING_GUIDLINES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/stp/CODING_GUIDLINES -------------------------------------------------------------------------------- /stp/DOWNLOAD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/stp/DOWNLOAD -------------------------------------------------------------------------------- /stp/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/stp/INSTALL -------------------------------------------------------------------------------- /stp/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/stp/LICENSE -------------------------------------------------------------------------------- /stp/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/stp/README -------------------------------------------------------------------------------- /stp/clean-install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/stp/clean-install.sh -------------------------------------------------------------------------------- /stp/include/stp/c_interface.h: -------------------------------------------------------------------------------- 1 | ../../src/c_interface/c_interface.h -------------------------------------------------------------------------------- /stp/src/AST/AST.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/stp/src/AST/AST.h -------------------------------------------------------------------------------- /stp/src/AST/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/stp/src/AST/Makefile -------------------------------------------------------------------------------- /stp/src/parser/cvc.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/stp/src/parser/cvc.y -------------------------------------------------------------------------------- /stp/src/parser/smt.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/stp/src/parser/smt.y -------------------------------------------------------------------------------- /stp/src/sat/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/stp/src/sat/LICENSE -------------------------------------------------------------------------------- /stp/src/sat/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/stp/src/sat/Makefile -------------------------------------------------------------------------------- /stp/src/sat/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/stp/src/sat/README -------------------------------------------------------------------------------- /stp/tests/misc-tests/no-query.cvc: -------------------------------------------------------------------------------- 1 | ASSERT FALSE; -------------------------------------------------------------------------------- /stp/windows/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/stp/windows/README -------------------------------------------------------------------------------- /stp/windows/winports/msc99hdr/unistd.h: -------------------------------------------------------------------------------- 1 | /* this is a in-place holder 2 | 3 | */ 4 | -------------------------------------------------------------------------------- /tools/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/tools/Makefile -------------------------------------------------------------------------------- /tools/configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/tools/configure -------------------------------------------------------------------------------- /tools/lib/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/tools/lib/Makefile -------------------------------------------------------------------------------- /tools/tools/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-old/HEAD/tools/tools/Makefile -------------------------------------------------------------------------------- /tools/tools/s2etools-config/FinalLibDeps.txt: -------------------------------------------------------------------------------- 1 | executiontracer.a: 2 | --------------------------------------------------------------------------------