William Snavely

Carnegie Mellon University

All

Composing Effective Software Security Assurance Workflows

October 18, 2018 • Technical Report

By Bill Nichols , Jim McHale , David Sweeney , William Snavely , Aaron Volkmann

Detecting Leaks of Sensitive Data Due to Stale Reads

October 5, 2018 • Conference Paper

By William Snavely , William Klieber , Ryan Steele , David Svoboda , Andrew Kotov

Practical Precise Taint-flow Static Analysis for Android App Sets

August 27, 2018 • White Paper

By William Klieber , Lori Flynn , William Snavely , Michael Zheng

Prioritizing Alerts from Multiple Static Analysis Tools, Using Classification Models

August 14, 2018 • Conference Paper

By Lori Flynn , William Snavely , David Svoboda , Nathan M. VanHoudnos , Richard Qin , Jennifer Burns , David Zubrow , Robert W. Stoddard , Guillermo Marce-Santurio

Hands-On Tutorial: Auditing Static Analysis Alerts Using a Lexicon and Rules

September 24, 2017 • Presentation

By Lori Flynn , David Svoboda , William Snavely

More from William Snavely