dockerfile.run – goto-analyzer

goto-analyzer

bounded model checker for C and C++ programs

Debian

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

Ubuntu

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

Kali Linux

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

Fedora

RUN dnf install -y cbmc

Raspbian

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

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