Integrating Static and Dynamic Analysis for Detecting Vulnerabilities
A safe approximate algorithm for interprocedural pointer aliasing