Example Usage
>>> import borzacchiello_seninja as seninja
>>> s = seninja.get_current_state()
>>> s.solver.satisfiable(extra_constraints=[s.regs.eax == 3])
See also
.NET-Deobfuscator
Open Source

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

Templates and scripts for 010 editor…
Frida
Open Source Kali

Dynamic instrumentation toolkit for developers, reverse engineers, and security researchers. Injects…
Binwalk
Open Source Kali

Firmware analysis tool for searching, extracting, and analyzing binary images. Identifies embedded f…
RetDec
Open Source

Retargetable machine-code decompiler based on LLVM. Developed by Avast. Decompiles x86, ARM, MIPS, P…
hyper-reV
Open Source

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