Accession Number:

AD1088356

Title:

Inference of Memory Bounds

Descriptive Note:

Technical Report

Corporate Author:

Carnegie-Mellon University, Software Engineering Institute Pittsburgh United States

Personal Author(s):

Report Date:

2017-01-01

Pagination or Media Count:

2.0

Abstract:

Invalid memory accesses are one of the most prevalent and most serious software vulnerabilities. This project aims to detect and repair not only out-of-bounds WRITEs, but also out-of-bounds READs, which are a relatively newer problem that can leak highly sensitive information.

Descriptors:

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE