Ця стаття потребує істотної переробки. (14 квітня 2022) |
Цілочисельне перепо́внення (англ. integer overflow) — стан, при якому обробка програми стає невизначеною внаслідок того, що значення операнда перебільшило , виділену для нього. При програмуванні обчислювальних систем, кожному числу, змінній (операнду) виділяться певна порція оперативної пам'яті (комірок пам'яті), залежно від оголошеного типу, що може задаватись явно або неявно. Тип даних визначає спосіб відображення (зберігання) даних у машинній пам'яті та, відповідно, обсяг пам'яті, що виділяється на зберігання даних. При переповненні число (операнд) стає більшим за оголошений тип і це спричинює помилку (fault) та порушення ходу програми — некоректне завершення програми (abnormal program termination). Переповнення може відбутися, зокрема, внаслідок ділення на нуль.
Боротьба з переповненням
Одним зі способів уникнення п. є реалізація у програмному коді алгоритмів опрацювання переповнень (перевірка та усунення умов, що спричиняють переповнення), а також — приведення типів даних до даних з більшою точністю. Останнє залежить від підтримки мовою програмування режимів (напр. мова Сі.)
Див. також
Література
- (2002). Types and Programming Languages. MIT Press. ISBN .
- Wright, Andrew K.; (1994). A Syntactic Approach to Type Soundness. Information and Computation. 115 (1): 38—94. doi:10.1006/inco.1994.1093.
- Macrakis, Stavros (April 1982). Safety and power. ACM SIGSOFT Software Engineering Notes. 7 (2): 25—26. doi:10.1145/1005937.1005941. S2CID 10426644.
Посилання
- Phrack #60, Basic Integer Overflows
- Phrack #60, Big Loop Integer Protection
- WASC Threat Classification — Integer Overflows
- Understanding Integer Overflow in C/C++
- Binary Overflow — Binary Arithmetic
- ISO C11 Standard
Ця стаття потребує додаткових для поліпшення її . (червень 2023) |
Це незавершена стаття про інформаційні технології. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Cya stattya potrebuye istotnoyi pererobki Mozhlivo yiyi neobhidno dopovniti perepisati abo vikifikuvati Poyasnennya prichin ta obgovorennya na storinci Vikipediya Statti sho neobhidno polipshiti Tomu hto dodav shablon zvazhte na te shob povidomiti osnovnih avtoriv statti pro neobhidnist polipshennya dodavshi do yihnoyi storinki obgovorennya takij tekst subst polipshiti avtoru Cilochiselne perepovnennya 14 kvitnya 2022 a takozh ne zabudte opisati prichinu nominaciyi na pidstorinci Vikipediya Statti sho neobhidno polipshiti za vidpovidnij den 14 kvitnya 2022 Cilochiselne perepo vnennya angl integer overflow stan pri yakomu obrobka programi staye neviznachenoyu vnaslidok togo sho znachennya operanda perebilshilo vidilenu dlya nogo Pri programuvanni obchislyuvalnih sistem kozhnomu chislu zminnij operandu vidilyatsya pevna porciya operativnoyi pam yati komirok pam yati zalezhno vid ogoloshenogo tipu sho mozhe zadavatis yavno abo neyavno Tip danih viznachaye sposib vidobrazhennya zberigannya danih u mashinnij pam yati ta vidpovidno obsyag pam yati sho vidilyayetsya na zberigannya danih Pri perepovnenni chislo operand staye bilshim za ogoloshenij tip i ce sprichinyuye pomilku fault ta porushennya hodu programi nekorektne zavershennya programi abnormal program termination Perepovnennya mozhe vidbutisya zokrema vnaslidok dilennya na nul Borotba z perepovnennyamOdnim zi sposobiv uniknennya p ye realizaciya u programnomu kodi algoritmiv opracyuvannya perepovnen perevirka ta usunennya umov sho sprichinyayut perepovnennya a takozh privedennya tipiv danih do danih z bilshoyu tochnistyu Ostannye zalezhit vid pidtrimki movoyu programuvannya rezhimiv napr mova Si Div takozhPerepovnennya buferuLiteratura 2002 Types and Programming Languages MIT Press ISBN 0 262 16209 1 Wright Andrew K 1994 A Syntactic Approach to Type Soundness Information and Computation 115 1 38 94 doi 10 1006 inco 1994 1093 Macrakis Stavros April 1982 Safety and power ACM SIGSOFT Software Engineering Notes 7 2 25 26 doi 10 1145 1005937 1005941 S2CID 10426644 PosilannyaPhrack 60 Basic Integer Overflows Phrack 60 Big Loop Integer Protection WASC Threat Classification Integer Overflows Understanding Integer Overflow in C C Binary Overflow Binary Arithmetic ISO C11 Standard Cya stattya potrebuye dodatkovih posilan na dzherela dlya polipshennya yiyi perevirnosti Bud laska dopomozhit udoskonaliti cyu stattyu dodavshi posilannya na nadijni avtoritetni dzherela Zvernitsya na storinku obgovorennya za poyasnennyami ta dopomozhit vipraviti nedoliki Material bez dzherel mozhe buti piddano sumnivu ta vilucheno cherven 2023 Ce nezavershena stattya pro informacijni tehnologiyi Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi