Page MenuHomePhabricator

[Analyzer] Model STL Algoirthms to improve the iterator checkers
Needs ReviewPublic

Authored by baloghadamsoftware on Nov 28 2019, 6:12 AM.

Details

Reviewers
NoQ
Szelethus
Summary

STL Algorithms are usually implemented in a tricky for performance reasons which is too complicated for the analyzer. Furthermore inlining them is costly. Instead of inlining we should model their behavior according to the specifications.

This patch is the first step towards STL Algorithm modeling. It models all the find()-like functions in a simple way: the result is either found or not. In the future it can be extended to only return success if container modeling is also extended in a way the it keeps track of trivial insertions and deletions.

Diff Detail