# Presentation: 186728

## Static Analysis Workshop (SAW)12 June 2008Tucson, Arizonaco-located with PLDI

- cutting to the Chase

- Photo from Air Force Link http://www.af.mil/photos/media_search.asp?page=19&q=firefighters
- MANAS AIR BASE, Kyrgyzstan -- Senior Airman Steven Kuzel practices cutting through a metal obstruction. Airman Kuzel is assigned to the 376th Expeditionary Civil Engineer Squadron. (U.S. Air Force photo by Capt. Brus E. Vidal)

## Announcement

- If you registered earlier for PLDI,
- pick up a disk at the registration table.
- A few printed handouts are at the front table

- Paul E. Black

## SAW Agenda Overview

- 8:30** Welcome to SAW**
**                  **
- 8:50 - 3:10** Static Analysis Tool Exposition (SATE) reports & discussion**
- 3:30 - 5:30** Paper presentations**

- Paul E. Black

## SATE Agenda

- 8:50** **SATE 2008 background** - *****Vadim Okun*****, NIST, **organizer
- 9:20** *****Katrina O'Neil*****, Fortify, **participant
- 9:40 ***Paul Anderson*****, GrammaTech, **participant
- 10:00               Break
- 10:30 Observations on Static Analysis to Detect Weaknesses** - *****Paul E. Black*****, NIST, **organizer
- 11:00** *****Steve Christey*****, MITRE, **organizer
- 11:30 ***Bill Pugh*****, U. Maryland, FindBugs, **participant
- 12:00 **              **Lunch
- 1:30** (presenter TBD), SofCheck, **participant
- 1:50 Automated Evaluation,** *****Romain Gaucher*****, NIST, **organizer** & ran FlawFinder**
- 2:10** **SATE 2009 Planning: Why, Who, When, and Where?** - *****Paul E. Black*****, NIST**
- 3:10**                 **Break

- Paul E. Black

## SAW Papers

- 3:10**               **Break
- 3:30** Parfait - Designing a Scalable Bug Checker of C Code, *****Cristina Cifuentes & Bernhard Scholz***
- 4:00** Securing Java Code: Heuristics and An Evaluation of Static Analysis Tools, *****Michael S. Ware & Christopher J. Fox***
- 4:30** Static Analysis of Medical Device Software using CodeSonar, *****Raoul Praful Jetley, Paul L. Jones, & Paul Anderson***
- 5:00** Automatic Analysis for Managing and Optimizing Performance-Code Quality, *****Lamia Djoudi & William Jalby***
**Authors: please see Paul Black to sign ACM copyright release forms.**

- Paul E. Black

## Thanks to

**Arnaud Venet, co-chair**
**PLDI, host conference**
**Paul Anderson, Anindya Banerjee, Rod Chapman, Eric Goubault, Klaus Havelund, Francesco Logozzo, program committee**
**SATE organizers and participants**
**Authors of papers**

- Paul E. Black

**Notes:**
Arnaud had health and also job issues that contributed to problems with workshop organization.

## Some questions for SATE 2009

**Should there be a SATE 2009?**
**What is its goals?**
**Define terms**
**What is the procedure?**
**How many & what kinds of tracks?**
**Steps & methods of analysis**
**Timing**
**Who participates?**
**What venue for the experience workshop?**

- Paul E. Black

## Self-introductions

- cutting to the Chase

*Self-introductions*

- Photo from Air Force Link http://www.af.mil/photos/media_search.asp?page=19&q=firefighters
- MANAS AIR BASE, Kyrgyzstan -- Senior Airman Steven Kuzel practices cutting through a metal obstruction. Airman Kuzel is assigned to the 376th Expeditionary Civil Engineer Squadron. (U.S. Air Force photo by Capt. Brus E. Vidal)

- Paul E. Black