dockerfile.run – frama-c.byte

frama-c.byte

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

Raspbian

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

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