Linking pages
- GitHub - analysis-tools-dev/static-analysis: ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality. https://github.com/analysis-tools-dev/static-analysis 112 comments
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- GitHub - analysis-tools-dev/static-analysis: ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality. https://github.com/mre/awesome-static-analysis#c 21 comments
Linked pages
- The GTK Project - A free and open-source cross-platform widget toolkit https://gtk.org/ 195 comments
- GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
- The Caml language: Home http://caml.inria.fr 0 comments
- Papers on VeriFast http://people.cs.kuleuven.be/~bart.jacobs/verifast/ 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - verifast/verifast: Research prototype tool for modular formal verification of C and Java programs
See how to search.