Definition A Compiler Analysis is sound if its result includes every possible behavior but may include additional behaviors.