Static Analysis & Code Quality

535 items from analysis-tools-dev/static-analysis ★14,831

1. ▲

   ArchUnit archunit.org

   Unit test your Java or Kotlin architecture.

   site link ↗
   site
2. ▲

   kube-hunter aquasecurity.github.io

   Hunt for security weaknesses in Kubernetes clusters.

   site topic programming link ↗
   site
3. ▲

   AppSec Santa — SAST Tools appsecsanta.com

   Independent comparison of 30+ static analysis security testing tools with features, pricing, and alternatives

   site link ↗
   
4. ▲

   ansible-lint ansible.readthedocs.io

   Checks playbooks for practices and behaviour that could potentially be improved.

   site topic psychology link ↗
   
5. ▲

   SPARK adacore.com

   copyright: — Static analysis and formal verification toolset for Ada.

   site link ↗
   
6. ▲

   Astrée absint.com

   copyright: — Astrée automatically proves the absence of runtime errors and invalid con­current behavior in C/C++ applications. It is sound for floating-point computations, very fast, and exceptionally precise. The analyzer also checks for MISRA/CERT/CWE/Adaptive Autosar coding…

   site topic programmingtopic psychology link ↗
   site
7. ▲

   Codecov about.codecov.io

   copyright: — Codecov is a company that provides code coverage tools for developers and engineering leaders to gain visibility into their code coverage. They offer flexible and unified reporting, seamless coverage insights, and robust coverage controls. Codecov supports over 20…

   site topic programming link ↗
   
8. ▲

   abaplint abaplint.org

   Linter for ABAP, written in TypeScript.

   site topic programming link ↗
   site