[redteam.to]
Tools Submit
← All tools

s2e

https://s2e.systems/docs
Free
Categories
Reverse Engineering
Description

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

Keywords
analysis automated cgc coverage device drivers execution kvm linux llvm pov qemu reverse-engineering s2e symbolic testing vm vulnerabilities windows x86
See also
ret-sync
Open Source

ret-sync is a set of plugins that helps to synchronize a debugging session (WinDbg/GDB/LLDB/OllyDbg2…

xAnalyzer
Open Source

…

.NET-Deobfuscator
Open Source

Lists of .NET Deobfuscator and Unpacker (Open Source)…

Frida
Open Source Kali

Dynamic instrumentation toolkit for developers, reverse engineers, and security researchers. Injects…

ida-sigmaker
Open Source

sigmaker is a zero-dependency IDA Pro 9.0+ cross-platform signature maker plugin with optional SIMD …

hyper-reV
Open Source

memory introspection and reverse engineering hypervisor powered by leveraging Hyper-V…

© 2026 redteam.to — The Pentest Tool Directory

For authorized security testing and educational use only.