Состояние гонки

Том Рейн, упавший с небес на землю, получает шанс вернуться в мир «Формулы-1». Но этот шанс — скорее клетка, чем крылья. Окружённый недоверием, он ищет опору, которая поможет ему вернуться на вер…

В статье проанализирован подход к статическому анализу кода на предмет обнаружения состояний гонки. Он ориентирован на реальные задачи со сложными конструкциями кода, включающие циклы и ветвления…