Use the new dataflow module without affecting any tested behavior#1142

Merged

mbaluda merged 6 commits into

mbaluda-next-mergefrom

mbaluda-new-dataflow

Jun 30, 2026

Commits on Jun 18, 2026

Use the new dataflow module wherever possible without affecting any test behavior
mbaluda
committed
Refactor imports to use the updated DataFlow module in CleanUpThreadSpecificStorage and AccessOfUndefinedMemberThroughUninitializedStaticPointer
mbaluda
committed
Fix import path for DataFlow module in PlacementNewNotProperlyAligned.qll
mbaluda
committed

Commits on Jun 19, 2026

Commits on Jun 30, 2026

Merge branch 'mbaluda-next-merge' into mbaluda-new-dataflow
mbaluda
authored