Здравствуйте, Нomunculus, Вы писали:
Н>Что-то большинство ну совсем примитивные. Типа == для даблов. Хоть один сишник делает так?
Вполне

Добро пожаловать в реальный мир программирования.
О том, как мы опробовали статический анализ на своем проекте учебного симулятора рентгенэндоваскулярной хирургии
> Подобные ошибки повторяются достаточно часто в данной библиотеке. Не скажу, что это стало для меня неожиданностью. Уже ранее наталкивался на некорректную работу с числами с плавающей точкой в этом проекте. Однако систематически проверять исходники на этот счет не было ресурсов. По результатам проверки стало ясно, что нужно дать разработчику почитать что-то для расширения кругозора в части работы с числами с плавающей точкой. Скинул ему ссылки на пару хороших статей