{"owner":"NASA-SW-VnV","github":"https://github.com/NASA-SW-VnV","claimed":false,"inventory":[],"indexed":[{"repo":"NASA-SW-VnV/ikos","github":"https://github.com/NASA-SW-VnV/ikos","description":"Static analyzer for C/C++ based on the theory of Abstract Interpretation.","language":"C++","stars":3161,"topics":["static-analysis","software-verification","abstract-interpretation","program-analysis"],"license":null,"category":"dev-tools"}],"how_to_buy":"GET /r/NASA-SW-VnV/<repo> (Accept: application/json) for any listed repo here: tree, README, price and the checkout to pay (x402; rehearse first at its test twin, simulated money). Repos under 'indexed' are free: clone them from GitHub."}