frama-c-gui (1) Linux Manual Page
NAME frama-c[.byte] – a static analyzer for C programs frama-c-gui[.byte] – the graphical interface of frama-c SYNOPSIS frama-c [ options ] files DESCRIPTION frama-c is a suite of tools dedicated to the analysis of source code written in C. It gathers several static analysis techniques in a single collaborative framework. This framework can be extended…
