Obviously, if they've gone through some trouble to make code paths different, changed static strings and symbols around, then you don't necessarily know without spending a lot of time to see if the resulting code seems to do step-by-step what a compiled version of your original code does.
They've done what you've said? They reversed compiled it? They've compared entry points and everything?
If so, then they've got a case.