Predicate RangeAnalysis::linearComparisonGuard
Holds if guard asserts that the outcome of A <op> B + bias is true, where <op> is a comparison operator.
Import path
import semmle.javascript.RangeAnalysispredicate linearComparisonGuard(ConditionGuardNode guard, Node a, int asign, string op, Node b, int bsign, Bias bias)