Automated Source Code Instrumentation for Verifying Potential Vulnerabilities.

Hongzhe Li, Jaesang Oh, Hakjoo Oh, Heejo Lee

Browse the full SEC paper archive.