s

SMOKE Memory Leak Detector

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