Celeriac: .NET Front-End for Daikon

I Use This!

Inactive

Analyzed 1 day ago. based on code collected 2 days 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 11 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
...
check out hot projects on the Open Hub
...
in 2016, 47% of companies did not have formal process in place to track OS code
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog