1. Johnson SC (1978) Lint, a C Program Checker. CiteSeerX, 25 Oct 1978. https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.1841
2. Valgrind Technical Documentation. https://www.valgrind.org/docs/manual/tech-docs.html. Release 3.18.0 on 15 Oct 2021
3. Wagner D, Foster JS, Brewer EA, Aiken A (2000) A first step towards automated detection of buffer overrun vulnerabilities. NDSS 2000, 3–4 Feb 2000. www.cs.berkeley.edu/~daw/papers/overruns-ndss00.ps
4. Astree. https://www.absint.com/astree/index.htm
5. Ochodek M, Hebig R, Mending W, Frost G, Staron M (2019) Recognizing lines of code violating company-specific coding guidelines using machine learning: a method and its evaluation. Springer, 14 Nov 2019. https://doi.org/10.1007/s10664-019-09769-8#Sec28