This repository contains examples for using McSAF for writing static instrumentations and analyses. It was used for the introduction given in the COMP 621 course in 2014, 2015, and 2016. - View it on GitHub