📦 frama-c-base

E

• e-acsl-gcc.sh(1)instrument and compile C files with E-ACSL✨

F

• frama-c(1)a static analyzer for C programs frama-c-gui[.byte] - the graphical interface of frama-c✨
• frama-c-gui(1)a static analyzer for C programs frama-c-gui[.byte] - the graphical interface of frama-c✨
• frama-c-gui.byte(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✨