c-checker

There are 3 repositories under c-checker topic.

  • lucvoo/sparse

    mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git

    Language:C30449

  • gml4gtk/sparsegv

    generate graph data from C source using Linux kernel sparse tool

    Language:C1100

  • MuradAkh/Qicc

    Expediting verification of assertions in loops by isolation

    Language:OCaml1100