Static Analyzer for LLVM based on the Crab Abstract Interpretation Library. Support up to LLVM 18 - View it on GitHub