static-analysis

В этом репозитории перечислены инструменты статического анализа для всех языков программирования, инструментов сборки, конфигурационных файлов и многого другого. Основное внимание уделяется инструментам, которые улучшают качество кода, таким как линтеры и форматтеры. Официальный сайт analysis-tools.dev основан на этом репозитории и добавляет рейтинги, комментарии пользователей и дополнительные ресурсы, такие как видео для каждого инструмента.

Спонсоры

Этот проект был бы невозможен без щедрой поддержки наших спонсоров.

Если вы также хотите поддержать этот проект, перейдите на нашу страницу GitHub Sponsors.

Значение символов

• ©️ обозначает проприетарное программное обеспечение. Все остальные инструменты имеют открытый исходный код.
• ℹ️ указывает на то, что сообщество не рекомендует инструмент для новых проектов. Значок ссылается на issue с обсуждением.
• ⚠️ означает, что инструмент не обновлялся более года или его репозиторий был заархивирован.

Мы очень приветствуем pull requests!

Также ознакомьтесь с родственным проектом awesome-dynamic-analysis.

Содержание

Языки программирования

ABAP	Erlang	PL/SQL
Ada	F#	Perl
Assembly	Fortran	Python
Awk	Go	R
C	Groovy	Rego
C#	Haskell	Ruby
C++	Haxe	Rust
Clojure	Java	SQL
CoffeeScript	JavaScript	Scala
ColdFusion	Julia	Shell
Crystal	Kotlin	Swift
Dart	Lua	Tcl
Delphi	MATLAB	TypeScript
Dlang	Nim	Verilog/SystemVerilog
Elixir	Ocaml	Vim Script
Elm	PHP	WebAssembly

Несколько языков

Прочее

Показать прочее

.env	Embedded Ruby (a.k.a. ERB, eRuby)	Protocol Buffers
AI-generated code	Gherkin	Puppet
Ansible	HTML	Rails
Archive	JSON	Security/SAST
Azure Resource Manager	Kubernetes	Smart Contracts
Binaries	LaTeX	Support
Build tools	Laravel	Template-Languages
CSS/SASS/SCSS	Makefiles	Terraform
Config Files	Markdown	Translation
Configuration Management	Metalinter	Uses LLM/model
Containers	Mobile	Vue.js
Continuous Integration	Nix	Writing
Deno	Node.js	XML
Dockerfile	Packages	YAML
Embedded	Prometheus	git

---

Языки программирования

ABAP

• abaplint — Линтер для ABAP, написанный на TypeScript.

• abapOpenChecks — Расширяет SAP Code Inspector новыми настраиваемыми проверками.

Ada

• Polyspace for Ada ©️ — Обеспечивает верификацию кода, доказывающую отсутствие переполнения, деления на ноль, выхода за границы массива и некоторых других ошибок времени выполнения в исходном коде.

• SPARK ©️ — Набор инструментов статического анализа и формальной верификации для Ada.

Assembly

• STOKE ⚠️ — Не зависящий от языка программирования стохастический оптимизатор для набора инструкций x86_64. Использует случайный поиск для исследования чрезвычайно многомерного пространства всех возможных преобразований программы.

Awk

• gawk --lint — Предупреждает о конструкциях, которые сомнительны или непереносимы в другие реализации awk.

C

• Astrée ©️ — Astrée автоматически доказывает отсутствие ошибок времени выполнения и некорректного параллельного поведения в приложениях на C/C++. Он корректен для вычислений с плавающей точкой, очень быстр и исключительно точен. Анализатор также проверяет правила кодирования MISRA/CERT/CWE/Adaptive Autosar и поддерживает квалификацию для ISO 26262, DO-178C уровня A и других стандартов безопасности. Доступны плагины для Jenkins и Eclipse.

• CBMC — Model checker с ограниченной глубиной для программ на C, пользовательских утверждений, стандартных утверждений, анализа нескольких метрик покрытия.

• clang-tidy — Инструмент линтинга C++ на основе Clang с (ограниченной) возможностью исправления проблем.