1 result found Sort:

S2E
s2e S2E
90
457
other
12
S2E: A platform for multi-path program analysis with selective symbolic execution.
vm cgc kvm pov s2e x86 llvm qemu linux device drivers testing windows analysis coverage symbolic automated execution vulnerabilities reverse-engineering
Created 2020-01-07
1,751 commits to master branch, last one 23 days ago