Even if you had the source to the program, you have no guarantees that the processor will use them correctly (as specified), or that the processor doesn't have microcode that basically ignores whatever you wrote. You'd also need to verify the entire compilation toolset as well...