A
уж лучше иметь математически доказанный компилятор, который всегда даёт тебе правду, чем «левый» статик анализатор
Size: a a a
2020 June 06
DB
уж лучше иметь математически доказанный компилятор, который всегда даёт тебе правду, чем «левый» статик анализатор
Таких ещё ни разу не написали и вряд ли в ближайшем времени напишут
DF
Ну типа да, при всех стат анализаторах кланга вон в Раст протекают баги ллвм
p
А ты учишься?)
да
DF
Есть верифицированный компилятор си например
DF
Почему не написали?
DB
Зачем? Все же продажное
A
Таких ещё ни разу не написали и вряд ли в ближайшем времени напишут
таких анализаторов? да, потому что их использование даже далеко не все проекты
A
Dollar Føølish
Есть верифицированный компилятор си например
а им пользуются?
DF
Да
DF
Почему не пользоваться
A
есть mrustc - раст без борроу чекера
DF
Оно же кушать не просит
A
Dollar Føølish
Да
кто
DF
Программисты
DB
Dollar Føølish
Почему не написали?
Потому что статические анализаторы всегда обрубают часть корректных программ.
A
ясно
DB
Dollar Føølish
Есть верифицированный компилятор си например
Или не путайте понятия "всегда правду", "не пропускает точно неправильные", "если пропустил, то правильная, а если нет -- хз"
AB
уж лучше иметь математически доказанный компилятор, который всегда даёт тебе правду, чем «левый» статик анализатор
Это очень нихуевый объем работы
b
а им пользуются?
NASA, SpaceX и тд