If you create a video player that can play DVDs are you also infringing on their copyright?
Of course, you have never used any software that rips DVDs into video files, but if you had, it would almost definitely be based on this code, which was printed on t-shirts as a means of distribution.
Buy the way, the fact that they're "copyright" is irrelevant. Every new work, including ever Creative Commons license work is copyrighted.