89 Go Static Analysis Tools

Mega-Linter can handle any type of project thanks to its 70+ embedded Linters, its advanced reporting, runnable on any CI system or locally, with assisted installation and configuration, able to apply formatting and fixes

A fast, open-source, static analysis tool for finding bugs and enforcing code standards at editor, commit, and CI time. Its rules look like the code you already write; no abstract syntax trees or regex wrestling. Supports 17+ languages.

Examines Go source code and reports suspicious.

SonarQube is an open platform to manage code quality.

Reports known vulnerabilities in common dependencies and recommends updated packages to minimize breaking changes

Alternative to `Go Meta Linter`: GolangCI-Lint is a linters aggregator.

Go static analysis that specialises in finding bugs, simplifying code and improving performance.

Vulnerability Scanner and Risk Evaluation for containers, serverless and hosts at runtime. ThreatMapper generates runtime BOMs from dependencies and operating system packages, matches against multiple threat feeds, scans for unprotected secrets, and scores issues based on severity and risk-of-exploit.

CodeScene is a quality visualization tool for software. Prioritize technical debt, detect delivery risks, and measure organizational aspects. Fully automated.

Identify vulnerabilities that are unique to your code base before they reach production. Leverages the Code Property Graph (CPG) to run its analyses concurrently in a single graph of graphs. Automatically finds business logic flaws in dev like hardcoded secrets and logic bombs

In-depth static analysis to find issues in verticals of bug risks, security, anti-patterns, performance, documentation and style. Native integrations with GitHub, GitLab and Bitbucket. Less than 5% false positives.

Checks if the code is properly formatted and could not be further simplified.

Better Code Hub checks your GitHub codebase against 10 engineering guidelines devised by the authority in software quality, Software Improvement Group.

Checks missing or unreferenced package imports.

Modern repositories include many technologies, each with its own set of linters. With 30+ linters and counting, Trunk makes it dead-simple to identify, install, configure, and run the right linters, static analyzers, and formatters for all your repos.

Prints out coding style mistakes in Go source code.

Statically generates a call graph image and displays it on screen.

Check that error return values are used.

Commercial Static Code Analysis which doesn't require pre-compilation.

Automated code review tool integrates with GitHub, Bitbucket and GitLab (even self-hosted). Available for JavaScript, TypeScript, Python, Ruby, Go, PHP, Java, Docker, and more. (open-source free)

Finds unused code.

Go source code linter that maintains checks which are currently not implemented in other linters.

Scanmycode - Code Scanning/SAST/Linting using many tools/Scanners with One Report

Detect ineffectual assignments in Go code.

An automated code reviewing tool. Improving developers' productivity.

Universal code beautifier with a GitHub app. Supports HTML, CSS, JavaScript, TypeScript, JSX, Vue, C++, Go, Objective-C, Java, Python, PHP, GraphQL, Markdown, and more.

Find inefficiently packed structs.

Code Analysis to ship Better Code, Faster.

Reports variables that may have been unintentionally shadowed.

Package ast declares the types used to represent syntax trees for Go packages.

Inspects source code for security problems by scanning the Go AST.

Finds commonly misspelled English words.

Checks whether HTTP response body is closed.

Reports potentially duplicated code.

Identify and remediate cyber threats in a blazingly fast, collaborative environment, with seamless integration in your SDLC. Python, C\C++, Java, C#, PHP and more.

Enables code auditors and security teams to interactively investigate their unique code bases to find business logic flaws and technical vulnerabilities that traditional SASTs cannot. This is done by enabling the analyst to write their own custom queries. Can find hard-coded secrets, authentication issues, and malicious code like rootkits and backdoors.

A lightweight static code analyzer designed for developers and security teams. It allows you to analyze and transform source code with an intuitive DSL similar to sed, but for code.

Find unused struct fields.

Linter for integrating annotated TODOs with your issue trackers

Detect redundant type conversions.

Automated Code Reviews and Technical Debt management platform that supports 12+ languages.

Creates reports of over 400 rule patterns for feature detection (e.g. the use of cryptography or version control in apps).

Wrap and fix Go errors with the new %w verb directive. This tool analyzes fmt.Errorf() calls and reports calls that contain a verb directive that is different than the new %w verb directive introduced in Go v1.13. It's also capable of rewriting calls to use the new %w wrap verb directive.

Finds repeated strings that could be replaced by a constant.

Golang security analysis with a focus on minimizing false positives. It is capable of tracing the source of variables and function arguments to determine whether input sources are safe.

