Abstract: Out-of-bounds array access is the most easily missed runtime error in aerospace embedded software designing and testing. At present, mature commercial ...