CodeQL library for C#
codeql/csharp-all 0.7.5 ( changelog , source )
Search

Predicate Internal :: nullValueImpliedBinary

Holds if expression e3 is a null value whenever e1 and e2 are.

Import path

import semmle.code.csharp.controlflow.Guards
predicate nullValueImpliedBinary ( Expr e1 , Expr e2 , Expr e3 )