tar -xzf splint-3.1.2.src.tgz
cd splint-3.1.2
./configure
make
make install # if so desired

export LARCH_PATH=home/<user>/code/splint-3.1.2/lib/

:/bin/splint -strict example1.c

printf("%s", buffer)

unzip rough-auditing-tool-for-security-master.zip
cd rough-auditing-tool-for-security-master
./configure
make
make install # if so desired