GitHub topics: c-checker
lucvoo/sparse
mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git
Language: C - Size: 3.9 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 23 - Forks: 8
MuradAkh/Qicc
Expediting verification of assertions in loops by isolation
Language: OCaml - Size: 1.08 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
gml4gtk/sparsegv
generate graph data from C source using Linux kernel sparse tool
Language: C - Size: 1.4 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
