تتعلّم هنا أن تفهم البرنامج من بايتاته: تقرأ الست عشري وترتيب البايتات، وتفكّ التشفير البسيط، وتقرأ الأسمبلي، وتبني محاكيًا لآلة صغيرة، ثم تحلّ تحدّيات تستخرج فيها المفتاح بكودك. كل ذلك في Python داخل متصفّحك، على برامج صغيرة صنعناها لك.
>>> prog = bytes.fromhex("01480502210500")>>> prog.hex(" ")'01 48 05 02 21 05 00'>>> print(*disasm(prog), sep="\n")LOAD 0x48 OUT ADD 0x21 OUT HALT>>> run(prog)b'Hi'>>>
تبدأ من البايت وتنتهي بتحدّيات تستخرج فيها المفتاح بنفسك. كل مسار يبني على الذي قبله، فاتبعها بالترتيب.
ابدأ من البايت: الست عشري وترتيب البايتات والعمليات على البتات، وقراءة بنى الملفات واستخراج النصوص وفكّ XOR.
اقرأ الأسمبلي واصطلاح الاستدعاء وتدفّق التحكّم، وابنِ لآلة صغيرة مفكّكًا ومحاكيًا، ثم رقّع بايتاتها وتحقّق من سلامتها.
ستّة تحدّيات متدرّجة تعكس فيها دالة تحقّق أو بايتكود لتستخرج المفتاح بكودك أنت لا بنسخه.
هذه واجبات المنطقة. في كل تحدٍّ برنامج صغير صنعناه لك، تعكس فيه دالة تحقّق أو بايتكود لتستخرج المفتاح. التلميحات فيها أقلّ، والفحص يجرّب كودك على حالات مخفيّة، فلا ينفع نسخ جواب جاهز.
حللت 0 من 6 تحدّيات
تجريب كل المفاتيح واختيار أقربها إلى الكلام
عكس خطوات التحويل خطوة خطوة لاسترجاع المفتاح
محاكاة الآلة بأمر الإدخال وعكسها لاستخراج المفتاح
البحث الشامل في مجال صغير
المشي على سجلّات بأطوال متغيّرة
سلسلة خطوات تنتهي بالعلم
يُفتح الاختبار حين تُتمّ دروس المنطقة وتحدّياتها كلّها. فيه ثلاث مراحل، سهلة ثم متوسّطة ثم صعبة، في كلٍّ منها سؤالان بلا تلميحات ولا حلول جاهزة، وكل مرحلة تفتح التي بعدها.
شهادة إتقان
الهندسة العكسية
اسمك هنا
اجتياز اختبار الهندسة العكسية بمراحله الثلاث، السهلة والمتوسّطة والصعبة، دون تلميح أو حلّ نموذجي، مع النجاح في كل الفحوص التلقائية.
جداول قصيرة تحتاجها في كل درس وتحدٍّ: التحويل بين الأنظمة، والمحارف، وأحرف struct، والمسجّلات والأوامر، وترتيب البايتات، وأوامر آلتنا الصغيرة.
| عشري | ست عشري | ثنائي |
|---|---|---|
0 | 0x00 | 0000 0000 |
1 | 0x01 | 0000 0001 |
10 | 0x0a | 0000 1010 |
15 | 0x0f | 0000 1111 |
16 | 0x10 | 0001 0000 |
42 | 0x2a | 0010 1010 |
65 | 0x41 | 0100 0001 |
127 | 0x7f | 0111 1111 |
255 | 0xff | 1111 1111 |
البايت رقم من 0 إلى 255، يُكتب برقمين ست عشريين أو بثمانية بتات. وفي Python تعرضه بالدالتين hex وbin، وتعيده من نصّه بالدالة int.
hex(42) '0x2a'
bin(42) '0b101010'
int("2a", 16) 42
f"{42:08b}" '00101010'العدد 0x12345678 في أربعة بايتات من الذاكرة:
كبير الطرف (big)
صغير الطرف (little)
صغير الطرف يضع البايت الأدنى أولًا، وهو الأشيع في المعالجات. والملوّن هنا البايت الأعلى، والأرقام تحته موضع كل بايت من بداية العدد.
n = 0x12345678
n.to_bytes(4, "big").hex(" ")
'12 34 56 78'
n.to_bytes(4, "little").hex(" ")
'78 56 34 12'| المسجّل | ما يحمله |
|---|---|
rax | القيمة التي تُرجعها الدالة |
rdi rsi rdx rcx r8 r9 | الوسائط من الأول إلى السادس |
rsp | قمّة المكدّس |
rbp | قاعدة إطار الدالة |
rip | عنوان الأمر التالي |
هذا اصطلاح System V في لينكس وماك. أمّا ويندوز فيمرّر الوسائط الأربعة الأولى في rcx وrdx وr8 وr9. ولكل مسجّل اسم لنصفه الأدنى، فالمسجّل eax هو النصف الأدنى من rax.
| الأمر | ما يفعله |
|---|---|
mov a, b | ينسخ قيمة الثاني إلى الأول |
lea a, [m] | يضع في الأول عنوان m لا قيمته |
add a, b | يجمع الثاني إلى الأول |
sub a, b | يطرح الثاني من الأول |
xor a, b | يطبّق XOR بين الأول والثاني |
inc a / dec a | يزيد واحدًا أو ينقص واحدًا |
cmp a, b | يقارن ويضبط الأعلام |
test a, b | يطبّق AND ويضبط الأعلام |
jmp L | يقفز إلى L دائمًا |
je / jz L | يقفز إن تساويا أو كان الناتج صفرًا |
jne / jnz L | يقفز إن اختلفا |
jg / jle L | يقفز إن كان الأول أكبر، أو أصغر أو يساويه |
push a | يدفع قيمة إلى المكدّس |
pop a | يسحب قيمة من المكدّس |
call f / ret | يستدعي دالة، ويعود منها |
الأوامر هنا بصيغة Intel كما تعرضها أدوات مثل Ghidra، وفيها الوجهة قبل المصدر. وتعرض أدوات لينكس مثل objdump صيغة AT&T التي تعكس الترتيب وتسبق المسجّل بـ %، فأضف -M intel لتوافق ما هنا. والأمران cmp وtest لا يحفظان الناتج بل يضبطان الأعلام التي تقرؤها القفزات بعدهما، والأمر xor eax, eax طريقة مختصرة لتصفير المسجّل.
| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | a | b | c | d | e | f | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2x | sp | ! | " | # | $ | % | & | ' | ( | ) | * | + | , | - | . | / |
| 3x | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | : | ; | < | = | > | ? |
| 4x | @ | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O |
| 5x | P | Q | R | S | T | U | V | W | X | Y | Z | [ | \ | ] | ^ | _ |
| 6x | ` | a | b | c | d | e | f | g | h | i | j | k | l | m | n | o |
| 7x | p | q | r | s | t | u | v | w | x | y | z | { | | | } | ~ |
اقرأ رمز المحرف من صفّه وعموده: الحرف A في الصفّ 4x والعمود 1، أي 0x41. والمطبوع كلّه بين 0x20 و0x7e، وما خرج عنه ضجيج غالبًا. وفي Python تحوّل المحرف رقمًا بالدالة ord، والرقم محرفًا بالدالة chr.
| الحرف | البايتات | المعنى |
|---|---|---|
< | صغير الطرف | |
> | كبير الطرف | |
! | ترتيب الشبكة، وهو كبير الطرف | |
x | 1 | بايت حشو يُتخطّى |
B b | 1 | بايت بلا إشارة، وبإشارة |
H h | 2 | عدد قصير بلا إشارة، وبإشارة |
I i | 4 | عدد صحيح بلا إشارة، وبإشارة |
Q q | 8 | عدد طويل بلا إشارة، وبإشارة |
4s | 4 | أربعة بايتات كما هي |
struct.unpack("<IHB", data)
struct.calcsize("<IHB") # 7نصّ التنسيق في المثال يقرأ أربعة بايتات ثم اثنين ثم واحدًا بترتيب صغير الطرف. وابدأ نصّ التنسيق دائمًا برمز الترتيب، فبدونه يضيف Python حشوًا ليحاذي الحقول.
| البايت | الأمر | معامل | ما يفعله |
|---|---|---|---|
0x00 | HALT | لا | يوقف التنفيذ |
0x01 | LOAD | نعم | يضع المُعامَل في المُراكِم |
0x02 | ADD | نعم | يجمع المُعامَل إلى المُراكِم |
0x03 | XOR | نعم | يطبّق XOR بين المُراكِم والمُعامَل |
0x04 | SUB | نعم | يطرح المُعامَل من المُراكِم |
0x05 | OUT | لا | يضيف المُراكِم إلى المخرجات |
آلة اخترعناها للتعلّم، تستعملها دروس تحليل البرامج والتحدّيات والاختبار. المُراكِم يبدأ بصفر، والحساب كلّه بباقي القسمة على 256، والأمر ذو المُعامَل طوله بايتان.
كل مصطلح بالعربية كما نكتبه في الدروس، ومعه اسمه بالإنجليزية لتبحث عنه في المراجع.
أجوبة مختصرة لأكثر ما يُسأل عنه قبل دخول المنطقة.
لا، فكل شيء يعمل في Python داخل متصفّحك. لا تثبيت ولا أدوات نظام، وكل البرامج التي تحلّلها بايتات صغيرة مضمَّنة في الدرس.
التعلّم هنا مشروع، لأنك تحلّل برامج صنعناها لهذا الغرض. وخارج الموقع يختلف القانون من بلد إلى آخر، فاقتصر على برنامجك أنت أو ما تأذن به رخصته أو التحدّيات التعليمية، ولا تكسر برامج الآخرين ولا تتجاوز حمايتها.
لا، نبدأ من البايت ونصل إلى قراءة الأسمبلي خطوة خطوة، وكل أمر نحتاج إليه تجده في العدّة السريعة أعلاه.
لغة Python أداة ممتازة لقراءة البايتات ومعالجتها، ومكتباتها القياسية مثل struct وzlib وhashlib تكفي لتحليل الصيغ وفكّ التشفير البسيط وبناء محاكٍ.
في التحدّيات تلميحات أقلّ، والفحص يتحقّق من المفتاح الذي يحسبه كودك على عدّة حالات مخفيّة، فلا ينفع نسخ جواب جاهز.
نعم، حين تجتاز اختبار الهندسة العكسية بمراحله الثلاث تحصل على شهادة إتقان باسمك، كما في اختبارات اللغات.
الدرس الأول قصير، تقرأ فيه أوّل بايتات ملفّ وتعرف متى تكون الهندسة العكسية مشروعة.