docs：S2E符号执行平台的文档和快速入门指南

[{"title":"（ 74 个子文件 3.06MB ） docs：S2E符号执行平台的文档和快速入门指南","children":[{"title":"docs-master","children":[{"title":"sphinx","children":[{"title":"build.sh <span style='color:#111;'> 948B </span>","children":null,"spread":false},{"title":"source_templates","children":[{"title":"conf.py <span style='color:#111;'> 9.31KB </span>","children":null,"spread":false}],"spread":true},{"title":"Makefile <span style='color:#111;'> 7.47KB </span>","children":null,"spread":false},{"title":".gitignore <span style='color:#111;'> 13B </span>","children":null,"spread":false}],"spread":true},{"title":"src","children":[{"title":"DebuggingS2E.rst <span style='color:#111;'> 3.81KB </span>","children":null,"spread":false},{"title":"Tools","children":[{"title":"TbPrinter.rst <span style='color:#111;'> 1.64KB </span>","children":null,"spread":false},{"title":"ForkProfiler.rst <span style='color:#111;'> 2.42KB </span>","children":null,"spread":false},{"title":"ExecutionProfiler.rst <span style='color:#111;'> 414B </span>","children":null,"spread":false}],"spread":true},{"title":"Profiling","children":[{"title":"ProfilingS2E.rst <span style='color:#111;'> 2.69KB </span>","children":null,"spread":false},{"title":"heaptrack.png <span style='color:#111;'> 454.05KB </span>","children":null,"spread":false},{"title":"hotspot1.png <span style='color:#111;'> 133.65KB </span>","children":null,"spread":false},{"title":"hotspot2.png <span style='color:#111;'> 272.35KB </span>","children":null,"spread":false}],"spread":true},{"title":"FAQ.rst <span style='color:#111;'> 8.38KB </span>","children":null,"spread":false},{"title":"BuildingS2E.rst <span style='color:#111;'> 4.60KB </span>","children":null,"spread":false},{"title":"Contribute.rst <span style='color:#111;'> 5.29KB </span>","children":null,"spread":false},{"title":"Tutorials","children":[{"title":"SystemTap","children":[{"title":"pcnet32.stp <span style='color:#111;'> 2.39KB </span>","children":null,"spread":false},{"title":"index.rst <span style='color:#111;'> 4.88KB </span>","children":null,"spread":false}],"spread":true},{"title":"BasicLinuxSymbex","children":[{"title":"s2e.so.rst <span style='color:#111;'> 7.90KB </span>","children":null,"spread":false},{"title":"SourceCode.rst <span style='color:#111;'> 7.83KB </span>","children":null,"spread":false}],"spread":true},{"title":"Revgen","children":[{"title":"cgc-binaries.svg <span style='color:#111;'> 435.13KB </span>","children":null,"spread":false},{"title":"cgc-binaries.stats <span style='color:#111;'> 15.72KB </span>","children":null,"spread":false},{"title":"Revgen.rst <span style='color:#111;'> 22.78KB </span>","children":null,"spread":false}],"spread":true},{"title":"WindowsDrivers","children":[{"title":"fi_cov2.png <span style='color:#111;'> 166.55KB </span>","children":null,"spread":false},{"title":"windbg.png <span style='color:#111;'> 74.08KB </span>","children":null,"spread":false},{"title":"fi_cov1.png <span style='color:#111;'> 43.56KB </span>","children":null,"spread":false},{"title":"cov1.png <span style='color:#111;'> 57.08KB </span>","children":null,"spread":false},{"title":"drvsettings.png <span style='color:#111;'> 28.93KB </span>","children":null,"spread":false},{"title":"FaultInjection.rst <span style='color:#111;'> 32.81KB </span>","children":null,"spread":false},{"title":"arch.png <span style='color:#111;'> 9.67KB </span>","children":null,"spread":false},{"title":"cov2.png <span style='color:#111;'> 116.17KB </span>","children":null,"spread":false}],"spread":true},{"title":"PoV","children":[{"title":"arch.odg <span style='color:#111;'> 18.10KB </span>","children":null,"spread":false},{"title":"cadet_00001_tui.png <span style='color:#111;'> 47.31KB </span>","children":null,"spread":false},{"title":"index.rst <span style='color:#111;'> 22.67KB </span>","children":null,"spread":false},{"title":"pov.rst <span style='color:#111;'> 29.08KB </span>","children":null,"spread":false},{"title":"arch.svg <span style='color:#111;'> 60.09KB </span>","children":null,"spread":false}],"spread":false},{"title":"WindowsDLL","children":[{"title":"ida_kernel32_beep_coverage.png <span style='color:#111;'> 64.86KB </span>","children":null,"spread":false},{"title":"index.rst <span style='color:#111;'> 2.54KB </span>","children":null,"spread":false}],"spread":false}],"spread":true},{"title":"Testsuite.rst <span style='color:#111;'> 6.21KB </span>","children":null,"spread":false},{"title":"Howtos","children":[{"title":"ExecutionTracers.rst <span style='color:#111;'> 7.20KB </span>","children":null,"spread":false},{"title":"Coverage","children":[{"title":"lcov-libc-sp1.png <span style='color:#111;'> 119.72KB </span>","children":null,"spread":false},{"title":"linux-cov.png <span style='color:#111;'> 179.96KB </span>","children":null,"spread":false},{"title":"ida_cat_coverage.png <span style='color:#111;'> 204.28KB </span>","children":null,"spread":false},{"title":"lcov-cat-sp1.png <span style='color:#111;'> 77.66KB </span>","children":null,"spread":false},{"title":"r2_cat_coverage.png <span style='color:#111;'> 224.69KB </span>","children":null,"spread":false},{"title":"lcov-cat-mp1.png <span style='color:#111;'> 86.00KB </span>","children":null,"spread":false},{"title":"index.rst <span style='color:#111;'> 23.57KB </span>","children":null,"spread":false},{"title":"lcov-cat-sp2.png <span style='color:#111;'> 127.99KB </span>","children":null,"spread":false}],"spread":true},{"title":"LuaInstrumentation.rst <span style='color:#111;'> 12.88KB </span>","children":null,"spread":false},{"title":"Parallel.rst <span style='color:#111;'> 2.14KB </span>","children":null,"spread":false},{"title":"WritingPlugins.rst <span style='color:#111;'> 11.11KB </span>","children":null,"spread":false},{"title":"Concolic.rst <span style='color:#111;'> 11.77KB </span>","children":null,"spread":false},{"title":"Debugging.rst <span style='color:#111;'> 1.02KB </span>","children":null,"spread":false}],"spread":true},{"title":"EquivalenceTesting.rst <span style='color:#111;'> 4.46KB </span>","children":null,"spread":false},{"title":"StateMerging.rst <span style='color:#111;'> 4.93KB </span>","children":null,"spread":false},{"title":"Architecture.rst <span style='color:#111;'> 51B </span>","children":null,"spread":false},{"title":"index.rst <span style='color:#111;'> 4.28KB </span>","children":null,"spread":false},{"title":"sample","children":[{"title":"factorial.c <span style='color:#111;'> 3.13KB </span>","children":null,"spread":false}],"spread":false},{"title":"Plugins","children":[{"title":"Windows","children":[{"title":"WindowsMonitor.rst <span style='color:#111;'> 331B </span>","children":null,"spread":false}],"spread":false},{"title":"Linux","children":[{"title":"LinuxMonitor.rst <span style='color:#111;'> 1.05KB </span>","children":null,"spread":false},{"title":"FunctionModels.rst <span style='color:#111;'> 3.04KB </span>","children":null,"spread":false}],"spread":false},{"title":"RawMonitor.rst <span style='color:#111;'> 2.80KB </span>","children":null,"spread":false},{"title":"FunctionMonitor.rst <span style='color:#111;'> 3.10KB </span>","children":null,"spread":false},{"title":"Tracers","children":[{"title":"ExecutionTracer.rst <span style='color:#111;'> 11.99KB </span>","children":null,"spread":false}],"spread":false},{"title":"EdgeKiller.rst <span style='color:#111;'> 1.19KB </span>","children":null,"spread":false},{"title":"BaseInstructions.rst <span style='color:#111;'> 1.79KB </span>","children":null,"spread":false},{"title":"ModuleExecutionDetector.rst <span style='color:#111;'> 748B </span>","children":null,"spread":false}],"spread":false},{"title":"DesignAndImplementation","children":[{"title":"kvm_interface.odg <span style='color:#111;'> 309.24KB </span>","children":null,"spread":false},{"title":"kvm_interface.svg <span style='color:#111;'> 472.79KB </span>","children":null,"spread":false},{"title":"KvmInterface.rst <span style='color:#111;'> 33.15KB </span>","children":null,"spread":false}],"spread":false},{"title":"ImageInstallation.rst <span style='color:#111;'> 7.60KB </span>","children":null,"spread":false},{"title":"s2e-env.rst <span style='color:#111;'> 13.76KB </span>","children":null,"spread":false},{"title":"MovingFiles.rst <span style='color:#111;'> 2.92KB </span>","children":null,"spread":false},{"title":"WindowsEnvSetup.rst <span style='color:#111;'> 7.67KB </span>","children":null,"spread":false}],"spread":false},{"title":".gitignore <span style='color:#111;'> 22B </span>","children":null,"spread":false}],"spread":true}],"spread":true}]