We performed Software Safety Analysis on a large C++ codebase for the Target Location, Designation, and Handoff System (TLDHS), fielded by the United States Marine Corp. The TLDHS is used by Forward Air Controllers (FACs) or Forward Observers (FO) to call in Close Air Support (planes) or Indirect Fires (artillery), respectively. The FAC or FO … Read more