Re: code signing with foreign function interface?

[Richard Stallman]

    So if I understand http://gcc.gnu.org/onlinedocs/gccint/Plugins.html
    correctly, all we have to do is to check that the dynamically loaded
    object defines a global symbol "plugin_is_GPL_compatible"?

I am not sure that page accurately describes all that we need to do.
So please don't jump the gun.  I am having people check this.