sixgill

I Use This!

Inactive

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

Project Summary

sixgill is a tool for statically checking assertions in C/C++ code. It is nearly a verifier — that is, it is able to prove an assertion always holds, modulo some assumptions it makes about the code.

In a Nutshell, sixgill...

...
has had 174 commits made by 1 contributors
representing 214,283 lines of code
...
is mostly written in C++
with an average number of source code comments
...
has a codebase with a long source history
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 55 years of effort (COCOMO model)
starting with its first commit in January, 2010
ending with its most recent commit about 5 years ago

Quick Reference

Project Links:

Homepage

Code Locations:

http://svn.sixgill.org/trunk

Similar Projects:

Managers:

Become the first manager for sixgill

Licenses

GNU General Public License v3.0 only

Permitted

Commercial Use

Place Warranty

Distribute

Modify

Use Patent Claims

Forbidden

Hold Liable

Sub-License

Required

Include Copyright

Distribute Original

State Changes

Include License

Disclose Source

Include Install Instructions

These details are provided for information only. No information here is legal advice and should not be used as such.

All Licenses

This Project has No vulnerabilities Reported Against it

Did You Know...

...
Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog
...
there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
...
compare projects before you chose one to use