Static range analysis for the LLVM compiler infrastructure. - View it on GitHub