I've worked with the Flash Player source code in the far off past (I worked for a company called Chumby which licensed Adobe's Flash Player to power apps running in a device similar to the modern Amazon Dash Look) and while you would see things in that codebase that make your head spin, improper use of GPL libraries was not one of them.