Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Proceedings of Static Analysis Summit II

Published

Author(s)

Paul E. Black, Elizabeth N. Fong

Abstract

Static Analysis Summit II was held 8 and 9 November 2007.  The workshop had a keynote address by Professor William Pugh, paper presentations, discussion sessions, a panel on Obfuscation Versus Analysis Who Will Win? , and a new technology demonstration fair. The workshop is one of a series by NIST s Software Assurance Metrics and Tool Evaluation (SAMATE) project, which is partially funded by DHS to help identify and enhance software security assurance tools. The Call for Papers pointed out that "Black-box" testing cannot realistically find maliciously implanted Trojan horses or subtle errors with many preconditions. For maximum assurance, static analysis must be applied to all levels of software artifacts, from models to source code to binaries. Static analyzers are quite capable and are developing quickly. Yet, developers, auditors, and examiners could use far more capabilities. The goal of this summit is to convene researchers, developers, and government and industrial users to define obstacles to such urgently-needed capabilities and try to identify feasible approaches to overcome them, either engineering ("solved" problems) or research. The Call for Papers solicited contributions describing basic research, applications, experience, or proposals relevant to static analysis tools, techniques, and their evaluation. These proceedings include the agenda, some notes on the discussions, and reviewed papers.
Citation
ADA Letters
Volume
XXVIII
Issue
1

Keywords

Homeland security, proceedings, SAMATE, static analysis tools, source code analyzer, software assurance.

Citation

Black, P. and Fong, E. (2008), Proceedings of Static Analysis Summit II, ADA Letters (Accessed April 18, 2024)
Created April 1, 2008, Updated February 19, 2017