Frama-C

Frama-C — Framework for Static Analysis of the C language

Core

C source code → Abstract Syntax Tree

Plugins

Annotate syntax trees with static analysis.