Static Analysis & Code Quality

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

1. ▲

   SPARK adacore.com

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

   site link ↗
   
2. ▲

   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
3. ▲

   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 ↗
   
4. ▲

   abaplint abaplint.org

   Linter for ABAP, written in TypeScript.

   site topic programming link ↗
   site
5. ▲

   tflint github.com

   A Terraform linter for detecting errors that can not be detected by terraform plan.

   tool link ↗