المجاميع الاختبارية

حين تقرأ صيغة ملف تجد كثيرًا رقمًا محسوبًا من بايتات البيانات نفسها، وظيفته أن يكشف العطب: إن تغيّر بايت واحد في الطريق لم يعد الرقم يطابق. هذا الرقم اسمه المجموع الاختباري (checksum).

أبسطه أن تجمع البايتات وتأخذ الباقي على 256 فيبقى في بايت واحد، أي sum(data) & 0xFF. لكنه ضعيف، فلو تبادل بايتان مكانيهما بقي المجموع كما هو.

لذلك تستعمل الصيغ الحقيقية CRC32، وهو رقم من 32 بتًا يتغيّر مع أي عطب صغير تقريبًا، حتى تبديل بايتين. ففي PNG مثلًا تنتهي كل قطعة (chunk) بأربعة بايتات هي CRC32 لنوع القطعة وبياناتها، وفي ZIP لكل ملف CRC32 خاصّ به. وفي Python تحسبه الدالة zlib.crc32:

import zlib
a, b = b"ab", b"ba"
sum(a) == sum(b)                # True
zlib.crc32(a) == zlib.crc32(b)  # False

وفي التحليل تحتاجه في اتجاهين: لتتأكّد أن الملف الذي تقرؤه سليم، ولتعيد حسابه حين تعدّل ملفًا لك، لأن البرنامج الذي يقرأ الصيغة يرفض قطعة لا يطابقها مجموعها.