C++: Replace `field -> object` taint rule with `ArrayContent` dataflow - #4230

Merged

jbj merged 15 commits into

github:mainfrom

MathiasVP:mathiasvp/array-field-flow

Sep 18, 2020

Commits on Sep 8, 2020

Commits on Sep 11, 2020

Merge branch 'main' into mathiasvp/array-field-flow
MathiasVP
committed
ff09104

Commits on Sep 14, 2020

Commits on Sep 15, 2020

C++: Add comments to {Array,Pointer}StoreNode and arrayStoreStepChi.
MathiasVP
committed
50ad4cf

Commits on Sep 16, 2020

Merge branch 'main' into mathiasvp/array-field-flow
MathiasVP
committed
7b456d6
C++: Remove the same rule in TaintTrackingUtil.qll as 78b24b76a0 removed from DefaultTaintTracking.qll
MathiasVP
committed
0b97a4a
Revert "C++: Remove the problematic taint tracking rule. It seems like we get the flows from dataflow already now."
MathiasVP
committed
92d81ed
Revert "C++: Remove the same rule in TaintTrackingUtil.qll as 78b24b76a0 removed from DefaultTaintTracking.qll"
MathiasVP
committed
3026eb4
C++: Accept test changes.
MathiasVP
committed
3520b86