Если для специфичекских проверок все понятно, то для generic, т.е. таких как - a) то, что структуры описания выделенной памяти корректны b) то, что объем занятой памяти не растет со временем
скорее всего должны быть уже отработанные решения. Просьба ткнуть пальцем, если кто занимался вопросом. (details - сервера Unix, win32)