s2e:构建用于 QEMU 预加载的符号执行支持共享库

Star0

Star0

S2E: A platform for multi-path program analysis with selective symbolic execution.

项目介绍

S2E: A platform for multi-path program analysis with selective symbolic execution.

Others C++1.95 K提交数analysis automated cgc coverage device drivers execution kvm linux llvm qemu reverse-engineering s2e symbolic testing vm vulnerabilities windows x86

定制我的领域

1052196访问 GitHub