Explore projects

C Instrumentation Framework is a user-friendly interface for Aspectator

Clade is a tool for extracting information about software build process and source code

CPAchecker, the Configurable Software-Verification Platform

Klever Continuous Verification Framework