符号执行工具-Python开发
需积分: 30 55 浏览量
2021-05-25
13:14:00
上传
评论
收藏 8.55MB ZIP 举报
符号执行工具-Python开发 （394个子文件） 
arguments 749KB arguments_linux_amd64 749KB arguments_linux_armv7 576KB basic 609KB basic_linux_amd64 892KB basic_linux_armv7 481KB basic_state_merging 891KB make.bat 814B brk_static_amd64 825KB baby-re.c 17KB test_tweetnacl_scalarmult.c 5KB arguments.c 3KB strncmp.c 3KB sindex.c 3KB lava.c 2KB indexhell.c 2KB basic_state_merging.c 2KB nostdlib.c 2KB basic.c 2KB sendmail.c 2KB ibranch.c 1KB state_explore.c 1KB symbolic_length_recv.c 1KB test_openssl_md5.c 1KB simpleassert.c 965B test_openssl_bnsqr.c 924B fileio.c 856B fclose.c 782B main.c 777B ioctl_socket.c 736B if_check.c 688B main.c 605B ioctl_bogus.c 567B symbolic_read_count.c 537B basic.c 479B simple_copy.c 436B main.c 427B sym_strcpy_test.c 385B sym_strlen_test.c 215B sym_strncpy_test.c 203B collatz.c 201B hello42.c 104B helloworld.c 103B test_run_simple.c 41B cadet_decree_x86 2KB corruption 9KB .coveragerc 406B Dockerfile 796B fclose_linux_amd64 825KB fileio_linux_amd64 825KB .gitignore 1KB .gitignore 135B hello42 617KB hello_world 2.51MB tox.ini 395B mypy.ini 211B ioctl_bogus_linux_amd64 825KB ioctl_socket_linux_amd64 825KB symbolic_test_template.jinja2 6KB test_template.jinja2 5KB MetaCoin.json 38KB plugin.json 298B LICENSE 34KB Makefile 955B Makefile 855B Makefile 854B Makefile 853B Makefile 700B Makefile 606B CHANGELOG.md 39KB README.md 11KB CONTRIBUTING.md 3KB WRITING_TEST_CASES.md 2KB README.md 2KB README.md 1KB TUTORIAL.md 985B Readme.md 713B README.md 677B feature_request.md 599B bug_report.md 455B README.md 201B multiple-styles 887KB
manticore.png 49KB state.proto 550B test_x86.py 3.95MB test_cpu_automatic.py 1.68MB test_x86_pcmpxstrx.py 1.19MB test_aarch64cpu.py 526KB x86.py 241KB test_slam_regre.py 200KB aarch64.py 161KB test_dyn.py 151KB linux.py 127KB evm.py 124KB test_general.py 83KB test_armv7cpu.py 83KB manticore.py 79KB structure.py 74KB aarch64cpu_asm_cache.py 70KB test_memory.py 63KB共 394 条
- 1
- 2
- 3
- 4
资源评论
