Основные функции

Описание ART-0.8 ART-0.9 Файл
f000: Обнаружение многократного освобождения ресурса + + 002.c
f001: Обнаружение утечек ресурсов + + 003.c 004.c 011.c 012.c
f002: Обнаружение ситуации когда функция захвата возвращает уже захваченный ресурс + + f04.c
f003: Обнаружение использования незахваченного ресурса + + 000.c
f004: Обнаружение использования ресурса после освобождения + + 007.c
f005: Обнаружение освобождения неиспользованного ресурса + + 008.c
f006: Обнаружение использования ошибочного (NULL для памяти, -1 для дескрипторов, ...) ресурса + + 009.c
f007: Обнаружение использования дикого ресурса + + 006.c
f008: Обнаружение освобождения ошибочного ресурса - + 001.c
f009: Обнаружение захвата памяти нулевого размера (malloc(), calloc(), realloc()) - + 013.c
f010: Обнаружение попытки перераспределения дикой памяти - + 015.c
f011: Обнаружение перезахвата такого же объёма (эффективность) - + 016.c
f012: Обнаружение ситуации когда вызов функций не завершается - -
f013: Обнаружение использования ресурса (памяти, отображений, ...) за его границами - -
f014: Обнаружение КПД использования ресурса (памяти) - -
t015: Стресс-тест для отлаживаемого кода (проверка работоспособности отлаживаемого кода путём эмитации нехватки ресурсов) - -
t016: внутреняя ошибка + + 005.c
t017: внутренний контроль (realloc()) - + 010.c
t018: внутренний контроль (realloc()) - + 014.c
t019: поддержка (обнаружения и) блокирования fork() - + 017.c