C++: Initial AST-based flow through fields#1715

Merged

geoffw0 merged 28 commits into

github:masterfrom

jbj:ast-field-flow

Aug 15, 2019

Commits on Aug 8, 2019

Begin extending dataflow node model for field flow (and other stuff)

pavgust
authored and
jbj
committed
No implicit instances for constructor call

pavgust
authored and
jbj
committed
Introduce partial-definition nodes

pavgust
authored and
jbj
committed
Propagate data flow through `NewExpr`s

pavgust
authored and
jbj
committed
Handle constructor call qualifiers

pavgust
authored and
jbj
committed
Reduce partial definition flow edge redundancy

pavgust
authored and
jbj
committed
Add missing `getType` override

pavgust
authored and
jbj
committed
Exclude partial defs from ordinary SSA handling

pavgust
authored and
jbj
committed
Only split BBs for var-defining partial-defs

pavgust
authored and
jbj
committed
Override getFunction on PostUpdateNodes

pavgust
authored and
jbj
committed
Add handling of post-constructor-call nodes

pavgust
authored and
jbj
committed
C++ field flow: Add test.

pavgust
authored and
jbj
committed
Use more meaningful name

pavgust
authored and
jbj
committed
Remove unused args

pavgust
authored and
jbj
committed
Add extra test cases

pavgust
authored and
jbj
committed
C++: Undo autoformat of FlowVar.qll
jbj
committed
C++: Accept AST field flow test output
jbj
committed
C++: Remove TThisVar
jbj
committed
C++: Unify partial def and def-by-ref
jbj
committed
C++: PartialDefNode -> PartialDefinitionNode
jbj
committed
C++: Tidy up DataFlowUtil.qll
jbj
committed

Commits on Aug 9, 2019

Commits on Aug 12, 2019

Commits on Aug 13, 2019

C++: Improved ConstructorCall field flow
jbj
committed

Commits on Aug 14, 2019

C++: Add forgotten toString override
jbj
committed

Commits on Aug 15, 2019

C++: Remove redundant toString override
jbj
committed