c2ocaml
c2ocaml - a source-to-source transformer to take c files into OCaml files compatible with lsee (a lightweight symbolic execution engine)
c2ocaml - a source-to-source transformer to take c files into OCaml files compatible with lsee (a lightweight symbolic execution engine)