فحص تواقيع الملفات مقابل بنيتها المعلنة

def parse_labf(raw):
    if len(raw) < 5:
        return "TRUNCATED_HEADER"
    if raw[:4] != b"LABF":
        return "BAD_MAGIC"
    if len(raw) != 5 + raw[4]:
        return "LENGTH_MISMATCH"
    return raw[5:]

assert parse_labf(b"LABF\x03abc") == b"abc"
assert parse_labf(b"LAB") == "TRUNCATED_HEADER"
assert parse_labf(b"OTHER\x00") == "BAD_MAGIC"
assert parse_labf(b"LABF\x04abc") == "LENGTH_MISMATCH"
print("four custom-format structure cases checked")

four custom-format structure cases checked

يحلل البرنامج الكامل أربع سلاسل أنشأها المؤلف في الذاكرة. ليس أداة تعرف جنائي ولا يتحقق من صيغة حقيقية. يعالج الحالات المعطوبة صراحة دون تنفيذ محتواها أو إصلاحه.

valid = b"LABF\x03abc"
truncated = b"LABF\x03a"
assert valid.startswith(b"LABF") and truncated.startswith(b"LABF")
assert len(valid) == 5 + valid[4]
assert len(truncated) != 5 + truncated[4]
print("same prefix; different structural validity")

same prefix; different structural validity

يقارن البرنامج الكامل كائنين مختلقين ثابتين ويثبت خاصية طول LABF المعلنة فقط. لا يستعيد أو يصنف أو يتحقق من ملف حقيقي، ولا يستدعي معالج محتوى.