Antique-team

Repositories

• clangml

  OCaml bindings for clang

  c ast clang ocaml-library
  C++ 8 21 25 1 Updated May 1, 2018

• memcad

  The MemCAD static analyzer

  c static-analysis ocaml abstract-interpretation shape-analysis
  OCaml GPL-3.0 4 22 0 0 Updated Oct 5, 2017

• clangml-transforms

  transformations from Clang AST to MemCAD AST

  c transformations ast ocaml-library
  OCaml 2 5 1 0 Updated Dec 2, 2015