Detection of Buffer Overflow Vulnerabilities in C/C++ with Pattern Based Limited Symbolic Evaluation | IEEE Conference Publication | IEEE Xplore