Joseph Jones, James Wasson, Sean Brown, Seth Poulsen, Peter Aldous, Eric Mercer. Memory safety in C by abstract interpretation. ACM SIGSOFT Software Engineering Notes, 43(4):56, 2018. [doi]
@article{JonesWBPAM18,
title = {Memory safety in C by abstract interpretation},
author = {Joseph Jones and James Wasson and Sean Brown and Seth Poulsen and Peter Aldous and Eric Mercer},
year = {2018},
doi = {10.1145/3282517.3282530},
url = {https://doi.org/10.1145/3282517.3282530},
researchr = {https://researchr.org/publication/JonesWBPAM18},
cites = {0},
citedby = {0},
journal = {ACM SIGSOFT Software Engineering Notes},
volume = {43},
number = {4},
pages = {56},
}