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

semmle.javascript.dataflow.CustomAbstractValueDefinitions

Imports

javascript

Provides classes for working with JavaScript programs, as well as JSON, YAML and HTML.

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.