CaLLi is a OCaml Analysis Library for LLVM IR
calli
opam install calli
dune build opam install .
Read our Getting Started page for details.
CaLLi is MIT-licensed.