Last released Dec 10, 2025
A terminal-first approach to CodeQL multi-repo variant analysis
Last released Feb 27, 2024
Manticore is a symbolic execution tool for analysis of binaries and smart contracts.
Supported by
