static-analysis

यह रिपॉज़िटरी सभी प्रोग्रामिंग भाषाओं, बिल्ड टूल्स, कॉन्फ़िग फ़ाइलों और अन्य के लिए स्टैटिक विश्लेषण टूल्स को सूचीबद्ध करती है। इसका फोकस उन टूल्स पर है जो कोड गुणवत्ता में सुधार करते हैं, जैसे लिंटर्स और फ़ॉर्मेटर्स। आधिकारिक वेबसाइट, analysis-tools.dev इस रिपॉज़िटरी पर आधारित है और प्रत्येक टूल के लिए रैंकिंग, उपयोगकर्ता टिप्पणियाँ, और वीडियो जैसे अतिरिक्त संसाधन जोड़ती है।

प्रायोजक

यह प्रोजेक्ट हमारे प्रायोजकों के उदार समर्थन के बिना संभव नहीं होता।

यदि आप भी इस प्रोजेक्ट का समर्थन करना चाहते हैं, तो हमारे GitHub Sponsors पेज पर जाएँ।

प्रतीकों का अर्थ

• ©️ मालिकाना सॉफ़्टवेयर को दर्शाता है। अन्य सभी टूल्स ओपन सोर्स हैं।
• ℹ️ इंगित करता है कि समुदाय नए प्रोजेक्ट्स के लिए इस टूल की सिफ़ारिश नहीं करता। आइकन चर्चा इश्यू से लिंक करता है।
• ⚠️ का अर्थ है कि टूल को एक वर्ष से अधिक समय तक अपडेट नहीं किया गया, या इसकी रिपॉज़िटरी संग्रहीत कर दी गई थी।

पुल रिक्वेस्ट का बहुत स्वागत है!

सिस्टर प्रोजेक्ट, 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 — TypeScript में लिखा गया ABAP के लिए लिंटर।

• 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 — C प्रोग्रामों के लिए बाउंडेड मॉडल-चेकर, उपयोगकर्ता-परिभाषित अभिकथन, मानक अभिकथन, कई कवरेज मीट्रिक विश्लेषण।

• clang-tidy — Clang-आधारित C++ लिंटर टूल जिसमें समस्याओं को ठीक करने की (सीमित) क्षमता भी है।

• clazy — Clang फ़्रेमवर्क पर आधारित Qt-उन्मुख स्टैटिक कोड विश्लेषक। clazy एक कंपाइलर प्लगइन है जो clang को Qt सिमैंटिक्स समझने की अनुमति देता है। आपको 50 से अधिक Qt संबंधित कंपाइलर चेतावनियाँ मिलती हैं, जो अनावश्यक मेमोरी आवंटन से लेकर API के दुरुपयोग तक होती हैं, जिसमें स्वचालित रिफैक्टरिंग के लिए fix-its भी शामिल हैं।