Home → Magazine Archive → August 2010 (Vol. 53, No. 8) → Reasoning About the Unknown in Static Analysis → Abstract

Reasoning About the Unknown in Static Analysis

By Isil Dillig, Thomas Dillig, Alex Aiken

Communications of the ACM, Vol. 53 No. 8, Pages 115-123

[article image]

Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as nondeterministic choices made by the program's execution environment, it is still possible to glean very useful information about how such statically unknown values may or must influence computation.

The full text of this article is premium content


No entries found