> We can compare the output of the same program for both targets and flag any differences.

This is called differential fuzzing and is one of the most powerful methods to find bugs in all kinds of software.