MARFCAT: Fast code analysis for defects and vulnerabilities | IEEE Conference Publication | IEEE Xplore