Provides utility predicates used by the pointless comparison queries.
Simple range analysis library. Range analysis is usually done as an abstract interpretation over the lattice of range values. (A range is a pair, containing a lower and upper bound for the value.) The problem with this approach is that the lattice is very tall, which means it can take an extremely large number of iterations to find the least fixed point. This example illustrates the problem:
Provides classes and predicates for working with C/C++ code.
Describes which side of a pointless comparison is known to be smaller.