1 result found Sort:

S2E
s2e S2E
87
415
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,743 commits to master branch, last one 26 days ago