s2e：S2E：具有选择性符号执行的多路径程序分析平台
需积分: 35 47 浏览量
2021-02-06
08:09:14
上传
评论
收藏 5.69MB ZIP 举报
s2e：S2E：具有选择性符号执行的多路径程序分析平台 （1076个子文件） 
s2e-test.asm 17KB s2e.asm 9KB s2e-inst.asm 9KB s2e.asm 8KB s2e-bios-64.asm 5KB s2e-bios-low-asm.asm 4KB init.asm 2KB s2e-bios-up.asm 1KB makedist.bat 1KB translate.c 291KB softfloat.c 238KB op_helper.c 186KB winmonitor_gen.c 171KB tcg.c 127KB tcg-target.inc.c 115KB tcg-op.c 86KB tcg-op-gvec.c 77KB optimize.c 49KB scanner.c 43KB helper.c 37KB cpuid.c 34KB tcg-runtime-gvec.c 32KB exec-tb.c 20KB cpu-exec.c 19KB test_symbhw.c 16KB exec.c 16KB main.c 15KB drvctl.c 15KB kernel_hooks.c 15KB json-parser.c 15KB OutputFunctionTests.c 13KB models.c 13KB tcg-op-vec.c 12KB exec-ram.c 11KB qdict.c 10KB exec-tlb.c 10KB scanUser.c 10KB crash.c 10KB translate-all.c 10KB json-lexer.c 9KB LibraryFunctionDetector.c 9KB exec-bp.c 8KB winmonitor_common.c 8KB qjson.c 8KB debugger.c 8KB StringFunctionTests.c 8KB s2eget.c 7KB exec-memdbg.c 7KB procmap.c 7KB precise-pc.c 7KB models_test.c 7KB filter.c 7KB cpus.c 6KB timer.c 6KB pci.c 6KB coroutine-ucontext.c 5KB s2eput.c 5KB modules.c 5KB monitoring.c 5KB tcg-pool.inc.c 5KB config.c 5KB vulnerabilities.c 5KB main.c 5KB process.c 5KB main.c 5KB elf.c 5KB exec-log.c 4KB strings.c 4KB faultinj.c 4KB s2e.c 4KB s2e-c.c 4KB cgccmd.c 4KB memory.c 4KB cutils.c 4KB utils.c 4KB json-streamer.c 3KB qstring.c 3KB tcg-runtime.c 3KB factorial.c 3KB qlist.c 3KB main.c 3KB tcg-ldst.inc.c 3KB maze.c 3KB maze.c 3KB test_maze.c 3KB disas.c 3KB enumeration.c 3KB libc_wrapper.c 3KB main.c 2KB test_range.c 2KB kernel_functions.c 2KB main.c 2KB test_selfmod.c 2KB main.c 2KB exec-phystb.c 2KB exec-phys.c 2KB main.c 2KB main.c 2KB main.c 2KB ioport.c 2KB共 1076 条
- 1
- 2
- 3
- 4
- 5
- 6
- 11
资源评论
