CodeQL library for JavaScript/TypeScript
codeql/javascript-all 0.8.10-dev (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)