They can get the executable, but will they get an un-compiled version? I frankly dont believe this is going to get us anywhere. We already know what can be done with Dominion- Georgia demonstrated.
I believe there is a difference in the voting software vs the tabulation software.
If the irregularities can be shown while running the EXE, then you go after the source code.