Projects in Awesome Lists tagged with s2e

A curated list of projects in awesome lists tagged with s2e .

• Sort

  • Recently synced
  • Stars

https://github.com/s2e/s2e

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

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

Last synced: 15 May 2025

https://github.com/S2E/s2e

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

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

Last synced: 12 May 2025

https://github.com/adrianherrera/malware-s2e

Code for my blog post on using S2E for malware analysis

malware s2e symbolic-execution

Last synced: 15 Apr 2025

https://github.com/adrianherrera/kaitai-s2e

Code for my blog post on combining S2E and Kaitai Struct

kaitai-struct s2e symbolic-execution

Last synced: 15 Apr 2025

https://github.com/adrianherrera/unbreakable-ctf-s2e

Code for my blog post on solving Google's Unbreakable CTF challenge with S2E

ctf s2e symbolic-execution

Last synced: 18 Mar 2026