Repository navigation

C++: Fix field conflation after #4230 - #4302

Merged

jbj merged 8 commits into

github:mainfrom

MathiasVP:fix-field-conflation-after-4230

Sep 22, 2020

Merged

C++: Fix field conflation after #4230#4302
jbj merged 8 commits into
github:mainfrom
MathiasVP:fix-field-conflation-after-4230

Commits on Sep 18, 2020
- C++: Add a read and store step that replace ArrayContent with FieldContent when we realize that the target of a store is a field.
  MathiasVP
  committed
  b6b17fe
- C++: Accept tests
  MathiasVP
  committed
  53da751
Commits on Sep 21, 2020
- Update cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
  
  MathiasVP
  and
  jbj
  authored
  6dd7675
- C++: Add more tests
  MathiasVP
  committed
  49dd576
- C++: Add QLDoc for BufferMayWriteSideEffectFieldStoreQualifierNode
  MathiasVP
  committed
  c560c75
- C++: use(x) is no longer an array read.
  MathiasVP
  committed
  62d42f2
- C++: Accept tests. Due to the removal of overlap between the reads steps there are fewer repeated edges in path explanations.
  MathiasVP
  committed
  73cd5ce
- C++: Handle more cases in arrayReadStep.
  MathiasVP
  committed
  873e871