CACM logo

This Article

Research highlights

Reasoning About the Unknown in Static Analysis

[article image]
"Unknown" by Andy Cunningham Credit: Andy Cunningham

Isil Dillig, Thomas Dillig, Alex Aiken

August 1, 2010

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 ...

Post a comment...
Name: Anonymous

Signed and anonymous comments submitted to this site are moderated and will appear if they are relevant to the topic and not abusive. Your comment will appear with your username if you are signed into the site, and will be anonymous if you are not signed in. View our policy on comments

Tools For Readers

Bookmark and Share
Default Font Size Large Font Size X-Large Font Size Text Size
Author profiles and more in the Digital Library

Related ACM Resources

Conferences:

Courses:

  • The Sales Process (Second Edition) - In this course, you will develop organizational activities to assure sales success in a territory, gather information to qualify sales prospects, and plan a structured …
More About ACM Resources

In The Digital Library

About Communications | Join ACM External Link | Renew External Link | Subscribe External Link | Sign In | For Authors | For Advertisers External Link | Privacy | Site Map | Help | Contact Us | Mobile Site

Copyright © 2012 by the ACM. All rights reserved.

Back to Top