Predicate positiveExpr
Holds if e
can be positive and cannot be negative.
Import path
import semmle.code.csharp.dataflow.SignAnalysis
predicate positiveExpr(Expr e)
Holds if e
can be positive and cannot be negative.
import semmle.code.csharp.dataflow.SignAnalysis
predicate positiveExpr(Expr e)