Здравствуйте, ZegSoft, Вы писали:

ZS>Здравствуйте, Hard_Club, Вы писали:

H_C>>Подскажите, пожалуйста, готовые решения для верификации C-кода. Например, проверки, что все идентификаторы такого-то типа начитаются с маленькой английской буквы.
ZS>Опять курсовые пошли???)) Да вроде лето сейчас)

какие еще курсовые??? это таск от кастомеров. до этого код верифицировался с помощью скрипта на Python. Но стала задача проверки того, что malloc выделяет необходимый объем памяти (соот. размеру типа передаваемого указателя)