GrammaTech’s Paul Anderson Presents at 2008 ACM SIGPLAN Static Analysis Workshop

GrammaTech’s Paul Anderson presented at the 2008 ACM SIGPLAN Static Analysis Workshop, organized by the National Institute of Standards and Technology (NIST). The workshop focused on NIST’s Software Assurance Metrics And Tool Evaluation (SAMATE) project. According to NIST’s website, the SAMATE project is dedicated to improving software assurance by developing methods to enable software tool evaluations, measuring the effectiveness of tools and techniques, and identifying gaps in tools and methods. Paul’s paper and talk described GrammaTech’s experience in participating in the SAMATE project.

In a second talk, Paul presented a paper, Static Analysis of Medical Device Software using CodeSonar^®, co-authored with Raoul Jetley and Paul Jones of the FDA. The paper describes the FDA’s experiences using static analysis to identify flaws in medical-device software.