Inference of Memory Bounds

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2017
Accession Number
AD1088356

Entities

People

  • William Klieber

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Department Of Defense
  • Engineering
  • Governments
  • Guarantees
  • Materials
  • Patents
  • Software Development
  • Trademarks
  • Transient Response Analysis
  • Universities
  • Vulnerability

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Parallel and Distributed Computing.

Technology Areas

  • AI & ML
  • AI & ML - Machine Learning Algorithms