About static analysis of variables physical dimensions for critical-mission software

Abstract

Some strong method of static code analysis, namely, analysis of physical dimensions of program variables is researched in the paper. The formal model to analyze the dimensions of variables is built.

У роботі досліджено деякий сильний метод статичного аналізу коду, а саме: аналіз фізичної розмірності змінних програм. Побудована формальна модель для аналізу розмірності змінних.

В работе исследован некоторый сильный метод статического анализа кода, а именно: анализ физической размерности переменных программ. Построена формальная модель для анализа размерности переменных.