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.CustomAbstractValueDefinitionsClasses
| 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. |