Frama-C-Base

• e-acsl-gcc.sh(1) instrument and compile C files with E-ACSL
• frama-c-gui.byte(1) frama-c[] - a static analyzer for C programs frama-c-gui[] - the graphical interface of frama-c
• frama-c-gui(1) frama-c[] - a static analyzer for C programs frama-c-gui[] - the graphical interface of frama-c
• frama-c.byte(1) frama-c[] - a static analyzer for C programs frama-c-gui[] - the graphical interface of frama-c
• frama-c(1) frama-c[] - a static analyzer for C programs frama-c-gui[] - the graphical interface of frama-c