Module SignAnalysis
Provides sign analysis to determine whether expression are always positive or negative.
The analysis is implemented as an abstract interpretation over the
three-valued domain {negative, zero, positive}.
Import path
import semmle.code.java.dataflow.SignAnalysisImports
| SignAnalysisCommon | Provides sign analysis to determine whether expression are always positive or negative. |