HomePhabricator

[analyzer] Checker for uninitialized C++ objects

Description

[analyzer] Checker for uninitialized C++ objects

This checker analyzes C++ constructor calls, and reports uninitialized fields.

Due to the nature of this problem (uninitialized fields after an object
construction), this checker doesn't search for bugs, but rather is a tool to
enforce a specific programming model where every field needs to be initialized.

This checker lands in alpha for now, and a number of followup patches will be
made to reduce false negatives and to make it easier for the user to understand
what rules the checker relies on, eg. whether a derived class' constructor is
responsible for initializing inherited data members or whether it should be
handled in the base class' constructor.

Differential Revision: https://reviews.llvm.org/D45532

Details

Committed
SzelethusJun 18 2018, 4:50 AM
Differential Revision
D45532: [StaticAnalyzer] Checker to find uninitialized fields after a constructor call
Branches
Unknown
Tags
Unknown