The problem is, if they had used only code with a license that allows copying without attribution, there wouldn't have been a lot of code left...

It changes the code for use. I'm not sure it can be considered a copy. It much like reading someone else's code and drawing ideas and patterns from that code.