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

H_C>это таск от кастомеров. до этого код верифицировался с помощью скрипта на Python. Но стала задача проверки того, что malloc выделяет необходимый объем памяти (соот. размеру типа передаваемого указателя)
определитесь какие проверки нужно сделать.
либо стиль, либо корректность программы
статические анализаторы кода для последнего: PVS-Studio, Lint
для проверки стиля погуглите, первая ссылка http://stackoverflow.com/questions/411249/coding-style-checker-for-c