Formal Methods Tools

At a Glance

Applications Static Analyzer
Interfaces CLI
Licenses MIT
Maintenance Actively Maintained

Description

Cobra is a fast code analyzer that can be used to interactively probe and query up to millions of lines of code.