search menu icon-carat-right cmu-wordmark

Inference of Memory Bounds

October 2017 Presentation
William Klieber

Presentation on research to develop an algorithm to automatically infer the bounds of memory regions

Publisher:

Software Engineering Institute

Abstract

This work is developing an algorithm to automatically infer the bounds of memory regions intended to be accessible via specific pointer variables and repair certain memory-related defects in software. The results of the work will help the DoD improve

  • software assurance of existing source code at a fraction of the cost of a manual inspection and repair
  • evaluation of high-risk legacy binary software in its sustainment centers, which cannot be evaluated or fixed with existing tools
  • analysis of malware code that would substantially improve the efficiency of DoD and National Security Agency (NSA) malware analysts