Computer Science
7,622 items in 38 lists
-
go tool vet --shadow golang.org
Reports variables that may have been unintentionally shadowed.
-
gofmt -s golang.org
Checks if the code is properly formatted and could not be further simplified.
-
Goblint goblint.in.tum.de
A static analyzer for the analysis of multi-threaded C programs. Its primary focus is the detection of data races, but it also reports other runtime errors, such as buffer overflows and null-pointer dereferences.
-
govulncheck go.dev
Govulncheck reports known vulnerabilities that affect Go code. It uses static analysis of source code or a binary's symbol table to narrow down reports to only those that could affect the application. By default, govulncheck makes requests to the Go vulnerability database at…
-
gawk --lint gnu.org
Warns about constructs that are dubious or nonportable to other awk implementations.
-
aligncheck gitlab.com
Find inefficiently packed structs.
-
Polymer-analyzer github.com
A static analysis framework for Web Components.
-
phan github.com
A modern static analyzer from etsy.
-
this issue github.com
for more details. typescript-eslint is now your best option for linting TypeScript. TSLint is an extensible static analysis tool that checks TypeScript code for readability, maintainability, and functionality errors. It is widely supported across modern editors & build systems…
-
pfff github.com
Facebook's tools for code analysis, visualizations, or style-preserving source transformation for many languages.
-
Code Quality Checker Tools For PHP Projects github.com
A collection of PHP linters in github collections
-
Clean code linters github.com
A collection of linters in github collections
-
:information_source: github.com
warning: — Detect errors and potential problems in JavaScript code and enforce your team's coding conventions.
-
tclchecker github.com
A static syntax analysis module (as part of TDK).
-
HasMySecretLeaked gitguardian.com
copyright: — HasMySecretLeaked is a project from GitGuardian that aims to help individual users and organizations search across 20 million exposed secrets to verify if their developer secrets have leaked on public repositories, gists, and issues on GitHub projects.
-
GitGuardian ggshield gitguardian.com
ggshield is a CLI application that runs in your local environment or in a CI environment to help you detect more than 350+ types of secrets, as well as other potential security vulnerabilities or policy breaks affecting your codebase.
-
rector getrector.org
Instant Upgrades and Automated Refactoring of any PHP 5.3+ code. It upgrades your code for PHP 7.4, 8.0 and beyond. Rector promises a low false-positive rate because it looks for narrowly defined AST (abstract syntax tree) patterns. The main use-case are tackling technical debt…
-
CodeFlow getcodeflow.com
copyright: — Automated code analysis tool to deal with technical depth. Integrates with Bitbucket and Gitlab. (free for Open Source Projects)
-
Clayton getclayton.com
copyright: — AI-powered code reviews for Salesforce. Secure your developments, enforce best practice and control your technical debt in real-time.
-
GCC gcc.gnu.org
The GCC compiler has static analysis capabilities since version 10. This option is only available if GCC was configured with analyzer support enabled. It can also output its diagnostics to a JSON file in the SARIF format (from v13).
-
fta ftaproject.dev
Rust-based static analysis for TypeScript projects
-
fantomas fsprojects.github.io
F# source code formatter.
-
portlint freebsd.org
A verifier for FreeBSD and DragonFlyBSD port directories.
-
Fortitude fortitude.readthedocs.io
Fortran linter, inspired by (and built on) Ruff, and based on community best practices. Supports latest Fortran (2023) standard.
-
Fixinator fixinator.app
copyright: — Static security code analysis for ColdFusion or CFML code. Designed to work within a CI pipeline or from the developers terminal.
-
Find Security Bugs find-sec-bugs.github.io
The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
-
redex fbredex.com
Redex provides a framework for reading, writing, and analyzing .dex files, and a set of optimization passes that use this framework to improve the bytecode. An APK optimized by Redex should be smaller and faster.
-
Infer fbinfer.com
A static analyzer for Java, C and Objective-C
-
fb-contrib fb-contrib.sourceforge.net
A plugin for FindBugs with additional bug detectors.
-
Fallow fallow.tools
Rust-native static analysis for JavaScript and TypeScript. Maps a repository as one dependency graph to find unused code and structural problems across file boundaries. Runs from the CLI or GitHub Actions, with VS Code, LSP, MCP, and Node API integrations.
-
ESBMC esbmc.org
ESBMC is an open source, permissively licensed, context-bounded model checker based on satisfiability modulo theories for the verification of single- and multi-threaded C/C++ programs.
-
Error Prone errorprone.info
Catch common Java mistakes as compile-time errors.
-
dialyzer erlang.org
The DIALYZER, a DIscrepancy AnaLYZer for ERlang programs. Dialyzer is a static analysis tool that identifies software discrepancies, such as definite type errors, code that has become dead or unreachable because of programming error, and unnecessary tests, in single Erlang…
-
Enforster AI enforster.ai
copyright: — Enforster AI performs Contextual Code Security SAST, leveraging LLMs and artificial intelligence to reduce and enrich the detection of Logic Flaws, Secrets, Data leaks, Supply chain and technical vulnerabilities.
-
Embold embold.io
copyright: — Intelligent software analytics platform that identifies design issues, code issues, duplication and metrics. Supports Java, C, C++, C#, JavaScript, TypeScript, Python, Go, Kotlin and more.
-
cargo-deny embarkstudios.github.io
A cargo plugin for linting your dependencies. It can be used either as a command line too, a Rust crate, or a Github action for CI. It checks for valid license information, duplicate crates, security vulnerabilities, and more.
-
PHPQA edgedesigncz.github.io
A tool for running QA tools (phploc, phpcpd, phpcs, pdepend, phpmd, phpmetrics).
-
flawfinder dwheeler.com
Finds possible security weaknesses.
-
dotenv-linter dotenv-linter.readthedocs.io
Linting dotenv files like a charm.
-
dotenv-linter (Rust) dotenv-linter.github.io
Lightning-fast linter for .env files. Written in Rust
-
RuboCop docs.rubocop.org
A Ruby static code analyzer, based on the community Ruby style guide.
-
goodpractice docs.ropensci.org
Analyses the source code for R packages and provides best-practice recommendations.
-
OpenRewrite docs.openrewrite.org
OpenRewrite fixes common static analysis issues reported through Sonar and other tools using a Maven and Gradle plugin or the Moderne CLI.
-
Freeplane Code Explorer docs.freeplane.org
The Code Explorer mode in Freeplane is designed for analyzing the structure and dependencies of code compiled to JVM class files. It also allows displaying ArchUnit test results directly in Freeplane, if Freeplane is running and ArchUnit detects rule violations during the tests.
-
cookstyle docs.chef.io
Cookstyle is a linting tool based on the RuboCop Ruby linting tool for Chef cookbooks.
-
ty docs.astral.sh
An extremely fast Python type checker written in Rust.
-
abapOpenChecks docs.abapopenchecks.org
Enhances the SAP Code Inspector with new and customizable checks.
-
Diffblue diffblue.com
copyright: — Diffblue is a software company that provides AI-powered code analysis and testing solutions for software development teams. Its technology helps developers automate testing, find bugs, and reduce manual labor in their software development processes. The company's…
-
diff.rs diff.rs
Web application (WASM) to render a diff between Rust crate versions.
-
Similarity Tester dickgrune.com
A tool that finds similarities between or within files to support you encountering DRY principle violations.
- next page of items loading…
