Static runtime error analysis with Astrée: summary