-
- Frama-C , gnatprove . Конечно есть. В C++ тоже есть уже контракты но это пока ещё совсем начало длинного пути, а пока Rust уже в Embeded.... - OlegPowerC(27.02.2020 11:30)
- т.е. меня даже поправят, если у меня указатель в массиве вылезет за его размер? - Лaгyнoв(27.02.2020 10:29)
- На SPARK можно сделать pre post условия и прога не скомпилится если такое будет возможно. Ну на C тоже если использовать Frama-C например. - OlegPowerC(27.02.2020 11:35)
- Бензоколонка человеческим голосом сообщит. То есть в голом Си она тупо зависнет, а тут что-то пробормочет, а потом зависнет :-) - SciFi(27.02.2020 10:35)
- ну говорушечный модуль у меня есть. Если вставлю в HardFault_Handler фразу, то да. :-) - Лaгyнoв(27.02.2020 16:30)