Question: Static analysis tools for detecting memory safety bugs in C/C++

Infer's inter-procedural analysis for null dereference in Android

Collecting findings

0/5 publication-ready

Findings metrics

—

total

—

verified

—

pending

—

rejected