The static analyzer reported an over-approximation of the reachable states to ensure soundness.

Researchers often rely on over-approximations when verifying complex systems to ensure safety margins.

To ensure safety margins, engineers often over-approximate the worst-case load when designing the support beams.

The static analyzer is over-approximating the set of possible variable values, which causes many false positives during verification.

The static analyzer over-approximates the set of reachable states to ensure safety.

During static analysis, the tool over-approximated the program's possible behaviors, causing many false positives.