HomePhabricator

[Analyzer] Checker for Debugging Iterator Checkers

Authored by baloghadamsoftware on Nov 7 2019, 11:56 PM.

Description

[Analyzer] Checker for Debugging Iterator Checkers

For white-box testing correct container and iterator modelling it is essential
to access the internal data structures stored for container and iterators. This
patch introduces a simple debug checkers called debug.IteratorDebugging to
achieve this.

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

Details

Committed
baloghadamsoftwareNov 7 2019, 11:59 PM
Differential Revision
D67156: [Analyzer] Debug Checkers for Container and Iterator Inspection
Parents
rG7b9f5401a616: [NFC][IndVarS] Adjust a comment
Branches
Unknown
Tags
Unknown