PHPStan focuses on finding errors in your code without actually running it. It catches whole classes of bugs even before you write tests for the code.PHPStan moves PHP closer to compiled languages in the sense that the correctness of each line of the code can be checked before you run the actual line.
phpstan static-analysis php7 testing static-code-analysis static-analyzerMirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.
compiler c-plus-plus performance coding-style static-analyzerThis project is an OSS Static Code Analysis tool for PhpStorm (2016.2+) and Idea Ultimate. Some of inspections are expecting conditional statements (e.g. "if") to use group statement for wrapping body expressions. If this requirement is met then additional inspections are applied to the source code.
phpstorm static-analysis php7 awesome intellij intellij-plugin static-code-analysis static-analyzer phpstorm-pluginTailor is a cross-platform static analysis and lint tool for source code written in Apple's Swift programming language. It analyzes your code to ensure consistent styling and help avoid bugs. Tailor supports Swift 3.0.1 out of the box and helps enforce style guidelines outlined in the The Swift Programming Language, GitHub, Ray Wenderlich, and Coursera style guides. It supports cross-platform usage and can be run on Mac OS X via your shell or integrated with Xcode, as well as on Linux and Windows.
linter static-analyzer applePHPMD 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. You can pass a file name or a directory name containing PHP source code to PHPMD.
mess-detector pmd static-analysis static-analyzer clean-codePhpMetrics provides metrics about PHP project and classes, with beautiful and readable HTML report. Then open the generated ./myreport/index.html file in your browser.
static-analyzer quality metricsprealloc is a Go static analysis tool to find slice declarations that could potentially be preallocated. Similar to other Go static analysis tools (such as golint, go vet), prealloc can be invoked with one or more filenames, directories, or packages named by its import path. Prealloc also supports the ... wildcard.
static-code-analysis static-analyzer static-analysis prealloc-suggestions sliceSonarQube JavaScript Analyzer
sonarqube static-analysis static-code-analysis static-analyzer code-qualityDoctrine extensions for PHPStan
php7 phpstan static-analysis testing static-code-analysis static-analyzer doctrine doctrine2Nette Framework class reflection extension for PHPStan & framework-specific rules
nette-framework phpstan php7 static-analysis static-analyzer static-code-analysis testingA package designed to wrap a build so that all calls to gcc/clang are intercepted and logged into a compilation database and/or piped to the clang static analyzer. Includes intercept-build tool, which logs the build, as well as scan-build tool, which logs the build and runs the clang static analyzer on it. Or check out the sources and add the directory bin to your PATH environment.
clang static-analyzer compilation-database build-systemComplete Docker Compose guide to configure and run SonarQube + MySQL docker applications. Orchestrating Docker with compose sounds easy, but there are a few pitfalls in practice. Read on to learn about the whole story, or if you just wanna run it, jump directly to Getting Started.
docker orchestration sonar sonarqube quality static-analysis static-analyzer ciA tooling framework for analyzing and modifying large codebases automatically. Proved on 2 million lines of code.
static-analyzer automatic-programmingDg is a library which implements dependence graphs for programs. It contains a set of generic templates that can be specialized to user's needs. Dg can be used for different analyses, optimizations or program slicing (we currently use it for the last one in our tool called Symbiotic: https://github.com/staticafi/symbiotic). As a part of dg, you can find pointer analyses, reaching definitions analysis and a static slicer for LLVM. Whole project is under developement and lacks documentation for now, so in the case of need, contact us by an e-mail (below).
llvm-bitcode llvm-slicer dependence-graph static-analysis static-code-analysis reaching-definitions slicing dependency-graph program-analysis slice graph analysis llvm llvm-ir static-analyzer pointer-analysis points-to-analysis data-dependent control-dependent dependenciesCheck our the Online Demo. Bixie is a static analysis tool that detects inconsistencies in Java bytecode. An inconsistency occurs when code must throw an exception or is unreachable because because of assumptions made by other statements.
static-analysis static-analyzer program-analysis inconsistencycfmt is a tool to wrap Go comments over a certain length to a new line. Note: cfmt requires gofmt.
static-code-analysis static-analyzer static-analysis comment commenting commentsidentypo is a Go static analysis tool to find typos in identifiers (functions, function calls, variables, constants, type declarations, packages, labels) including CamelCased functions, variables, etc. It is built on top of client9's misspell package. misspell operates on raw text and comments. identypo operates on AST identifiers (i.e. variable names, function names, etc.). Moreover, identypo splits each camelcased identifier if necessary (MyIdentifierName turns into 'My Identifier Name') prior to analyzing whether or not it is spelled correctly. Under the hood, identypo is using misspell's spellchecking engine to determine whether not a given word is spelled correctly.
static-code-analysis static-analyzer static-analysis spellcheck spellchecking
We have large collection of open source products. Follow the tags from
Tag Cloud >>
Open source products are scattered around the web. Please provide information
about the open source projects you own / you use.
Add Projects.