CodeQL library for Java/Kotlin
codeql/java-all 0.9.1 (changelog, source)
Search

Predicate anySign

Dummy predicate that holds for any sign. This is added to improve readability of cases where the sign is unrestricted.

Import path

import semmle.code.java.dataflow.internal.rangeanalysis.SignAnalysisCommon
predicate anySign(Sign s)