\brief Class for unlimited precision integers

\brief Class for arbitrary precision machine integers

\brief Exception for import errors

\brief Text formatter

Represents a machine integer

\brief Machine integer constant abstract value

\brief Machine integer interval abstract value

\brief Machine integer Interval-Congruence abstract value This is implemented as a pair of interval and congruence abstract value.

\brief Machine integer congruence abstract value This is either bottom, or aZ + b. Note that top is represented as 1Z + 0.

\brief Exception for logical errors

\brief Any literal

\brief Class for unlimited precision rationals

\brief Database error

\brief Information about a data type

\brief Base class for values (ie., constants and variables) Note that only one instance of each value is ever created. Thus, you can compare two valu

\brief Exception for a mismatch between LLVM type and LLVM debug info

\brief Exception for frontend errors

\brief Exception for errors in command line arguments

\brief Exception for HardwareAddresses

Represents an interval [a, b], or bottom

\brief Concurrent intraprocedural value analysis

\brief A JSON string

\brief Lifetime abstract value This is either top, bottom, allocated or deallocated.

\brief Provide deterministic names to variables and basic blocks

\brief Nullity abstract value This is either top, bottom, non-null or null.

\brief Exception for big numbers

Represents a report on a statement

\brief Uninitialized abstract value This is either top, bottom, initialized or uninitialized.

\brief Represents the output of a llvm::BasicBlock

\brief A JSON integer

Represents an output database

Represents a congruence aZ + b, or bottom

\brief An empty code invariants

\brief A JSON dictionary

\brief A JSON floating point