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)…
ipatool
Open Source

Command-line tool that allows searching and downloading app packages (known as ipa files) from the i…
mitmproxy2swagger
Free

Automagically reverse-engineer REST APIs via capturing traffic…
NTRGhidra
Open Source

A Nintendo DS binary loader for Ghidra…
Binwalk
Open Source Kali

Firmware analysis tool for searching, extracting, and analyzing binary images. Identifies embedded f…
wxapkg
Free

跨平台微信小程序反编译 GUI 工具，.wxapkg 文件扫描 + 解密 + 解包工具…