Inference of Memory Bounds
Carnegie-Mellon University, Software Engineering Institute Pittsburgh United States
Pagination or Media Count:
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.