dockerfile.run – genflagcodes

genflagcodes

tool for statically checking C programs for bugs

Debian

RUN apt-get update && \
    apt-get install -y splint

Ubuntu

RUN apt-get update && \
    apt-get install -y splint

Arch Linux

RUN pacman -S --noconfirm splint

Kali Linux

RUN apt-get update && \
    apt-get install -y splint

Fedora

RUN dnf install -y splint

Raspbian

RUN apt-get update && \
    apt-get install -y splint

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