Man Pages in frama-c-base

Section 1: Executable programs or shell commands

frama-c.1

A static analyzer for c programs frama-c-gui[.byte] - the graphical interface of frama-c

frama-c.byte.1

A static analyzer for c programs frama-c-gui[.byte] - the graphical interface of frama-c