Home → Magazine Archive → August 2010 (Vol. 53, No. 8) → Technical Persepctive: Large-Scale Sound and Precise... → Abstract

Technical Persepctive: Large-Scale Sound and Precise Program Analysis

By Fritz Henglein

Communications of the ACM, Vol. 53 No. 8, Page 114

You are given a program. Will it crash? Is it subject to a spoofing, buffer overflow, or injection attack? Is this part of it dead code? Can I replace that code fragment with a more efficient one? All of these questions require program analysis.

The full text of this article is premium content


No entries found