SMOKE Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code.
Package Download and Installation Guide
Confirmed Reports List
Detailed Data & Artifact Evaluation
A false positive example reported by Infer
ICSE 2019 Artifact Evaluation Guidance