I'm sure their licensing with imagination includes full source code, and there's no reason they couldn't verify and/or change that for security.