AlexandrY (16.06.2006 23:17, просмотров: 1) ответил Evgeny_CD на Замачательные тулзы для разработки программ: SCons и Splint
Фигня все эти проверяльщики. Вот, только что нашел критический трабл в менеджере памяти uCOS... Суть в том, что если задать размер фиксированных блоков для менеджера памяти не кратным длине указателя *void, то получим непредказуемый сбой при выделении второго блока и последующих блоков.
Даю гарантию, что никакой проверяльщик такого не обнаружит.
Если же ужесточить условия проверки, то проверяльщики ругаются на всю программу без остановки, так что потом все равно приходится его отключать. Уж лучше юзать IDE с нормальным интерфейсом, броузингом и интерактивной подсказкой, чем пользоваться недоделанными Linux-овскими тулсами.
)