Search
❯
Dec 03, 20251 min read
A Compiler Analysis is sound if its result includes every possible behavior.