in general, a software dev anywhere might not realize the flaw. but an systems engineer or other aircraft and flight controls engineer would notice it. and they should have, when the requirements were written. and again when each requirement was verified prior to flight.