ITS4: a static vulnerability scanner for C and C++ code | IEEE Conference Publication | IEEE Xplore