I think you should distinguish between whether checks like double free detection are 100% reliable deterministic checks or probabilistic ones.
Could also distinguish between strength for probabilistic checks but it's less important since the main bypass would be via leaks.
This Tweet was deleted by the Tweet author. Learn more
