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)…
.NET-Obfuscator
Open Source

Lists of .NET Obfuscator (Free, Freemium, Paid and Open Source )…
-SKYNET-Steam-Emulator
Open Source

Client emulator to play steam games on LAN without Internet connection.…
Ghidra
Open Source Kali

NSA-developed software reverse engineering suite. Features a disassembler, decompiler, scripting (Ja…
APKTool
Open Source Kali

Tool for reverse engineering Android APK files. Decodes resources to their original form, rebuilds d…
AAIdrive
Open Source

Implementations of some Android Auto features as unofficial IDrive apps…