A reference implementation for a fast abstract interpreter, using the mcfa allocation strategy.