Managed Projects

KLEE

  Analyzed about 9 hours ago

The KLEE symbolic virtual machine.

53.5K lines of code

16 current contributors

7 days since last commit

3 users on Open Hub

Moderate Activity
0.0
 
I Use This

zcov

  Analyzed about 2 hours ago

zcov is wrapper around the basic facilities of gcov for generating pretty summaries for entire code bases. It is similar to lcov with an emphasis on nicer HTML output (including, for example, branch coverage), and a greatly simplified command line interface which tries to work around deficiencies in the metadata provided by gcov.

1.32K lines of code

0 current contributors

almost 9 years since last commit

0 users on Open Hub

Inactive
0.0
 
I Use This