C Source Code scanner for possible buffer overflow vulnerabilities