Ну, то есть, сразу отметает какие-то варианты мелких коммерческих вещей, но со спецификой кроссплатформы. Возможно, я не прав и они всё правильно расчитали, но мне их продукт не по карману. Та же история со статическим анализатором PVS — всё инди идите на хер.