On Mon, 22 Oct 2012, Eitan Adler wrote: > Hi, > > I am interested in adding cocci scripts to the FreeBSD tree as a suite > of scripts that can be used to help find bugs. I have some concerns > about the license of the "semantic patches" I found. In particular > quite a few of them are GPLv2 (andand.cocci, ifaddr.cocci, > isnull.cocci, etc). Ordinarily the product of GPL software isn't GPLed > but these seem different as the result is merely a transformation of > patch template. > > Is the output of spatch + a GPL semantic patch GPL or can we license > it under a free software license?
My understanding is that the output of a semantic patch should not be GPL. But I am not an expert. In any case, that is the intent. We would certainly be happy that the scripts be part of BSD. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
