Препринт ИСП РАН 32, 2019 г.

Preprint 33, 2026 г.

A.Yu. Klimov, A.V. Monakov, V.A. Ivanishin,, D. M. Melnik. Dynamic Detection of Evaluation-order Dependence in C Programs. 1-50 pp.

Abstract

This paper proposes a model for detecting dependence on the evaluation order of subexpressions in C programs. The model represents the C11 sequenced-before relation as a hierarchical structure that enables efficient dynamic search for unsequenced and indeterminately-sequenced modifications at run time. A software implementation of the model as a sanitizer for GCC fired on 139 of 4526 Alpine Linux 3.23 packages, mostly flagging indeterminately-sequenced evaluations.

текст в формате pdf

Вернуться к архиву препринтов