Select a tag to browse associated projects and drill deeper into the tag cloud.
PHPMD - PHP Mess Detector
Analyzed 1 day ago
This is the project site of PHPMD. It is a spin-off project of PHP Depend and aims to be a PHP equivalent of the well known Java tool PMD. PHPMD can be seen as an user friendly frontend application for the raw metrics stream measured by PHP Depend.
What PHPMD does is, it takes a given source code
Licenses:
BSD-3-Clause
Rascal MPL
No analysis available
Rascal is a domain specific language for source code analysis and manipulation a.k.a. meta-programming. It is currently being developed and tested at CWI. No formal release has been made yet, but there are alpha quality previews available.
Mostly written in language not available
Licenses:
eclipse
Prospector (Python)
Claimed by Python Code Quality Authority No analysis available
A Python static analysis frontend which configures and filters PyLint to produce more useful output and which will gain additional backends in future versions.
(If Flake8 is the lightweight check your IDE runs every time you save, this is intended to be the thorough check you run on a commit or
Mostly written in language not available
Licenses:
GPL2
icarus-lang
Analyzed about 14 hours ago
Programming language designed as an experiment to explore static verification of mutation contracts.
A hybrid imperative/functional language designed to explore the boundary between these 2 paradigms - trying to port some of the lessons and advantages from functional programming back to a more
lizard
Analyzed 1 day ago
A simple code complexity analyser without caring about the C/C++ header files or Java imports, supports most of the popular languages.
Licenses:
No declared licenses
PHPCheckstyle
Analyzed 1 day ago
PHPCheckStyle is a tool that helps PHP programmers adhere to certain coding conventions. The tool checks the code and reports coding standard violations in the code.
Licenses:
OSL-2-1
JBSE
J
Analyzed about 11 hours ago
A symbolic Java virtual machine for program analysis, verification and test generation.
codechecker
Analyzed about 20 hours ago
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
Licenses:
apache_2
PCP-logicLAB-ProhibitUseLib
Analyzed about 6 hours ago
This is a simple Perl::Critic policy aiming to prohibit the use of 'use lib' statements.
Licenses:
Artistic_...
sourcerer-project
S
Analyzed about 14 hours ago
Sourcerer: An infrastructure for large-scale source code analysis.