Open Hub
Black Duck Open Hub

Tags : Browse Projects

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

Qulice

Compare

  Analyzed about 5 hours ago

Quality control software for Java projects.

13.1K lines of code

9 current contributors

1 day since last commit

1 users on Open Hub

Moderate Activity
5.0
 
0 Reviews
I Use This
Mostly written in Java
Licenses: bsd
Tags checkstyle findbugs java maven pmd quality staticanalysis testing unittesting

CoFlo

Compare

  Analyzed 1 day ago

CoFlo is a Free and Open Source source code analysis tool which generates and analyzes control flow graphs from C and C++ source. Control flow graphs can be output in graphical or textual format. CoFlo’s target audience is all developers in need of a deeper inspection, analysis, understanding ... [More] , and visualization of their C and C++ source code. [Less]

12.1K lines of code

0 current contributors

almost 11 years since last commit

1 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: gpl3
Tags boost c c++ control-flow graphviz static-analysis static_analysis staticanalysis visualization

The OPAL Project - An OPen Analysis Library for Java Bytecode

Compare

  Analyzed about 10 hours ago

OPAL is a platform for analyzing and engineering Java byte code that is written in Scala and which leverages Scala's advanced language features to provide a new and previously unseen level of customizability and scalability. OPAL was designed from the ground up with extensibility, adaptability and ... [More] scalability in mind. In general, OPAL facilitates writing concurrent analyses and is already highly parallelized. On top of the framework for representing and engineering Java byte code, OPAL in particular provides a framework for the abstract interpretation of Java bytecode. Additionally, it has built-in support for the analysis of static source code dependencies and generally provides extensive support for pattern-matching on Java bytecode. [Less]

493K lines of code

8 current contributors

2 months since last commit

1 users on Open Hub

Moderate Activity
0.0
 
0 Reviews
I Use This
Mostly written in Scala
Licenses: bsd_2clau...
Tags abstractinterpretation architecture bytecode bytecodeanalysis concurrent dependencies dependencyanalysis java javabytecode jvm scala staticanalysis

Facebook Flow

Compare

Claimed by Facebook Analyzed 1 day ago

Adds static typing to JavaScript to improve developer productivity and code quality.

401K lines of code

195 current contributors

3 days since last commit

1 users on Open Hub

Very High Activity
0.0
 
0 Reviews
I Use This
Mostly written in OCaml
Licenses: No declared licenses
Tags compiler javascript safety staticanalysis typesystem

mypy

Compare

  Analyzed about 21 hours ago

Optional static typing for Python 3 and 2 (PEP 484) .

719K lines of code

119 current contributors

1 day since last commit

1 users on Open Hub

High Activity
5.0
 
0 Reviews
I Use This
Mostly written in Python
Licenses: lgpl
Tags compiler language python static-analysis staticanalysis typechecking typeinference typesystem typing

PCP-logicLAB-RequireVersionFormat

Compare

  Analyzed about 19 hours ago

A Perl::Critic policy to enforce version number formats.

291 lines of code

2 current contributors

10 months since last commit

1 users on Open Hub

Very Low Activity
0.0
 
0 Reviews
I Use This
Mostly written in Perl
Licenses: Artistic_...
Tags cpan critic perl perl5 perl_critic perlcritic perl_module policy static_analysis staticanalysis staticcodeanalysis

PCP-logicLAB-ProhibitUseLib

Compare

  Analyzed 1 day ago

This is a simple Perl::Critic policy aiming to prohibit the use of 'use lib' statements.

64 lines of code

2 current contributors

almost 3 years since last commit

1 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in Perl
Licenses: Artistic_...
Tags cpan critic perl perl5 perl_critic perlcritic perl_module policy static_analysis staticanalysis staticcodeanalysis

TypedDjango

Compare

  Analyzed about 15 hours ago

A project for bringing static type checking to Django and Django-related packages.

33.8K lines of code

0 current contributors

1 day since last commit

0 users on Open Hub

High Activity
0.0
 
0 Reviews
I Use This
Mostly written in Python
Licenses: mit
Tags django mypy staticanalysis type-annotation type-stubs typestubs typing

Hets - the Heterogenous Toolset

Compare

  Analyzed 1 day ago

Hets is a parsing, static analysis and proof management tool combining various tools for different specification languages, thus providing a tool for the heterogeneous specification language HetCASL. The structuring constructs of this language are those of CASL, plus some new heterogeneous ... [More] constructs for indicating the language and for language translations. Hence, Hets is based on a graph of logics and languages. [Less]

277K lines of code

0 current contributors

almost 10 years since last commit

0 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in Haskell
Licenses: Hets
Tags prover staticanalysis

Checker Framework

Compare

  Analyzed about 10 hours ago

The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs.

251K lines of code

26 current contributors

about 23 hours since last commit

0 users on Open Hub

High Activity
0.0
 
0 Reviews
I Use This
Mostly written in Java
Licenses: mit
Tags java pluggable safety staticanalysis typesystem