search

NASA-SW-VnV / ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Other
2.03k stars 152 forks source link

Please consider another license #42

Open sylvestre opened 5 years ago

sylvestre commented 5 years ago

First, sorry to be a pain with license

The NASA OS license isn't considered as a free license by at least the FSF and Debian. This prevents the inclusion of ikos into Debian & Ubuntu repositories.

Sources: https://www.gnu.org/licenses/license-list.html#NASA https://en.wikipedia.org/wiki/NASA_Open_Source_Agreement

arthaud commented 5 years ago

A few weeks ago, I asked the lawyers if we could chance the license.

They said we could switch to an Apache-based license, but they asked for proofs that the license switch was requested by industrials.

So, if you use IKOS at work, feel free to email us at ikos@lists.nasa.gov

sylvestre commented 5 years ago

I was evaluating it for Mozilla (for Firefox in particular) but also to package it in Debian/Ubuntu. However I won't start any work on this as the NOSA license isn't considered as free.

practicalswift commented 5 years ago

Also, switching to the Apache license would allow for bringing IKOS under the LLVM umbrella some time in the future if that would be desired, right? :-)

arthaud commented 5 years ago

Again, if you are working for a US company and have issues with the current license, please email us. This would help convince the lawyers to make a license change.

ivanperez-keera commented 8 months ago

I have an update. This is now being considered. I'll get back to you soon on this.

As Maxime stated, if you are working for a US company or organization and have issues with the current license, please email us ASAP. This would help convince the lawyers to make a license change.

ivanperez-keera commented 8 months ago

Tagging @sylvestre and @practicalswift.

Sorry for pinging you twice about this Sylvestre . We're trying everything we can to convince them; a message from Mozilla would really help here.

sylvestre commented 8 months ago

@ivanperez-keera I replied by email

ivanperez-keera commented 8 months ago

Thank you!