If the machine code is stored on hard drives, they will be able to find the erased source code which does not get overwritten unless handled by very specialized software. They will be able to detect if that software was used and when it was used.
Alright!
Who stored all of those hard drives next to those surprisingly powerful magnets?