Celeriac: .NET Front-End for Daikon

I Use This!

Inactive

Analyzed about 3 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 about 9 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...

...
in 2016, 47% of companies did not have formal process in place to track OS code
...
compare projects before you chose one to use
...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
by exploring contributors within projects, you can view details on every commit they have made to that project