dockerfile.run – frama-c-config

frama-c-config

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-config on any operating system with command-not-found.com