tar -xzf splint-3.1.2.src.tgz cd splint-3.1.2 ./configure make make install # if so desired export LARCH_PATH=home//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