Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Showing 1 - 4 of 4 results for the Author - william snavely Secure Coding

Conference Paper | November 2016 - Conference Paper Automated Code Repair Based on Inferred Specifications By William Klieber, William Snavely

In this paper, the authors describe automated repairs for three types of bugs: integer overflows, missing array bounds checks, and missing authorization checks.

Technical Report | July 2017 - Technical Report DidFail: Coverage and Precision Enhancement By Karan Dwivedi (No Affiliation), Hongli Yin (No Affiliation), Pranav Bagree (No Affiliation), Xiaoxiao Tang (No Affiliation), Lori Flynn, William Klieber, William Snavely

This report describes recent enhancements to Droid Intent Data Flow Analysis for Information Leakage (DidFail), the CERT static taint analyzer for sets of Android apps.

Technical Report | March 2015 - Technical Report Making DidFail Succeed: Enhancing the CERT Static Taint ... By Jonathan Burket, Lori Flynn, Will Klieber, Jonathan Lim, Wei Shen, William Snavely

In this report, the authors describe how the DidFail tool was enhanced to improve its effectiveness.

Conference Paper | November 2016 - Conference Paper Static Analysis Alert Audits: Lexicon & Rules By David Svoboda, Lori Flynn, William Snavely

In this paper, the authors provide a suggested set of auditing rules and a lexicon for auditing static analysis alerts.