Static Analyzer for LLVM bitcode based on Abstract Interpretation - View it on GitHub