calliversion
CaLLi : OCaml Library for Static Analysis of LLVM bitcode
| Author | Soyeon Baek <sy.baek28@gmail.com> |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://github.com/cnu-ants/CaLLi |
| Issue Tracker | https://github.com/cnu-ants/CaLLi/issues |
| Maintainer | Soyeon Baek <sy.baek28@gmail.com> |
| Dependencies |
|
| Source [http] | https://github.com/cnu-ants/CaLLi_analyzer/archive/refs/tags/0.1.tar.gz md5=a8a2a047d4abec1277375276ee601432 sha512=c7d56afaed8aa6d6ca19aa515340fcbd7dccfd3308628030c5e53a3ed2a17e0c44c9f7496778a15b5dbc807c14db068f388585bca89f2c3f5cf433909fc942fa |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/calli/calli.0.1/opam |
No package is dependent
