Some of the files distributed in Frama-C are under a modified form of the QPL:
https://www.openproofs.org/packages/frama-c/Q_MODIFIED_LICENSE
which needed, in my mind, some clarification from upstream, which you
can find here:
http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2010-January/00175...
I wasn't quite sure whether a licensing modification of this form
required legal review, but I thought it would be better to be safe and
ask.
- Alan