
maat
Dynamic symbolic execution and binary analysis framework with taint analysis, constraint solving, multi-arch emulation via Ghidra's Sleigh, and…
binary-analysisdynamic-analysis-sandboxingfuzzing+1
651

Dynamic symbolic execution and binary analysis framework with taint analysis, constraint solving, multi-arch emulation via Ghidra's Sleigh, and…

Command-line tool that allows searching and downloading app packages (known as ipa files) from the iOS App Store