Infer: An Automatic Program Verifier for Memory Safety of C Programs
Authors:
Top Cited Papers
- 1 January 2011
- book chapter
- Published by Springer Nature
- p. 459-465
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Compositional shape analysis by means of bi-abductionACM SIGPLAN Notices, 2009
- Enhancing modular OO verification with separation logic2008
- Shape Analysis for Composite Data Structures2007
- Footprint Analysis: A Shape Analysis That Discovers Preconditions2007
- Shape Analysis with Structural Invariant CheckersLecture Notes in Computer Science, 2007
- A Local Shape Analysis Based on Separation Logic2006
- Region-based shape analysis with tracked locations2005
- Abstractions from proofs2004
- A static analyzer for large safety-critical software2003
- Automatic predicate abstraction of C programs2001