Infer: An Automatic Program Verifier for Memory Safety of C Programs
← Back to topic
Authors: Jakob R. F. B., Sam Blackshear, Dylan Wolff, Manu Sridharan, et al.
Year: 2014
Journal: CGO
DOI: 10.1145/3049832.3049876
Publisher: https://research.fb.com/publications/infer/
Keywords: infer, static
Abstract
Infer is an automatic program verifier for memory safety.
Cite this paper
bibtex
@misc{infer2014,
title = {Infer: An Automatic Program Verifier for Memory Safety of C Programs},
author = {Jakob R. F. B., Sam Blackshear, Dylan Wolff, Manu Sridharan, et al.},
year = {2014},
journal = {CGO},
doi = {10.1145/3049832.3049876},
url = {https://doi.org/10.1145/3049832.3049876},
}