Celeriac: .NET Front-End for Daikon

I Use This!

Inactive

Analyzed about 15 hours ago. based on code collected about 15 hours ago.

Project Summary

The Daikon dynamic invariant detector uses machine learning to infer likely program invariants and properties. The types of properties inferred by Daikon include “.field > abs(y)”; “y = 2*x+3”; “array a is sorted”; “for all list objects lst, lst.next.prev = lst”; “for all treenode objects n, n.left.value < n.right.value”; “p != null ⇒ p.content in myArray”; and many more.

In a Nutshell, Celeriac: .NET Front-End for Daikon...

...
has had 460 commits made by 6 contributors
representing 13,264 lines of code
...
is mostly written in C#
with a well-commented source code
...
has a young, but established codebase
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 3 years of effort (COCOMO model)
starting with its first commit in February, 2014
ending with its most recent commit over 10 years ago

Quick Reference

Project Links:

Homepage

Code Locations:

https://github.com/melonhead901/...

Similar Projects:

Managers:

tschiller

This Project has No vulnerabilities Reported Against it

Did You Know...

...
there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
...
by exploring contributors within projects, you can view details on every commit they have made to that project
...
use of OSS increased in 65% of companies in 2016
...
check out hot projects on the Open Hub