Repository navigation

Generalization of FlowAfterFree - #15343

Merged

MathiasVP merged 13 commits into

github:mainfrom

microsoft:38-cpp-generalize-use-after-free-libraries

Jan 23, 2024

Merged

Generalization of FlowAfterFree#15343
MathiasVP merged 13 commits into
github:mainfrom
microsoft:38-cpp-generalize-use-after-free-libraries

Commits on Jan 16, 2024
- Updating FlowAfterFree to not enforce dominance of source/sink. DoubleFree and UseAfterFree queries now enforce dominance.
  bdrodes
  committed
  a0ef795
- Updating .expected
  bdrodes
  committed
  9a0e2e5
Commits on Jan 17, 2024
- C++: Suggestions to #15343 (#39)
  MathiasVP
  authored
  39dafd6
- Merge branch 'main' into 38-cpp-generalize-use-after-free-libraries
  bdrodes
  authored
  67e43ec
Commits on Jan 18, 2024
Commits on Jan 22, 2024
- Updating .expected to account for new free/deallocation sources.
  bdrodes
  committed
  2181fcf
- Moving FlowAfterFree and UseAfterFree.qll as a general purpose lib.
  bdrodes
  committed
  da10e6c
Commits on Jan 23, 2024