NeuDep: neural binary memory dependence analysis
Abstract
Determining whether multiple instructions can access the same memory location is a critical task in binary analysis. It is challenging as statically computing precise alias information is undecidable in theory. The problem aggravates at the binary level due to the presence of compiler optimizations and the absence of symbols and types. Existing approaches either produce significant spurious dependencies due to conservative analysis or scale poorly to complex binaries.
BibTeX
@inproceedings{Pei-al:FSE22,
author = {Kexin Pei and
Dongdong She and
Michael Wang and
Scott Geng and
Zhou Xuan and
Yaniv David and
Junfeng Yang and
Suman Jana and
Baishakhi Ray},
title = {{NeuDep:} neural binary memory dependence analysis},
booktitle = {{ESEC/SIGSOFT} {FSE}},
pages = {747--759},
publisher = {{ACM}},
year = {2022},
}