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
should be part of the standard library.