[WIP][C++ BoundsSafety] Experimental change of how we substitute and compare expressions#11148

Open

ziqingluo-90 wants to merge 2 commits intonextfrom

dev/ziqing/PR-155952016

Commits on Jul 22, 2025

[C++ BoundsSafety] Fix false positives when pointer argument is a function call
ziqingluo-90
committed

Commits on Aug 8, 2025

experimental change to expression comparision with substitution.
ziqingluo-90
committed