Very Low Activity

Project Summary

  Analyzed 7 days ago based on code collected 7 days ago.

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.

Share

In a Nutshell, sixgill...

Languages

C++
51%
Autoconf
17%
C
15%
10 Other
17%
 
 

Lines of Code

 

Activity

30 Day Summary Apr 13 2013 — May 13 2013

12 Month Summary May 13 2012 — May 13 2013

  • 13 Commits Down -2 (13%) from previous 12 months
  • 1 Contributors Down 0 (0%) from previous 12 months

Community

Ratings

Be the first to rate this project
 
Click to add your rating
 
Review this Project!
 
 
 

Creative Commons License Copyright © 2013 Black Duck Software, Inc. and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a Creative Commons Attribution 3.0 Unported License . Ohloh ® and the Ohloh logo are trademarks of Black Duck Software, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.