Искажение массивов

@minore · Регистрация: 05.02.2015

Author24 — интернет-сервис помощи студентам

Здравствуйте. Раньше писал под пк, теперь есть проект, который нужно сопровождать на c под микроконтроллер, и в общих чертах столкнулся с проблемой искажением данных:

C

1 2	const char value_1[]={4,4,7,4,7,4,6,1,1,8}; const char value_2[]={0,0,2,1,0,0,2,0,0,6};

Как видите объявлены константами, нигде в коде их значение не меняю, да и не могу собственно: константы в C не меняются.
Когда я вывожу на экран первый массив, выводится все корректно.
Второй массив почему-то искажается: в первой половине массива появляется какое-то значение 32, которое я не указывал. Вообще, массив портится именно значением 32. Что это за магическое число?
Пробовал переставлять массивы местами, ситуация меняется: тот, который объявлен первым выводится без проблем, тот который вторым - искажается. Почему это может быть. Есть у кого идеи?

@Rius · 09.06.2020, 20:35

Метод я выше показал. Верните как было и проверьте.
Такие нюансы надо досконально выяснять. А не "инициализацию поменял, всё заработало, и пофиг".

Добавлено через 7 минут
Потому что когда устройство разойдётся тысячами штук по стране и за её пределами, да вылезет баг, на который вы вот сейчас махнули рукой, будет слегка неудобно.

@minore · 09.06.2020, 21:03 **[ТС]**

Rius , так я же не спорю. Обязательно проверю, просто написал, как пока "заткнул" дырку, может кто и объяснил бы почему заработало. Спасибо за информацию.

ValeryS · 09.06.2020, 21:21

Сообщение от locm

Я думаю что дело в другом.

и тут же сам сказал

Сообщение от locm

и записывая больше чем размер массива, пробелами затирает данные в другом массиве.

Сообщение от locm

Он похоже использует sprintf

какая разница кто за массив выходит

@locm · 09.06.2020, 21:55

Сообщение от ValeryS

и тут же сам сказал

Ну у вас цикл был.

Сообщение от ValeryS

какая разница кто за массив выходит

Разница в том что это менее очевидно.

В случае цикла компиль не позволит изменить константый массив (см первое сообщение).

ValeryS · 09.06.2020, 22:25

Сообщение от locm

Ну у вас цикл был.

разумеется

как бы я показал принцип выхода за пределы массива
ни один нормальный человек не будет этого делать

Сообщение от ValeryS

for(int i=0;i<sizeof(value_1)+20;i++)

а вот посмотреть как эта бяка портит, при помощи твоего любимого отладчика,я думаю стоит
воочию можно узреть организацию памяти

Сообщение от locm

Разница в том что это менее очевидно.

взлом при помощи переполнения буфера известен уже не один десяток лет

Сообщение от locm

В случае цикла компиль не позволит изменить константый массив

а вот так

C

char buf[2];
const char value_1[]={4,4,7,4,7,4,6,1,1,8}; 
for(int i=0;i<20;i++)
  buf[i]=i;

@locm · 10.06.2020, 12:38

Сообщение от ValeryS

а вот так

Все нормально.

Массив попал во флеш как о должен в таких случаях.

Но даже если бы он туда не попал, все равно данные не затерлись бы (проверено). Buff попадет в секцию .bss, а value_1 в секцию .data и расположение рядом маловероятно.

ValeryS · 10.06.2020, 12:55

Сообщение от locm

Массив попал во флеш как о должен в таких случаях.

это смотря какой компилятор
я давно не работаю с AVR, но помню что для одного достаточно const, а другому подавай PROGMEM

@locm · 10.06.2020, 12:57

Сообщение от ValeryS

это смотря какой компилятор

Это GCC для ARM.

ValeryS · 10.06.2020, 13:13

Сообщение от locm

для ARM.

не знаю, у меня в голове почему то отложилось что TC работает с AVR
подождем автора, пускай скажет что за камень

Добавлено через 2 минуты
вот он оказывается уже отвечал

Сообщение от minore

риалабовский MC12D8O .

Вообще не знаю такого зверя

@minore · 11.06.2020, 11:22 **[ТС]**

