![]() STOKE - A programming-language agnostic stochastic optimizer for the x86_64 instruction set.SPARK ©️ - Static analysis and formal verification toolset for Ada. Polyspace for Ada ©️ - Provide code verification that proves the absence of overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in source code. Table of Contents Programming Languages Show languagesĪbaplint - Linter for ABAP, written in TypeScript.ĪbapOpenChecks - Enhances the SAP Code Inspector with new and customizable checks.Ĭodepeer ©️ - Detects run-time and logic errors. ⚠️ means that this tool was not updated for more than 1 year, or the repo was archived.Īlso check out the sister project, awesome-dynamic-analysis.ℹ️ indicates that the community does not recommend to use this tool for new projects anymore.If you also want to support this project, head over to our Github sponsors page. This project would not be possible without the generous support of our sponsors. The official website, v is based on this repository and adds rankings, user comments, and additional resources like videos for each tool. The focus is on tools which improve code quality such as linters and formatters. This repository lists static analysis tools for all programming languages, build tools, config files and more.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |