
Archived
manticore
Symbolic execution tool
binary-analysisdynamic-analysis-sandboxingeducation+3

Symbolic execution tool

JAR analysis tool for exploring, searching, and extracting specific classes from large JAR files with bytecode search, multi-selection extraction,…