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
- GitHub - sosy-lab/benchexec: BenchExec: A Framework for Reliable Benchmarking and Resource Measurement https://github.com/sosy-lab/benchexec 2 comments
- GitHub - cmla-psu/shadowdp: Proof-of-Concept Verification Tool for Differential Privacy. Code for [PLDI'19] "Proving Differential Privacy with Shadow Execution". https://github.com/cmla-psu/shadowdp 1 comment
- tool_lists/verification_synthesis.md at main · johnyf/tool_lists · GitHub https://github.com/johnyf/tool_lists/blob/master/verification_synthesis.md 0 comments
Related searches:
Search whole site: site:cpachecker.sosy-lab.org
Search title: CPAchecker: A Software Verification Tool for Configurable Program Analyses
See how to search.