Вход
Наше всё
Теги
codebook
无线电组件
Поиск
Опросы
Закон
Понедельник
23 декабря
О смысле всего сущего
0xFF
Средства и методы разработки
Мобильная и беспроводная связь
Блошиный рынок
Объявления
Микроконтроллеры
PLD, FPGA, DSP
AVR
PIC
ARM, RISC-V
Технологии
Кибернетика, автоматика, протоколы
Схемы, платы, компоненты
Микроконтроллеры
981960
Топик полностью
OlegPowerC
(27.02.2020 11:35, просмотров: 546)
ответил
Лагунов
на
т.е. меня даже поправят, если у меня указатель в массиве вылезет за его размер?
На SPARK можно сделать pre post условия и прога не скомпилится если такое будет возможно. Ну на C тоже если использовать Frama-C например.
Ответить