Predicate varEqualityTestExpr
Gets an expression of the form v1 == v2 or v1 != v2.
The predicate is symmetric in v1 and v2.
Note this includes Kotlin’s == and != operators, which are value-equality tests.
Import path
import semmle.code.java.dataflow.NullGuards
EqualityTest
varEqualityTestExpr
(
SsaVariable
v1
,
SsaVariable
v2
,
boolean
isEqualExpr
)