Hacker News
- IKOS: Static analyzer for C/C++ based on the theory of Abstract Interpretation https://github.com/NASA-SW-VnV/ikos 38 comments
- IKOS 2.1: an open source static analyzer for C and C++ https://github.com/NASA-SW-VnV/ikos 13 comments cpp
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
- GitHub - fffaraz/awesome-cpp: A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff. https://github.com/fffaraz/awesome-cpp 38 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 - Spacial/awesome-csirt: Awesome CSIRT is an curated list of links and resources in security and CSIRT daily activities. https://github.com/Spacial/csirt 0 comments
Linked pages
- Homebrew — The Missing Package Manager for macOS (or Linux) https://brew.sh 184 comments
- Abstract Interpretation in a Nutshell http://www.di.ens.fr/~cousot/ai/introabsint.html 74 comments
- The LLVM Compiler Infrastructure Project http://llvm.org 40 comments
- Install WSL | Microsoft Learn https://learn.microsoft.com/en-us/windows/wsl/install 15 comments
Would you like to stay up to date with C & C++? Checkout C & C++
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - NASA-SW-VnV/ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation.
See how to search.