src/cbmc/cbmc usr/bin/
src/goto-cc/goto-cc usr/bin/
src/goto-instrument/goto-instrument usr/bin/
src/goto-analyzer/goto-analyzer usr/bin/
