CodeQL library for JavaScript
Search

Module CustomAbstractValueDefinitions

Provides classes for working with analysis-specific abstract values.

Implement a subclass of CustomAbstractValueDefinition when the builtin abstract values of AbstractValues.qll are not expressive enough.

For performance reasons, all subclasses of CustomAbstractValueDefinition should be part of the standard library.

Import path

import semmle.javascript.dataflow.CustomAbstractValueDefinitions

Classes

CustomAbstractValueDefinition

A data-flow node that induces an analysis-specific abstract value.

CustomAbstractValueFromDefinition

An abstract representation of an analysis-specific value.

CustomAbstractValueFromDefinitionNode

Flow analysis for custom abstract values.