ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Четверг
28 марта
981960 Топик полностью
OlegPowerC (27.02.2020 11:35, просмотров: 497) ответил Лагунов на т.е. меня даже поправят, если у меня указатель в массиве вылезет за его размер?
На SPARK можно сделать pre post условия и прога не скомпилится если такое будет возможно. Ну на C тоже если использовать Frama-C например.