The advantage of using program images as a flight recorder instead of relying on logs