CodeQL library for JavaScript
codeql/javascript-all 0.2.2 (changelog, source)
Search

Member predicate CustomAbstractValue::isIndefinite

Holds if this abstract value is an indefinite value arising from the incompleteness cause.

predicate isIndefinite(Incompleteness cause)