Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by NASA-SW-VnV
A curated list of projects in awesome lists by NASA-SW-VnV .
https://github.com/nasa-sw-vnv/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
abstract-interpretation program-analysis software-verification static-analysis
Last synced: 02 Jan 2025
https://github.com/NASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
abstract-interpretation program-analysis software-verification static-analysis
Last synced: 08 Nov 2024