Yeah! Hijacking is a failure of type systems due to dynamic dispatch. Plane control should have been restricted to only statically defined pilot values.

Yeah! Hijacking is a failure of type systems due to command injection. Properly typed planes world fail to allow passenger actions to be interpreted as pilot actions.

To prevent these threats, the TSA should confiscate bad analogy guns or at least validate strict isomorphism.

(And as far as the article goes, it's not even correct. Your "data" includes closures/function pointers/whatever and if that data gets corrupted you could get the program to call into the wrong function.)