splint
tool for statically checking C programs for bugs
RUN apt-get update && \
apt-get install -y splint
RUN apt-get update && \
apt-get install -y splint
RUN pacman -S --noconfirm splint
RUN apt-get update && \
apt-get install -y splint
RUN dnf install -y splint
RUN apt-get update && \
apt-get install -y splint