splint

tool for statically checking C programs for bugs

Debian Debian
RUN apt-get update && \ apt-get install -y splint
Ubuntu
RUN apt-get update && \ apt-get install -y splint
Arch Arch Linux
RUN pacman -S --noconfirm splint
image/svg+xml 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 splint on any operating system with command-not-found.com