C++: Basic input iterator models#4102

Merged

jbj merged 23 commits intogithub:mainfrom

rdmarsh2:rdmarsh2/cpp/input-iterators-1

Sep 2, 2020

Commits on Aug 19, 2020

C++: Models for bidirectional input iterators
Robert Marsh
committed
C++: rename to Iterator*Operator
Robert Marsh
committed
WIP: more iterator cases
Robert Marsh
committed
C++: input iterator models
Robert Marsh
committed
C++: respond to PR comments on Iterator.qll
Robert Marsh
committed

Commits on Aug 21, 2020

C++: more tests for string iterator flow
Robert Marsh
committed
C++: Fix iterator taint flow
Robert Marsh
committed
C++: remove constexpr in stl.h temporarily
Robert Marsh
committed
C++: autoformat
Robert Marsh
committed
Merge branch 'main' into rdmarsh2/cpp/input-iterators-1
Robert Marsh
committed

Commits on Aug 24, 2020

C++: add tests for non-std:: iterators
Robert Marsh
committed

Commits on Aug 25, 2020

C++: add `std::string::end` to model
Robert Marsh
committed
C++: add some missing QLDoc
Robert Marsh
committed
C++: QLDoc for `StdStringBeginEnd`
Robert Marsh
committed

Commits on Aug 26, 2020

C++: remove non-existent operators from model
Robert Marsh
committed
C++: use set literals in iterator models
Robert Marsh
committed
C++: Simplify non-member iterator operator models
Robert Marsh
committed

Commits on Aug 27, 2020

C++: fix up some iterator taint flows
Robert Marsh
committed

Commits on Aug 31, 2020

Commits on Sep 1, 2020

C++: handle reference args to iterator operators
Robert Marsh
committed
C++: Add reverse flow when `this` ptr is returned
Robert Marsh
committed