S2E/s2e

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

↗ Open on GitHub

Stars

526

Forks

96

Language

C++

License

NOASSERTION

Last push

4 days ago

C++linux windows testing reverse-engineering analysis qemu llvm kvm device automated vulnerabilities cgc coverage drivers execution pov s2e symbolic vm x86

No related intel yet

This repo has not appeared in any of the sources the radar tracks. The collector runs on a schedule — check back once it covers this repo.