บัฟเฟอร์โอเวอร์โฟลว์เปลี่ยนชนิดข้อมูลของตัวแปรที่เป็นการเขียนทับหรือไม่? [ปิด]

char buf[15]บอกว่าผมมีอาร์เรย์ตัวอักษร C ตัวแปร Say มีข้อมูลที่จัดเก็บไว้ในสถานที่ตั้งของหน่วยความจำโดยตรงหลังจากint set_me = 0 char buf[15]ถ้าฉันล้นbufด้วยเชือก"aaabbbcccdddeee\xef\xbe\xad\xde"ก็จะset_me's เปลี่ยนแปลงชนิดข้อมูลจากจำนวนเต็มอาร์เรย์ตัวละครอยู่แล้ว?

เลขที่

"ชนิดข้อมูล" ของตัวแปรเกี่ยวข้องเฉพาะในซอร์สโค้ด (และในบางภาษาเท่านั้น) มันบอกคอมไพเลอร์วิธีการรักษาตัวแปร

ชนิดข้อมูลระดับสูงเหล่านี้ไม่มีอยู่ในโค้ดที่แปล (เนทีฟ) พวกเขาสามารถส่งผลกระทบต่อสิ่งที่สร้างคอมไพเลอร์ แต่คำแนะนำตัวเองไม่สนใจว่าข้อมูลหมายถึงตัวละครหรือตัวเลข

ตัวแปรไม่มีอยู่ในฮาร์ดแวร์ ในฮาร์ดแวร์คุณมีตำแหน่งหน่วยความจำและคำแนะนำที่ใช้งานได้

ตัวแปรอาจถูกมองว่าเป็นมุมมองของข้อมูลที่ตำแหน่งหน่วยความจำ - ถ้าคุณเหล่และดูที่หน่วยความจำเดียวกันแตกต่างกันเล็กน้อย (ตัวแปรที่แตกต่างกับชนิดที่ต่างกันซึ่งอ้างถึงที่ตั้งเดียวกัน) ค่าไบนารีเดียวกันอาจมีความหมายแตกต่างกัน .

ยกตัวอย่างเช่น 0x41 Aไบต์อาจจะตีความว่าเป็นตัวละคร มันอาจถูกตีความว่าเป็นจำนวนเต็มไบต์65เดียว มันอาจตีความได้ว่าเป็นหนึ่งไบต์ในจำนวนเต็มจำนวนเต็มหรือจำนวนทศนิยมหรือหนึ่งไบต์ในการเข้ารหัสอักขระแบบหลายไบต์ มันอาจเป็นบิตเซ็0b1000001ต ทั้งหมดมาจากไบต์เดียวกันในตำแหน่งหน่วยความจำเดียวกัน ในภาษา C คุณสามารถเห็นเอฟเฟกต์นี้โดยการชี้ไปที่ประเภทต่าง ๆ เหล่านี้

เมื่อคุณมี "บัฟเฟอร์มากเกินไป" คุณกำลังทำอะไรบางอย่างนอกขอบเขตของสิ่งที่คอมไพเลอร์หรือภาษาของคุณอาจคาดหวัง แต่เท่าที่ฮาร์ดแวร์เกี่ยวข้อง¹คุณกำลังเขียนไบต์ (ไม่ว่าเดียวหรือหลาย) ไปยังตำแหน่งหน่วยความจำ ตำแหน่งหน่วยความจำไม่มี "ประเภท" ในความเป็นจริงฮาร์ดแวร์ไม่ทราบด้วยซ้ำว่าชุดไบต์ใด ๆ ที่สร้างอาร์เรย์หรือบัฟเฟอร์ในรหัสของคุณ

ทุกครั้งที่คุณเข้าถึงตำแหน่งหน่วยความจำในรหัสของคุณคำแนะนำจะทำงานตามที่กำหนดไว้ในตอนแรก เช่นถ้าพวกเขาคาดหวังว่าจะมีตัวเลขพวกเขาจะทำอะไรกับไบต์ของข้อมูลราวกับว่าพวกเขาเป็นตัวเลข

หากต้องการใช้ตัวอย่างสมมติว่าคุณintเป็นจำนวนเต็ม 4 ไบต์ (32- บิต) ที่ได้รับการรับรอง:

+-------------+--------------------------------------------+-----------+
| Source code |                  char[15]                  |    int    |
+-------------+--------------------------------------------------------+
| Memory      |61|61|61|62|62|62|63|63|63|64|64|64|65|65|65|EF|BE|AD|DE|
+-------------+--------------------------------------------------------+

คุณจะเห็นว่าintที่ตั้งของหน่วยความจำ 's ตอนนี้มี0xEFBEADDEสมมติว่า big-ระบบ2 นี่คือ int แบบ 32 บิตที่ลงนาม-272716322แล้ว ทีนี้ถ้าคุณตีความหน่วยความจำเดียวกันกับ int ( uint) ที่ไม่ได้ลงชื่อมันจะเป็น4022250974เช่นนั้นแทน สำหรับข้อมูลเดียวกันในหน่วยความจำความหมายนั้นขึ้นอยู่กับว่าคุณดูอย่างไร

¹มีกลไกบางอย่างที่ป้องกันไม่ให้คุณเขียนลงในพื้นที่ป้องกันของหน่วยความจำและจะทำให้โปรแกรมของคุณทำงานล้มเหลวหากคุณพยายามทำเช่นนั้น

² x86 จริง ๆ แล้วเป็น endian น้อยซึ่งหมายความว่าคุณตีความไบต์ที่ทำขึ้นค่าย้อนหลัง ดังนั้นใน x86 คุณควรที่จะ0xDEADBEEFให้ลงชื่อ-559038737หรือไม่ได้ลงนาม3735928559แทน

จากมุมมองของ C คำตอบคือ "ใครจะรู้? มันเป็นพฤติกรรมที่ไม่ได้กำหนด"

ประเภทเป็นแนวคิด C ไม่ใช่ฮาร์ดแวร์ แต่กฎ C จะไม่มีผลหากโปรแกรมของคุณมีพฤติกรรมที่ไม่ได้กำหนดนั่นคือความหมายที่แท้จริงของพฤติกรรมที่ไม่ได้กำหนดในมาตรฐาน C และบัฟเฟอร์โอเวอร์โฟลว์เป็นหนึ่งในนั้น

ฉันเริ่มเขียนว่า "กฎ C ใช้ไม่ได้อีกต่อไป" แต่อันที่จริงพฤติกรรมที่ไม่ได้กำหนดนั้นมีผลย้อนหลัง กฎ C ไม่สามารถใช้กับโปรแกรมที่จะมีพฤติกรรมที่ไม่ได้กำหนดในอนาคต