Open Hub
Black Duck Open Hub

Tags : Browse Projects

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

kaiaulu

Compare

  Analyzed about 5 hours ago

A data model for Software Engineering data analysis

5.08K lines of code

0 current contributors

3 days since last commit

0 users on Open Hub

Low Activity
0.0
 
0 Reviews
I Use This
Mostly written in R
Licenses: No declared licenses
Tags code_analysis codemanagement mining-software-repositories socialnetwork softwareengineering static_analysis

djLint

Compare

  Analyzed about 15 hours ago

✨ HTML Template Linter and Formatter. Django - Jinja - Nunjucks - Handlebars - GoLang

15.8K lines of code

0 current contributors

3 months since last commit

0 users on Open Hub

Moderate Activity
5.0
 
0 Reviews
I Use This
Mostly written in Python
Licenses: gpl3_or_l...
Tags django formatter html jinja2 lint linter nunjucks reformatter static_analysis style template

smatch source matcher

Compare

  Analyzed about 4 hours ago

An experiment in finding kernel errors. There are two main parts to Smatch. The first is a patch to the gcc sources to print out a lot of information. The second part is a collection of perl scripts and libraries to analyze the information.

231K lines of code

13 current contributors

3 days since last commit

0 users on Open Hub

High Activity
0.0
 
0 Reviews
I Use This
Mostly written in C
Licenses: gpl
Tags c code_analysis cross-platform devtool lint programming qa software_development static_analysis tools

CPAchecker

Compare

  Analyzed about 23 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

7 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

cpplint/cpplint

Compare

  Analyzed 2 months ago

static code checker for C++

41.3K lines of code

7 current contributors

2 months since last commit

0 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: BSD-3-Clause
Tags c++ linter nolint static_analysis

Klever

Compare

  Analyzed about 14 hours ago

Klever is a software verification framework that aims at automated checking of programs developed in the GNU C programming language against a variety of requirements using software model checkers (automatic software verification tools) implementing such methods of thorough static analysis as Bounded ... [More] Model Checking and Counterexample-Guided Abstraction Refinement. Software model checking allows finding faults that can be hardly detected by other software quality assurance techniques like code review, testing and static analysis. In addition, it is capable to prove formal correctness of programs checked against particular requirements under certain assumptions. [Less]

268K lines of code

6 current contributors

5 days since last commit

0 users on Open Hub

Low Activity
0.0
 
0 Reviews
I Use This
Mostly written in JavaScript
Licenses: apache_v2
Tags c formal_methods formalmethods model_checking modelchecking software_verification specification static_analysis verification

ApplicationInspector

Compare

Claimed by Microsoft Analyzed about 14 hours ago

A source code analyzer built for surfacing features of interest and other characteristics to answer the question 'what's in it' using static analysis with a json based rules engine. Ideal for scanning components before use or detecting feature level changes.

14.4K lines of code

0 current contributors

21 days since last commit

0 users on Open Hub

Low Activity
0.0
 
0 Reviews
I Use This
Mostly written in C#
Licenses: lgpl
Tags analyzer c c# c++ cplusplus csharp go html java javascript objective-c powershell 6 more...

lint-maven-plugin

Compare

  Analyzed about 8 hours ago

POM lint plugin for maven

5.33K lines of code

0 current contributors

over 8 years since last commit

0 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in Java
Licenses: No declared licenses
Tags java maven quality static_analysis xml

pi-translate

Compare

  No analysis available

π-translate is a program (and accompanying framework) to convert source code to its equivalent π-calculus representation. From there, it is possible to further process the resulting expressions; the default plugin will try to produce a name-bounded version(*) and, on request, the accompanying ... [More] Petri-Net representation. The main goal is to enable the user to run a series of static verification tests on the original code. (*) Reiner Hüchting, Rupak Majumdar, and Roland Meyer. “A Theory of Name-Boundedness”. [Less]

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in language not available
Licenses: gpl3_or_l...
Tags c++11 concurrency java petri_nets pi_calculus static_analysis static_verification

clang-tartan

Compare

  Analyzed about 14 hours ago

A set of tools and plugins for Clang which aim to improve the usefulness of Clang for developing GLib and GNOME applications.

6.92K lines of code

0 current contributors

over 6 years since last commit

0 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: gpl3
Tags c clang code_analysis glib gnome gobject gobject_introspection quality_assurance static_analysis staticanalysis staticcodeanalysis staticcodeanalyzer