https://www.ibm.com/developerworks/rational/library/edge/08/...
> GPLv3 adds more clarity with regard to what constitutes a derivative work. For example, GPLv3 states that if the program is "specifically designed" to work with a GPL-governed library, then the library is considered part of the overall work and the entire application is governed by the GPL. However, if one could swap out the GPL library for another library (i.e., if the application wasn't "specifically designed" to work with the GPL library), then it's not part of the overall work and would not be governed by the license.
It will either then be decided invalid in court much later---in which case the CIA has plenty of time to do whatever it is they wanted to do. Or the existing incestuous relationship between the government and the private company will ensure that this remains a grey area of law for a long long time.
More so if software is build reproducibly, signed, and so on.