4 ms·
You can use heuristics in provably sound static analyses as well, so your distinction isn't really valid.
by cwzwarich 14y ago
You can use heuristics in provably sound static analyses as well, so your distinction isn't really valid.
- scott_s 14y agoThe is a clear distinction between analysis that relies solely on heuristics and analysis that can provide a proof, even if it also uses heuristics.