CodeChecker combines C and C++ static analysis with searchable defect reports, run comparisons and collaborative reviews in a web interface.
Read more
Tag: static analysis
clazy – Qt-oriented static code analyser
clazy is a Clang-based static code analyser providing specialised checks for C++ applications developed with Qt.
Read more
Coccinelle – semantic program matching and transformation
Coccinelle is a free and open source program matching and transformation engine for analysing and modifying C source code.
Read more
Smatch – static analyser for C code
Smatch is a free and open source static analysis tool for C code with extensive checks designed for the Linux kernel.
Read more
Atomdrift Scan – malware and software supply chain scanner
Atomdrift Scan detects malware in files, packages and archives using static analysis, rules, hashes and machine learning.
Read more
LiquidHaskell – refinement type checker for Haskell
LiquidHaskell is a formal verification tool that uses refinement types and SMT solving to check properties of Haskell programs.
Read more
deno_lint – Rust crate for JavaScript and TypeScript linters
deno_lint is a Rust crate for building JavaScript and TypeScript linters, with built-in rules, diagnostics, fixes and configurable rule sets.
Read more
Tach – enforce dependencies and interfaces in Python projects
Tach is a Rust-powered tool for defining and enforcing dependencies, interfaces and architectural boundaries within Python projects.
Read more
Arid – fast duplicate-code checker for Python
Arid is a fast duplicate-code checker for Python projects written in Rust, with configurable analysis, baselines and CI-friendly reports.
Read more
sloglint – enforce consistent log/slog code style
sloglint checks Go code using log/slog for consistent logging style, covering messages, arguments, keys, context use and custom functions.
Read more
godoc-lint – linter for consistent Go documentation
godoc-lint checks Go documentation against consistent comment practices, with configurable rules and integration with Golangci-lint.
Read more
goconst – find repeated literals that could be constants
goconst finds repeated string and numeric literals in Go source code that could be replaced by constants, with flexible filtering and output options.
Read more
exhaustive – check exhaustiveness of Go switch statements
exhaustive checks Go switch statements and map literals for missing enum cases, helping developers catch incomplete handling during static analysis.
Read more
5 Best Free and Open Source Verilog Linter Tools
Discover the best Verilog and SystemVerilog linting tools for static analysis, code quality, and HDL development.
Read more
Pharos – static binary analysis framework
Pharos is a static binary analysis framework with tools for API analysis, C++ object recovery, function hashing and YARA signature generation.
Read more
Best Free and Open Source Scala Linter Tools
Discover useful free and open source linters for Scala that help find errors, enforce coding standards, and improve code quality.
Read more
WartRemover – flexible Scala code linter
WartRemover is a flexible Scala linter that uses compiler plugins and configurable warts to reject unsafe, surprising or undesirable code.
Read more
perl-lsp – language server for Perl
perl-lsp is a Perl language server with type inference, completion, navigation, refactoring, diagnostics and command-line analysis tools.
Read more
Scapegoat – static code analysis for Scala
Scapegoat is a Scala static code analyser that flags bugs, questionable constructs and style problems through configurable compiler inspections.
Read more
Scalafix – refactoring and linting tool for Scala
Scalafix is a Scala refactoring and linting tool with syntactic and semantic rules for checking, rewriting and modernising source code.
Read more