Наслідки передачі занадто мало параметрів регістру до функції C

Передача занадто малого набору параметрів через регістри до функції C зазвичай призводить до невизначеної поведінки (Undefined Behavior), що проявляється у використанні випадкових значень із регістрів або порушенні логіки роботи стека. Це створює критичні вразливості, такі як читання чутливих даних або можливість виконання довільного коду через маніпуляцію станом процесора.

Чому помилка в кількості параметрів регістру є критичною?

У сучасних архітектурах (як-от x86-64 або ARM), виклик функції зазвичай базується на певній конвенції виклику (Calling Convention). Ці правила визначають, які саме регістри (наприклад, rdi, rsi, rdx у Linux) мають містити аргументи. Коли функція очікує, наприклад, п'ять параметрів, а програма передає лише три через регістри, виникає розрив між очікуваннями коду та реальним станом апаратного забезпечення.

Проблема полягає в тому, що процесор не "попереджає" про відсутність даних. Він просто бере те, що лежить у наступному за списком регістрі. Якщо в цей регістр раніше було записано частину пароля, адресу в пам'яті або інший важливий показник, функція почне працювати з цим "сміттям", вважаючи його легітимним вхідним аргументом.

Які основні наслідки для стабільності та безпеки програми?

Наслідки можуть бути як м'якими (логічні помилки