locm , вы были правы. К ошибке действительно приводило переполнение буфера вывода. Вопрос по сути исчерпался. Обидно, что компиляторы не проверяют такие вещи, и не подсказывают, что кладешь больше, чем можешь себе позволить.

@Rius · 11.06.2020, 11:31

Это проблема не компилятора. Она возникает во время выполнения.
На переполнении буфера несчётное число багов и дыр построено..

ValeryS Модератор 8908 / 6677 / 918 Регистрация: 14.02.2011 Сообщений: 23,514
	09.06.2020, 21:21	23
	Сообщение от locm Я думаю что дело в другом. и тут же сам сказал Сообщение от locm и записывая больше чем размер массива, пробелами затирает данные в другом массиве. Сообщение от locm Он похоже использует sprintf какая разница кто за массив выходит 0

@locm 4393 / 2243 / 252 Регистрация: 28.10.2011 Сообщений: 8,570 Записей в блоге: 6
	10.06.2020, 12:38	26
	Сообщение от ValeryS а вот так Все нормально. Массив попал во флеш как о должен в таких случаях. Но даже если бы он туда не попал, все равно данные не затерлись бы (проверено). Buff попадет в секцию .bss, а value_1 в секцию .data и расположение рядом маловероятно. 0

ValeryS Модератор 8908 / 6677 / 918 Регистрация: 14.02.2011 Сообщений: 23,514
	10.06.2020, 12:55	27
	Сообщение от locm Массив попал во флеш как о должен в таких случаях. это смотря какой компилятор я давно не работаю с AVR, но помню что для одного достаточно `const`, а другому подавай `PROGMEM` 0

@locm 4393 / 2243 / 252 Регистрация: 28.10.2011 Сообщений: 8,570 Записей в блоге: 6
	10.06.2020, 12:57	28
	Сообщение от ValeryS это смотря какой компилятор Это GCC для ARM. 0

ValeryS Модератор 8908 / 6677 / 918 Регистрация: 14.02.2011 Сообщений: 23,514
	10.06.2020, 13:13	29
	Сообщение от locm для ARM. не знаю, у меня в голове почему то отложилось что TC работает с AVR подождем автора, пускай скажет что за камень Добавлено через 2 минуты вот он оказывается уже отвечал Сообщение от minore риалабовский MC12D8O . Вообще не знаю такого зверя 0

@Rius 10533 / 6461 / 1502 Регистрация: 25.05.2015 Сообщений: 19,589 Записей в блоге: 14
	09.06.2020, 20:35	21
	Метод я выше показал. Верните как было и проверьте. Такие нюансы надо досконально выяснять. А не "инициализацию поменял, всё заработало, и пофиг". Добавлено через 7 минут Потому что когда устройство разойдётся тысячами штук по стране и за её пределами, да вылезет баг, на который вы вот сейчас махнули рукой, будет слегка неудобно. 1

@minore 370 / 133 / 44 Регистрация: 05.02.2015 Сообщений: 895
	09.06.2020, 21:03 [ТС]	22
	Rius , так я же не спорю. Обязательно проверю, просто написал, как пока "заткнул" дырку, может кто и объяснил бы почему заработало. Спасибо за информацию. 0

@locm 4393 / 2243 / 252 Регистрация: 28.10.2011 Сообщений: 8,570 Записей в блоге: 6
	09.06.2020, 21:55	24
	Сообщение от ValeryS и тут же сам сказал Ну у вас цикл был. Сообщение от ValeryS какая разница кто за массив выходит Разница в том что это менее очевидно. В случае цикла компиль не позволит изменить константый массив (см первое сообщение). 0

@minore 370 / 133 / 44 Регистрация: 05.02.2015 Сообщений: 895
	11.06.2020, 11:22 [ТС]	30
	locm , вы были правы. К ошибке действительно приводило переполнение буфера вывода. Вопрос по сути исчерпался. Обидно, что компиляторы не проверяют такие вещи, и не подсказывают, что кладешь больше, чем можешь себе позволить. 0

@Rius 10533 / 6461 / 1502 Регистрация: 25.05.2015 Сообщений: 19,589 Записей в блоге: 14
	11.06.2020, 11:31	31
	Это проблема не компилятора. Она возникает во время выполнения. На переполнении буфера несчётное число багов и дыр построено.. 0

Опции темы