СПОСОБ ВЫЯВЛЕНИЯ ПРОГРАММНЫХ ОШИБОК ПРИ РАБОТЕ С ПАМЯТЬЮ

1. Способ выявления программных ошибок при работе с памятью, заключающийся в лексическом разборе исходного кода, построении промежуточного представления данных: графа вызовов функций и таблицы состояний памяти, проведении анализа построенной таблицы состояний, а также выводе результатов об ошибках, отличающийся введением механизма контроля состояний памяти после построения промежуточного представления данных в режиме статической отладки; данный механизм включает в себя внутрипроцедурный анализ, межпроцедурный анализ и этап выявления ошибок.
2. Способ выявления программных ошибок при работе с памятью по п.1, отличающийся тем, что, с целью сокращения времени выполнения процедуры построения промежуточного представления данных, производится сокращение данной процедуры в части, не касающейся переменных, являющихся указателями на выделенную память.
3. Способ выявления программных ошибок при работе с памятью по п.1, отличающийся тем, что, с целью сокращения времени выполнения межпроцедурного анализа, производится сокращение данной процедуры в части, не касающейся функций-выделителей и освободителей памяти.