Generalization of FlowAfterFree#15343

Merged

MathiasVP merged 13 commits intogithub:mainfrom

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

Jan 23, 2024

Commits on Jan 16, 2024

Updating FlowAfterFree to not enforce dominance of source/sink. DoubleFree and UseAfterFree queries now enforce dominance.
bdrodes
committed
Updating .expected
bdrodes
committed

Commits on Jan 17, 2024

Commits on Jan 22, 2024

Updating .expected to account for new free/deallocation sources.
bdrodes
committed
Moving FlowAfterFree and UseAfterFree.qll as a general purpose lib.
bdrodes
committed

Commits on Jan 23, 2024