Commit 4e12924

committed

C++: Refactor ProductFlow to have a DataFlow::ConfigSig-like interface

1 parent c879863 commit 4e12924Copy full SHA for 4e12924

4 files changed

+398

-214

lines changed

cpp/ql
- lib/experimental/semmle/code/cpp/dataflow
  - ProductFlow.qll
- src/experimental
  - Likely Bugs
    - ArrayAccessProductFlow.ql
    - OverrunWriteProductFlow.ql
  - Security/CWE/CWE-193
    - InvalidPointerDeref.ql

4 files changed

+398

-214

lines changed

Comments

(0)