The F-35 fighter jets operated by the U.S. Air Force and the Japan Air Self-Defense Force are equipped with software coded in C++. This C++ code is written in accordance with a coding standard called ...