AZ
Даже не думайте проверять clang-lifetime на чем-то с мув-семантикой. он не умеет в неё от слова совсем
такое?
https://godbolt.org/z/6arYZC
Size: a a a
2020 June 14
m
Один уровень индирекции и все: https://godbolt.org/z/DiaSey
m
Почему я уже давно смотрю исключительно на то сгенерировался asm или нет в godbolt'е? -_-
AZ
Почему я уже давно смотрю исключительно на то сгенерировался asm или нет в godbolt'е? -_-
не знаю :)
AZ
но там явно видно, что и в этом случае всё отработало вроде как ожидаемо
AZ
я подумываю о том, чтобы clang-lifetime к проду своему прикрутить, но пока что это только в мыслях и надо бы поиграться. основная претензия в том, что всем пофиг на этот анализатор, туда деньги никто не льет и он еле-еле пилится
m
Вообще интересная штука. Обязательно нужно почитать как она работает и где у нее дырки. Потому что в принципе ее обмануть можно и это не так уж сложно: https://godbolt.org/z/CgdxBJ Но то что она ловит целый класс существующих проблем - это уже здорово.
AZ
Вообще интересная штука. Обязательно нужно почитать как она работает и где у нее дырки. Потому что в принципе ее обмануть можно и это не так уж сложно: https://godbolt.org/z/CgdxBJ Но то что она ловит целый класс существующих проблем - это уже здорово.
обмануть можно. есть доклады с конференций от разрабов, как оно внутри работает
A
обмануть можно. есть доклады с конференций от разрабов, как оно внутри работает
Надо бы фортифицировать
AV
Против такого помогает сборка с ASan же, ну!
AV
это конечно хуже проверок на этапе компиляции, но зато работает.
AV
а что сейчас вообще является стандартом для mission critical? на чём пишут софт для медицинского оборудования, автопилотов и прочих космических аппаратов?
на самом разном на самом деле пишут. вон, гуйцы для спейс дракона вообще на электроне нафигачили на js/css.
AV
но, в принципе, для мишн критикал автопрома и аэрокосмоса характерно использование c/c++/ada и даже java можно (но обычно не используется нигде). C и C++ приходится довольно сильно ограничивать и наворачивать поверх тучу тулзов для проверок и сертификации. C Адой тут попроще - код остается более идеоматичным для этого языка в таких областях.
FO
а что сейчас вообще является стандартом для mission critical? на чём пишут софт для медицинского оборудования, автопилотов и прочих космических аппаратов?
На Ростовской АЭС - Оберон
AV
На Ростовской АЭС - Оберон
для логгера, да. но, насколько я помню, не для управления
AV
я был на докладе Дагаева в 2014 году оффлайн 🙂
AP
А почему не разнообразие? Плюсы вон скоро затащат в ядро Linux, это такой же прогресс как и появление Rust
Вау! Откуда инфа?
AV
в плане медицины - всё сложно. там есть довольно широкая градация того, насколько софт критичен. и регулирующие документы/законы часто больше направлены на регулирование именно процесса разработки а не на языковые нюансы. типа - должен быть аудит, должны быть требования к софту, должна быть история изменений требований, версионирование (это не про VCS) и проч.
то есть там нет документов которые запрещали бы сырым указателем скакать по памяти как тебе захочется. там более высокоуровневыми организационными понятиями оперируют.
то есть там нет документов которые запрещали бы сырым указателем скакать по памяти как тебе захочется. там более высокоуровневыми организационными понятиями оперируют.
AV
но упоминание статических анализаторов например - я встречал, кажется 😉
AV
в авионике же более детализированные документы. например в зависимости от степени критичности софта там требуется разный уровень code coverage как по строчкам так и по бранчам