dockerfile.run – frama-c-gui

frama-c-gui

Platform dedicated to the analysis of source code written in C

Debian

RUN apt-get update && \
    apt-get install -y frama-c

Ubuntu

RUN apt-get update && \
    apt-get install -y frama-c

Fedora

RUN dnf install -y frama-c

Raspbian

RUN apt-get update && \
    apt-get install -y frama-c

click the source code to copy install frama-c-gui on any operating system with command-not-found.com