\brief Reduce the abstract value

\brief Return the textual representation of a binary operator

\brief Show the result type of the statements

\brief If the interval is a singleton [n, n], return n, otherwise return boost::none

\brief Compute the strong closure algorithm TODO(marthaud): This is not thread-safe.

\brief Add parentheses around the given expression

\brief Allocate a new memory object `addr` with unknown size We consider as a memory object an alloca (i.e., stack variables), global variables, mall

\brief Scalar assignment `lhs = rhs` Requires that `lhs` and `rhs` have the same type. Propagates uninitialized variables.

\brief Check that the given type is a floating point type

\brief Check that the given type is a pointer type

\brief Check that the given type is a signed integer type

\brief Check that the given type is an unsigned integer type

\brief Enter a basic block

\brief Execute an integer binary operation

\brief Begin iterator over the fields of the structure

\brief Return the function

\brief Run Euclid's algorithm Compute `g = gcd(a, b)` and `u`, `v` such that `g = a*u + b*v` The value in `g` is always positive, even if one or bot

\brief Get the global variable initializer code

\brief Return true if the constraint is an equality (==)

\brief Return true if the constraint is an inequality (<=)

\brief Forget all memory cells

\brief Get the pointer operand

\brief Set the pointer set of the given memory location

\brief Return the sign of the given variable

\brief Update the partitions after a variable update

\brief Accept the given visitor

\brief Create an equivalence class containing the given variable Precondition: `v` is not already present in the relation

\brief Return true if the given function is within the call context

\brief Begin iterator over the elements of the sequence

\brief End iterator over the elements of the sequence

\brief Leave a basic block Use the liveness analysis to remove dead variables

Return the source file path, or None

\brief Get the parent function

\brief Return the abstract value for the given pointer

\brief Get the intrinsic ID

\brief Get the intrinsic ID

\brief Is it an intrinsic function?

\brief Return true if the constant is a number

\brief Return true if the machine integer is strictly greater than 0

\brief Return true if the literal is a variable

\brief Modulo Returns the modulo of the operands. The result is always non-negative. The sign of the divisor is ignored.

\brief Get the number of arguments

Return the parent calling context

\brief Pop a node from the stack

\brief Reduction Let (i, c) be a pair of interval and congruence if (c.is_bottom() || i.is_bottom()) (bottom(), bottom()); if (c = 0Z+a and a notin i

\brief Reduce the interval-congruence Let (i, c) be a pair of interval and congruence if (c.is_bottom() || i.is_bottom()) (bottom(), bottom()); if (c

\brief Convert a std::size_t representing a size or an offset to a MachineInt

Return the call statement

\brief Dump the statement for debugging purpose

\brief Does it have an operand?

\brief Return true if the abstract value is bottom This is not always correct since it doesn't check this->_scalar

\brief Is it an integer type?

\brief Is it a pointer type?

\brief Return true if the congruence is 0Z + 0

\brief Return the least common multiple of the given numbers

\brief Perform a memory copy from `src` to `dest`

\brief Reduce the pointer set

\brief Set the offset variable