Repository Index

Puma Scan is a software security Visual Studio extension that provides real time, continuous source code analysis as development teams write code. Vulnerabilities are immediately displayed in the development environment as spell check and compiler warnings, preventing security bugs from entering your applications.

A static code analyser for annotated TODO comments

• go
• linters
• todo
• hacktoberfest

Performs advanced static analysis on PHP code

Chronos - A static race detector for the go language

• analysis
• golang
• synchronization
• detection

Compares two source sets and determines the appropriate semantic versioning to apply.

• php
• semver
• inspection
• ruleset

C Intermediate Language

Detect uses of legacy Java APIs

• java
• static-analysis
• maven-plugin
• guava

Remove unnecessary type conversions from Go source

The Exakat Engine : smart static analysis for PHP

• php
• php7
• gremlin
• neo4j

Command line program that detects unused resource strings in an iOS or OS X application.

PHPStan analysis for Blade templates

A high-performance static analysis toolkit for Ruby

• ruby
• static-analysis
• type-checking

A static analysis tool for security

• php
• static-code-analysis
• security-tools
• vulnerability-scanners

a tool for code clone detection

• go
• tool
• code-clones
• golang

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

Lint tool for F#

• fsharp
• lint
• linter
• dotnet

Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.

• ocaml
• wasm
• webassembly
• interpreter

Roslyn-based analysis for code using the Serilog logging library. Checks for common mistakes and usage problems.

• serilog
• roslyn
• analysis
• refactor

An Elixir tool for checking safety of database migrations.

• elixir
• static-analysis
• code-analysis
• credo

NsDepCop is a static code analysis tool that enforces namespace and assembly dependency rules in C# projects.

• dependency-analysis
• csharp
• static-code-analysis
• msbuild

Analyzes Elm projects, to help find mistakes before your users find them.

• elm-review
• elm
• elm-lang
• static-code-analysis

Useful tools for Sorbet enthusiasts

• sorbet
• typing
• coverage
• lsp

TranslatedA code audit platform built as a secondary development of artex | Adds local decompilation of Java dependency libraries | Multi-account management

Dependency analysis and optimization toolkit for modern JavaScript and TypeScript codebases. Enforce dependency graph hygiene and remove unused code with a very fast CLI.

• dependency-analysis
• reverse-dependencies
• dependency-resolution
• file-dependencies