[Someone]

I doubt google-copy-paste is the norm in movie studios. Movie studios must be very conscious of copyright infringement. Certainly for audio tracks and works of art showing up in movies, they make sure they will not be sued if the movie is successful.

For source code, I don't know how far copyright stretches. Does it apply to the textual form at all? For example, if this this code is GPL-ed, and you buy a copy on DVD, would ey be required to give you the source on demand?

[rayiner]

Not legal advice: I'm too lazy to apply the fair use factors here but it might actually be copyright infringement. On one hand it's a small snippet of code. On the other hand it's a for-profit product. You wouldn't get sanctioned for suing them over it I don't think.

[daxelrod]

Looks like they already did give the source that they used :)