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

Member predicate AbstractValue :: isIndefinite

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

predicate isIndefinite ( Incompleteness cause )