Assisting in Auditing of Buffer Overflow Vulnerabilities via Machine Learning

Figure 3

Code example of indirect sanitization and interprocedural sanitization.