Projects tagged ‘staticanalysis’

PHPMD - PHP Mess Detector

Analyzed 2 days 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 ... [More]

23.2K lines of code

16 current contributors

about 1 month since last commit

16 users on Open Hub

Moderate Activity

0 Reviews

I Use This

Mostly written in PHP

Licenses: BSD-3-Clause

Rascal MPL

Analyzed almost 4 years ago

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.

330K lines of code

12 current contributors

almost 4 years since last commit

5 users on Open Hub

Activity Not Available

0 Reviews

I Use This

Mostly written in Java

Licenses: eclipse

Tags dsl dsl_tools functional_language generalizedparsing genericprogramming ide idegenerator languageworkbench metaprogramming metrics parsergenerator patternmatching 7 more...

Prospector (Python)

Claimed by Python Code Quality Authority Analyzed 6 months ago

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 ... [More]

3.26K lines of code

0 current contributors

over 5 years since last commit

4 users on Open Hub

Activity Not Available

0 Reviews

I Use This

Mostly written in Python

Licenses: GPL2

Tags code_analyser code_analysis code_metrics lint metrics pep8 pylint python quality_assurance softwaremetrics sourceanalysis sourceanalyzer 6 more...

icarus-lang

Analyzed 1 day 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 ... [More]

35.9K lines of code

1 current contributors

almost 5 years since last commit

2 users on Open Hub

Inactive

0 Reviews

I Use This

Mostly written in C

Licenses: mit

Tags c compiled compiler development experimental garbage_collection genericprogramming intepreter interpreted language multipledispatch programming 6 more...

lizard

Analyzed 2 days ago

A simple code complexity analyser without caring about the C/C++ header files or Java imports, supports most of the popular languages.

54.8K lines of code

8 current contributors

4 months since last commit

2 users on Open Hub

Very Low Activity

0 Reviews

I Use This

Mostly written in JavaScript

Licenses: No declared licenses

Tags c c++ complexity csharp cyclomaticcomplexity java metrics python quality softwareengineering staticanalysis

PHPCheckstyle

Analyzed 2 days 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.

11.4K lines of code

0 current contributors

12 months since last commit

2 users on Open Hub

Very Low Activity

0 Reviews

I Use This