Searching for Linux code in SCO kernel (or vice versa)

Hello,
 
SCO claims that some Linux code is taken from Unix kernel. SCO
also claims that no Linux code ever went into its Unix kernel.
Given SCO's kernel source, that would be easy to check; however,
SCO will not give us the source. So how could we search for similar
code _without_ the sources?
 
1. Take SCO Unix.
2. Take Linux kernel source.
3. Guess which compiler flags were used by SCO when compiling
   its source.
4. Compile the suspicious portions from Linux kernel source with
   SCO's compiler, making as few modifications as possible.
5. In the generated code, mark global addresses (subject to
   relocation), magic constants, and probably some other constants
   (struct member displacements?) as irrelevant.
6. Search the SCO Unix binary kernel for chunks matching relevant
   portions of compiled Linux code.
 
Of course, we would be extremely lucky if it worked -- the code
must really be taken as is for such a test to work. But I think
this might be worth a try. (I don't have access to SCO Unix, so
I can't do this myself.)
 
IANAL, of course, so I don't know whether such procedures would
be legal, in US or elsewhere.
 
        Goga