Bug 686650 – dev-util/ikos Static analyzer for C/C++ based on the theory of Abstract Interpretation

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Bernardo Meurer 2019-05-24 08:00:49 UTC]

IKOS[1] (Inference Kernel for Open Static Analyzers) is a static analyzer for C/C++ based on the theory of Abstract Interpretation.

IKOS has been released under the NASA Open Source Agreement version 1.3, see LICENSE.pdf

[1]: https://github.com/NASA-SW-VnV/ikos

[Comment 1 Jonas Stein 2019-05-25 08:35:26 UTC]

Unfortunately they invented another license and did not even provide it as text file. I do not think that we want to add licenses as PDF to the tree.
It would help, if upstream adds a COPYING file in the plain text format to the tree. Because nobody we can not confirm quickly, that the txt is 100% the same as the pdf someone transcribed.

https://tldrlegal.com/license/nasa-open-source-agreement-1.3-(nasa-1.3)#summary

There are already users compiling it on Gentoo:
https://github.com/NASA-SW-VnV/ikos/issues/61

I suggest to put it on an overlay first.

see also
https://repology.org/project/ikos/versions

[Comment 2 Bernardo Meurer 2019-08-05 03:50:14 UTC]

@Jonas, I sent them an email from my company address requesting a license change to Apache, maybe that will help :)

[Comment 3 Bernardo Meurer 2019-08-08 18:43:32 UTC]

Alright, got them to add a COPYING file :)