audit
01Command
Part of esbmc-plugin
Perform a comprehensive security audit on a source file using ESBMC.
not rated 4 6mo ago A 15 tokens
original MIT
4Stars on the repository
5Mods indexed here, across every type
6mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
verify
02Command
Part of esbmc-plugin
Verify a source file with ESBMC for bugs and safety violations.
not rated 4 6mo ago A 15 tokens
original MIT