文件名称：concolica, 用于程序分析的python concolic执行框架.zip
文件大小：42KB
文件格式：ZIP
更新时间：2022-10-30 00:49:31
开源
concolica, 用于程序分析的python concolic执行框架 concolica用于程序分析的python concolic执行框架安装concolica有一些依赖性- reil翻译代码要求提供反汇编支持，而a 代码当前仅支持a 。以下应适用于基于Debian的系统：`sudo apt安装
【文件预览】：
concolica-master
----.gitignore(675B)
----syscall_emulation()
--------linux.py(15KB)
--------__init__.py(654B)
----library_emulation()
--------unix.py(3KB)
--------__init__.py(654B)
--------libc.py(18KB)
--------calling_conventions.py(4KB)
----__init__.py(655B)
----vulnerabilities.py(5KB)
----log.py(8KB)
----LICENSE(11KB)
----threaded.py(5KB)
----vdb()
--------extension.py(1KB)
--------update_syms.py(263B)
--------trace.py(7KB)
----examples()
--------test_trace.py(5KB)
--------run_state.py(3KB)
----utils.py(15KB)
----interlocked.py(3KB)
----README.md(2KB)
----debugger.py(8KB)
----serialisation.py(1KB)
----state.py(7KB)
----emulator.py(11KB)
----memory.py(6KB)