C++: Output iterators in AST taint tracking#4135

Merged

jbj merged 27 commits intogithub:mainfrom

rdmarsh2:rdmarsh2/cpp/output-iterators-1

Sep 30, 2020

Commits on Sep 8, 2020

C++: simple tests for vector output iterators
Robert Marsh
committed
C++: noisy output iterators in AST taint tracking
Robert Marsh
committed
C++: Remove StdStringBeginEnd
Robert Marsh
committed
C++: remove unnecessary parameter in FlowVar.qll
Robert Marsh
committed
C++: output iterator flow via FlowVar
Robert Marsh
committed

Commits on Sep 9, 2020

C++: test for interprocedurl iterator flow
Robert Marsh
committed
C++: autoformat
Robert Marsh
committed

Commits on Sep 14, 2020

C++: Interprocedural iterator flow
Robert Marsh
committed

Commits on Sep 16, 2020

C++: move interprocedural iterator flow to taint
Robert Marsh
committed
C++: make PartialDefinition abstract
Robert Marsh
committed
C++: accept test output
Robert Marsh
committed
Merge branch 'main' into rdmarsh2/cpp/output-iterators-1
Robert Marsh
committed

Commits on Sep 18, 2020

C++: remove accidentally committed test code
Robert Marsh
committed
C++: QLDoc for IteratorPartialDefinitionNode
Robert Marsh
committed
C++: autoformat
Robert Marsh
committed

Commits on Sep 21, 2020

C++: Add test for iterator false positive
Robert Marsh
committed
C++: Fix iterator flow context sensitivity
Robert Marsh
committed
C++: Update test comment
Robert Marsh
committed

Commits on Sep 22, 2020

Merge branch 'main' into rdmarsh2/cpp/output-iterators-1
Robert Marsh
committed

Commits on Sep 23, 2020

C++: New model class for iterator op* and op[]
Robert Marsh
committed
C++: autoformat
Robert Marsh
committed

Commits on Sep 24, 2020

C++: remove unneeded predicate
Robert Marsh
committed
C++: add qldoc comment
Robert Marsh
committed
C++: autoformat
Robert Marsh
committed

Commits on Sep 25, 2020

C++: fix QLDoc
Robert Marsh
committed

Commits on Sep 26, 2020

C++: Fix performance issue in PartialDefinition
Robert Marsh
committed

Commits on Sep 30, 2020

C++: Autoformat fixup
jbj
committed