This is a slightly modified, older version of sparrow so that it can be built on the ssft19-vm and used for the lab session. (Ubuntu 16.04, Opam 1.2.2, etc.) For the original & live version, please refer to https://github.com/ropas/sparrow.
On your vm,
$ git clone https://github.com/ropas/ssft19-sparrow
$ cd ssft19-sparrow
$ ./build.sh
$ eval `opam config env`
$ makeYou can run Sparrow for buffer overflow detection on pre-processed C files. For example:
$ ./bin/sparrow test/test.i