Relevant links: * https://github.com/facebookarchive/flint * http://cppcheck.sourceforge.net/ * https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=88046682 * https://www.gimpel.com/
