Open Hub
Black Duck Open Hub

Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

ROSE Compiler

Compare

  Analyzed about 14 hours ago

A compiler infrastructure to build source-to-source program transformation and analysis tools.

6.26M lines of code

19 current contributors

6 months since last commit

3 users on Open Hub

Moderate Activity
5.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: bsd
Tags c c++ c89 c++98 c98 compiler compiler_construction compilers fortran fortran2003 fortran77 fortran95 8 more...

.NET Code Contracts

Compare

  Analyzed about 11 hours ago

Code Contracts provide a language-agnostic way to express coding assumptions in .NET programs. The contracts take the form of pre-conditions, post-conditions, and object invariants. Contracts act as checked documentation of your external and internal APIs. The contracts are used to improve ... [More] testing via runtime checking, enable static contract verification, and documentation generation. Code Contracts bring the advantages of design-by-contract programming to all .NET programming languages. [Less]

1.93M lines of code

0 current contributors

about 7 years since last commit

1 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in C#
Licenses: mit
Tags analysis attributes clr code_analysis code_contracts contracts dotnet microsoft program_analysis software_development software_documentation software_verification 1 more...

CPAchecker

Compare

  Analyzed about 9 hours ago

CPAchecker is a tool for configurable software verification. For more information on the CPAchecker project, please visit the CPAchecker Project Home Page.

400K lines of code

23 current contributors

2 days since last commit

0 users on Open Hub

High Activity
0.0
 
0 Reviews
I Use This
Mostly written in Java
Licenses: apache_2
Tags model_checking program_analysis software_verification static_analysis verification