Pull to refresh
@eshirshov read-only

User

SAL. Контрактное программирование от Микрософт или как помочь статическому анализатору

Visual Studio *C *
Язык аннотации исходного кода (SAL).
По моему это тема незаслужено обойдена вниманием: не надено ни одного упоминания в рунете.
Сам себе не поможешь никакой статический анализатор тебе не поможет.
Читать дальше →
Total votes 10: ↑6 and ↓4 +2
Views 3.9K
Comments 2

Динамический поиск потенциальных взаимоблокировок

C++ *
Sandbox
Здравствуйте. Некоторое время назад начал заниматься сопровождением довольно объемного программного продукта. Правка за правкой и как-то незаметно ко мне подкрались взаимоблокировки. Я быстро выяснил источник проблем — это вложенные блокировки. По незнанию основ программного продукта я неявно нарушил порядок вложения блокировок. Но найти вручную источник проблем не удалось.

Боржоми пить поздно, причитать насчёт архитектуры бессмысленно. Подключаем тяжелую артиллерию.
Читать дальше →
Total votes 14: ↑11 and ↓3 +8
Views 7.3K
Comments 7

Information

Rating
Does not participate
Registered
Activity