Interprocedural static analyzer for an academic imperative language with numerical variables and procedure calls.
OCaml libraries
opam pin add -n git+https://github.com/jogiet/camllib.git#master
opam pin add -n git+https://github.com/jogiet/fixpoint.git#master
C/OCaml library
opam pin add -n git+https://github.com/jogiet/interproc.git#master
opam depext -i interproc
- build via dune
- install via opam
- clean the remaining of the old build system
- integrate documentation via github pages
- revive old cgi scripts
- Better frontend using HTML visualizer