'CaLLi: OCaml Library for Static Analysis of LLVM bitcode' is accepted at SoftwareX!
The paper “CaLLi: OCaml Library for Static Analysis of LLVM bitcode” written by M.S. candidate Soyeon Baek and Prof. Sungho Lee was accepted at SoftwareX (IF 3.4). The paper proposes a new OCaml library that supports the easy-development of static analyzers targeting LLVM bitcode. Congratulations!