dockerfile.run – frama-c

frama-c

Platform dedicated to the analysis of source code written in C (without gui)

Debian

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

Ubuntu

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

Kali Linux

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

Fedora

RUN dnf install -y frama-c

Raspbian

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

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