MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C
We present \textsc{MemFix}, an automated technique for fixing memory
deallocation errors in C programs. \textsc{MemFix} aims to fix
memory-leak, double-free, and use-after-free errors, which occur
when developers fail to properly deallocate memory objects.
\textsc{MemFix} attempts to fix these errors by finding a set of
free-statements that correctly deallocate all allocated objects
without causing double-frees and use-after-frees. The key insight
behind \textsc{MemFix} is that finding such a set of deallocation
statements corresponds to solving an exact cover problem derived
from a variant of typestate static analysis. We formally present
the technique and experimentally show that \textsc{MemFix} is able to fix
real errors found in open-source programs. Because \textsc{MemFix} is
based on a sound static analysis, the generated patches guarantee to
fix the original errors without introducing new errors.
Tue 6 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
13:30 - 15:00: PerformanceResearch Papers / Journal-First at Horizons 10-11 Chair(s): Zhendong SuETH Zurich | |||
13:30 - 13:52 Talk | CHiP: A Configurable Hybrid Parallel Covering Array Constructor Journal-First DOI | ||
13:52 - 14:15 Talk | Learning to Sample: Exploiting Similarities Across Environments to Learn Performance Models for Configurable Systems Research Papers Pooyan JamshidiUniversity of South Carolina, Miguel VelezCarnegie Mellon University, USA, Christian KaestnerCarnegie Mellon University, Norbert SiegmundBauhaus-University Weimar | ||
14:15 - 14:37 Talk | Performance Comprehension at WiredTiger Research Papers Alexandra (Sasha) FedorovaUniversity of British Columbia, Craig MustardUniversity of British Columbia, Canada, Ivan BeschastnikhComputer Science, University of British Columbia, Julia RubinUniversity of British Columbia, Augustine WongUniversity of British Columbia, Canada, Svetozar MiucinUniversity of British Columbia, Canada, Louis YeUniversity of British Columbia, Canada | ||
14:37 - 15:00 Talk | MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C Research Papers |