Syntactic and semantic analysis similar to the Go compiler.

Comments on style violations in GitHub pull requests. Supports Coffeescript, Go, HAML, JavaScript, Ruby, SCSS and Swift.

Lizard is an extensible Cyclomatic Complexity Analyzer for many programming languages including C/C++ (doesn't require all the header files or Java imports). It also does copy-paste detection (code clone detection/code duplicate detection) and many other forms of static code analysis. Counts lines of code without comments, CCN (cyclomatic complexity number), token count of functions, parameter count of functions.

Report long lines.

Detect structs that would take less memory if their fields were sorted.

Finds unused arguments in function declarations.

Snyk Code finds security vulnerabilities based on AI. Its speed of analysis allow us to analyse your code in real time and deliver results when you hit the save button in your IDE. Supported languages are Java, JavaScript, Python, PHP, C#, Go and TypeScript. Integrations with GitHub, BitBucket and Gitlab. It is free to try and part of the Snyk platform also covering SCA, containers and IaC.

Static code analysis tool for Java,C,C++,C#,Go.

Find unused function parameters.

CI/CD-agnostic DevSecOps platform which combines industry-leading fuzzing engines for finding bugs and visualizing code coverage

Static analyser for finding deadlocks in Go.

Finds assignments/declarations with too many blank identifiers.

Get info on length of functions in a Go package.

Analyzer that helps you to make your Go programs more consistent.

Calculate cyclomatic complexities of functions in Go source code.

Enforce a stricter format than `gofmt`, while being backwards-compatible. That is, `gofumpt` is happy with a subset of the formats that `gofmt` is happy with. The tool is a fork of `gofmt` as of Go 1.19, and requires Go 1.18 or later. It can be used as a drop-in replacement to format your Go code, and running gofmt after gofumpt should produce no changes. `gofumpt` will never add rules which disagree with `gofmt` formatting. So we extend `gofmt` rather than compete with it.

Finds N+1 queries (SQL calls in a for loop) in go code

Concurrently runs many linters and normalises their output to a report.

An interactive tool to analyze Golang goroutine dump.

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 https://vuln.go.dev. Requests to the vulnerability database contain only module paths, not code or other properties of your program.

Finds naked returns.

Finds slice declarations that could potentially be preallocated.

A tool for posting review comments from any linter in any code hosting service.

Fast, configurable, extensible, flexible, and beautiful linter for Go. Drop-in replacement of golint.

Static analysis tool for Golang that protects against SQL injections.

A proprietary code quality checker that can be integrated with GitHub.

Quickly find and remediate high-priority security issues. Semgrep Supply Chain prioritizes the 2% of vulnerabilities that are reachable from your code.

Sigrid helps you to improve your software by measuring your system's code quality, and then compares the results against a benchmark of thousands of industry systems to give you concrete advice on areas where you can improve.

Multi-language cloud-based static code analysis. History, trends, security hot-spots, pull request analysis and more. Free for open source.

Performs static analysis on raw SQL queries in your Go code base to surface potential runtime errors. It checks for SQL syntax error, identifies unsafe queries that could potentially lead to SQL injections makes sure column count matches value count in INSERT statements and validates table- and column names.

Static analyzer for Go that recommends struct field rearrangements to provide for maximum space/allocation efficiency

Combination of multiple linters to install as a GitHub Action.

Tencent Cloud Code Analysis (TCA for short, code-named CodeDog inside the company early) is a comprehensive platform for code analysis and issue tracking. TCA consist of three components, server, web and client. It integrates of a number of self-developed tools, and also supports dynamic integration of code analysis tools in various programming languages.

Show location of test failures from the stdlib testing module.

Find unused global variables and constants.

Enforces empty lines at the right places.

Automated Code Analysis for repos on GitHub or BitBucket.

Emerge is a source code and dependency visualizer that can be used to gather insights about source code structure, metrics, dependencies and complexity of software projects. After scanning the source code of a project it provides you an interactive web interface to explore and analyze your project by using graph structures.

Checks that no globals are present.

Find security vulnerabilities, variants, and critical code quality issues using CodeQL queries over source code. Automatic PR code review; free for open source. Formerly semmle. It supports public Git repositories hosted on Bitbucket Cloud, GitHub.com, GitLab.com.

Scan is a free open-source DevSecOps platform for detecting security issues in source code and dependencies. It supports a broad range of languages and CI/CD pipelines.

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.