Ben Beilharz on Mythryl: “Just randomly stumbled upon this; NASA's open-source C/C++ analyzer…”

Just randomly stumbled upon this; NASA's open-source C/C++ analyzer IKOS. github.com/NASA-SW-VnV/... Some nice features: - Creates a report database - Dashboarding for the complete project - Explains error types

github.comGitHub - NASA-SW-VnV/ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation.Static analyzer for C/C++ based on the theory of Abstract Interpretation. - NASA-SW-VnV/ikos

27/11/24, 8:14 pm1 repost14 likes

Post