A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code (SYNASC 2017 pre-proceedings) Dragos Gavrilut and Vlad Craciun and Stefan Ciobaca and Andrei Arusoaie and Dorel Lucanu Grant(s): IZA PDF BIB