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
)