CaLLi : OCaml Analysis Library for LLVM IR - View it on GitHub