Hacker GitHub

← All repos

NASA-SW-VnV/ikos

View on GitHub ↗ ★ 3,177 C++

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

23 mentions on Hacker News by 14 people: 8 stories, 15 comments · first 2018-12-11 · latest 2026-01-19

Mentions per year 23 mentions · busiest year 2023 (5)
20082026
AllStoriesComments NewestTopOldest
  1. ICOS (from NASA) and Fil-C together make it possible to make more safe code than vanilla Rust. https://github.com/NASA-SW-VnV/ikos
    comment by u1hcw9nx · 2026-01-19 · in Fil-Qt: A Qt Base build with Fil-C experience
  2. …Static Analyzers) is a static analyzer for C/C++ based on the theory of Abstract Interpretation. https://github.com/NASA-SW-VnV/ikos Commercial: Astrée is a static analyzer for safety-critical software written or gen­er­ated in C or C++.…
    comment by Nokinside · 2025-09-02 · in C Tooling
  3. …free software I recommend IKOS - a is a sound static analyzer for C/C++ developed at NASA. Checks: https://github.com/NASA-SW-VnV/ikos/blob/master/analyzer/REA... Numerical abstract domains: https://github.com/NASA-SW-VnV/ikos/blob/master/a…
    comment by Nokinside · 2025-07-11 · in An almost catastrophic OpenZFS bug and the humans that made it
  4. …have developed on their own. :) There are other things already shared publicly like NASA IKOS: https://github.com/NASA-SW-VnV/ikos That one gets far less attention from third parties than it should. If it could be developed into a general…
    comment by ryao · 2024-12-27 · in Bill requiring US agencies to share source code with each other becomes law
  5. …closed source tools or restrict themselves to a subset of what C/C++ can do so they can use IKOS: https://github.com/NASA-SW-VnV/ikos
    comment by ryao · 2024-12-20 · in Borrow Checking, RC, GC, and Eleven Other Memory Safety Approaches
  6. …also provides abstract interpretation to analyze C programs for flaws. NASA also released IKOS ( https://github.com/NASA-SW-VnV/ikos ), on the same vein. Of course they lack the polish of a product which costs tens of thousands of euros…
    comment by edwcross · 2023-12-13 · in The Case for Memory Safe Roadmaps
  7. …could whip up. (But kept the global buffers for now...) 3. The only example I found for a while was https://github.com/NASA-SW-VnV/ikos , but it needed an old version of Clang, and my laptop didn't have enough memory to build it. 4. Found…
    comment by markdascher · 2023-02-24 · in Show HN: Moochacha, quantum-safe file encryption (analyzed by Frama-C)
  8. …else tries to do it. I only know of two that try: http://kestreltechnology.com/technology.html https://github.com/NASA-SW-VnV/ikos
    comment by ryao · 2023-02-03 · in Astrée Static Analyzer for C and C++
  9. …this means: It'll be laughably expensive. I don't see any offer for OpenSource projects frankly. > https://github.com/NASA-SW-VnV/ikos Also abstract interpretation based. Looks less polished than the first one at first glance. It's under…
    comment by still_grokking · 2022-12-21 · in Checked C
  10. …of this. Some examples of sound static analyzers include: https://www.absint.com/astree/index.htm https://github.com/NASA-SW-VnV/ikos https://github.com/static-analysis-engineering/CodeHawk-C I have planned to try using them on OpenZFS for…
    comment by ryao · 2022-12-21 · in Checked C
  11. They have very unusual license which I have never seen before: https://github.com/NASA-SW-VnV/ikos/blob/master/LICENSE.txt Is anyone familiar with it? Is it OSI certified? (it's not on the OSI's site).
    comment by solomatov · 2022-04-21 · in IKOS: Static analyzer for C/C++ based on the theory of Abstract Interpretation
  12. …makes it extremely expensive and theoretically difficult too. For example: NASA wrote this project https://github.com/NASA-SW-VnV/ikos which uses abstract interpretation and would catch bugs in practically any language.
    comment by mhh__ · 2021-03-02 · in Some Were Meant For C (2017) [pdf]
  13. …on the context, there isn't even necessarily a memory safety advantage to using Rust over C or C++. https://github.com/NASA-SW-VnV/ikos
    comment by OnlyOneCannolo · 2021-02-20 · in F’: Flight Software and Embedded Systems Framework
  14. …checkers that scan source code for bugs. Does QEMU use a sound static analyzer (like IKOS [1])? [1] https://github.com/NASA-SW-VnV/ikos
    comment by OnlyOneCannolo · 2020-08-12 · in QEMU should move from C to Rust
  15. …[1]. There exist sound static analyzers for C and C++. "Sound" meaning no false-negatives. [1] https://github.com/NASA-SW-VnV/ikos/blob/master/analyzer/REA...
    comment by OnlyOneCannolo · 2019-04-16 · in Rust: Beyond the Typechecker