GhidrOllama
1.0.0
تفاعل Ollama API مع برنامج Ghidra النصي للهندسة العكسية بمساعدة LLM.
يتفاعل هذا البرنامج النصي مع واجهة برمجة تطبيقات Ollama للتفاعل مع نماذج اللغات الكبيرة (LLMs). يستخدم واجهة برمجة تطبيقات Ollama لأداء العديد من مهام الهندسة العكسية دون مغادرة Ghidra. وهو يدعم كلاً من مثيلات Ollama المحلية والبعيدة. هذا البرنامج النصي مستوحى من GptHidra.
يدعم هذا البرنامج النصي أي نموذج يدعمه Ollama
أضافت شركة Ollama مؤخرًا دعمًا لأي نموذج متاح على HuggingFace بتنسيق GGUF، على سبيل المثال:
ollama run hf.co/arcee-ai/SuperNova-Medius-GGUF
لا تتردد في استبدال llama3.1:8b بأي من الطرز المتوافقة مع Ollama
curl -fsSL https://ollama.com/install.sh | sh
ollama run llama3.1:8b
الآن يجب أن تكون جاهزًا للبدء، يجب أن يكون localhost:11434 جاهزًا للتعامل مع الطلبات
ملاحظة: يدعم هذا البرنامج النصي أيضًا المثيلات البعيدة، ويقوم بتعيين عنوان IP والمنفذ أثناء التكوين الأول.
تتوفر خيارات التكوين التالية، ويمكن تهيئتها عند التشغيل لأول مرة:
localhost11434http أو https وفقًا لكيفية تكوين المثيل الخاص بكيمكن استخدام الخيارين 11 و12 لضبط الإعدادات بعد التشغيل لأول مرة.
~/ghidra_scripts ).إن الدخول إلى نافذة البرنامج النصي لتشغيل هذا البرنامج النصي في كل مرة أمر غير مريح، ويمكن تشغيل البرنامج النصي بسهولة بالطرق التالية:
للتمكين، بمجرد إضافة البرنامج النصي الخاص بك إلى قائمة أدلة نصوص Ghidra، حدد موقع البرنامج النصي في القائمة. انقر بزر الماوس الأيمن على النتيجة، ثم حدد "تعيين ربط المفتاح". إذا طلب منك مفتاحًا، فأدخل q .
لتمكين رمز شريط الأدوات، حدد موقع البرنامج النصي في مدير البرامج النصية، ثم انقر فوق خانة الاختيار في العمود الأول (العمود في شريط الأدوات ). يجب أن تظهر أيقونة GhidrOllama في شريط الأدوات.
فيما يلي تطبيق strchr() كما هو موضح في نافذة فك ترجمة Ghidra برموز مجردة:
char * FUN_801a7490 ( char * param_1 , char param_2 )
{
char cVar1 ;
char * pcVar2 ;
cVar1 = * param_1 ;
if ( cVar1 == ' ' ) {
pcVar2 = ( char * ) 0x0 ;
}
else {
pcVar2 = ( char * ) 0x0 ;
do {
if ( param_2 == cVar1 ) {
pcVar2 = param_1 ;
}
param_1 = param_1 + 1 ;
cVar1 = * param_1 ;
} while ( cVar1 != ' ' );
}
if ( param_2 != ' ' ) {
param_1 = pcVar2 ;
}
return param_1 ;
}تم إجراء التحليل التالي باستخدام نموذج llama3.1:8b .
وظيفة مثيرة للاهتمام! كمساعد مهندس عكسي، سأقوم بتفصيل ما يفعله هذا الكود وتقديم بعض الأفكار.
التوقيع الوظيفي
char * FUN_801a7490(char *param_1,char param_2)تأخذ الدالة معلمتين:
param_1: مؤشر إلى مصفوفة أحرف (من المحتمل أن تكون سلسلة)param_2: حرف واحدهيئة الوظيفة
تقوم الوظيفة بما يلي:
- يتحقق مما إذا كان الحرف الأول من
param_1(cVar1) هو. إذا كان الأمر كذلك، فسيتم تعيينpcVar2على(char *)0x0، وهو NULL بشكل أساسي.- إذا لم يكن
cVar1، فإنه يدخل في حلقة حيث:
- يتحقق مما إذا كان الحرف
param_2يطابق الحرف الحالي فيparam_1(cVar1). إذا كانت متطابقة، فسيتم تعيينpcVar2على عنوانparam_1.- تتم زيادة المؤشر
param_1بمقدار واحد للإشارة إلى الحرف التالي في السلسلة.- تستمر الحلقة حتى الوصول إلى نهاية السلسلة (أي،
cVar1يصبح).
- إذا لم تكن
param_2فارغة، فستُرجع الدالة العنوان المخزن فيpcVar2.رؤى
بناءً على هذا الكود، يبدو أنه يبحث عن حرف (
param_2) ضمن سلسلة (param_1). يتوقف البحث بمجرد العثور على التواجد الأول لهذا الحرف.
if (param_2 != ' ') { param_1 = pcVar2; }تشير عبارة إلى أنه إذا تم العثور علىparam_2في السلسلة، فإن الدالة ترجع مؤشرًا إلى ذلك الموقع داخل السلسلة. إذا لم يكن الأمر كذلك، فإنه لا يزال يُرجع مؤشرًا صالحًا (يشير على الأرجح إلى بداية السلسلة).
أعاد GhidrOllama تسمية الوظيفة إلى find_char_in_string
فيما يلي الوظيفة المعدلة مع تعليقات إضافية لشرح سلوكها:
char * FUN_801a7490 ( char * param_1 , char param_2 ) { // Initialize a character variable (cVar1) to hold the first character of param_1. char cVar1 ; // Initialize a pointer variable (pcVar2) to point to null initially. char * pcVar2 ; // Assign the first character of param_1 to cVar1. This will be used as a starting point for searching in the string. cVar1 = * param_1 ; // Check if the input string (param_1) is empty (' '). if ( cVar1 == ' ' ) { // If it's empty, set pcVar2 to null, effectively indicating that no match was found. pcVar2 = ( char * ) 0x0 ; } else { // Initialize pcVar2 to null, which will be updated later if a match is found. pcVar2 = ( char * ) 0x0 ; // Loop through the string param_1 until we reach its end (' '). do { // Check if the current character (cVar1) matches the input parameter (param_2). if ( param_2 == cVar1 ) { // If it's a match, update pcVar2 to point to the beginning of param_1, effectively returning its address. pcVar2 = param_1 ; } // Move on to the next character in param_1 by incrementing its pointer (param_1 = param_1 + 1). param_1 = param_1 + 1 ; // Update cVar1 to hold the new current character. cVar1 = * param_1 ; } while ( cVar1 != ' ' ); } // Check if a match was found by verifying that param_2 is not null (' '). if ( param_2 != ' ' ) { // If it's not null, update param_1 to point to the matched string in pcVar2. param_1 = pcVar2 ; } // Return the address of the matched string or an empty string if no match was found. return param_1 ; }يبدو أن هذه الوظيفة تبحث عن حرف واحد (param_2) داخل سلسلة (param_1). تقوم بإرجاع عنوان السلسلة المطابقة، أو فارغة إذا لم يتم العثور على أي تطابق. إذا كانت سلسلة الإدخال فارغة، فإنها ترجع فارغة على الفور.
فيما يلي الوظيفة المعاد كتابتها بأسماء وتعليقات وصفية أكثر:
/** * Find the index of a given character in a string. * * @param str The input string to search in. * @param charToFind The character to find in the string. * * @return A pointer to the found character in the string, or NULL if not found. */ char * findCharacterInString ( char * str , char charToFind ) { // Initialize variables char currentChar ; char * foundCharPtr ; // Check if the input string is empty currentChar = * str ; if ( currentChar == ' ' ) { // If the string is empty, return NULL foundCharPtr = NULL ; } else { // Initialize pointer to point to end of string foundCharPtr = NULL ; // Loop through each character in the string do { // Check if current character matches the character to find if ( charToFind == currentChar ) { // If a match is found, update the pointer and break out of loop foundCharPtr = str ; break ; } // Move to next character in string str ++ ; currentChar = * str ; } while ( currentChar != ' ' ); } // Ensure that if charToFind is not empty, we return the pointer to the found character if ( charToFind != ' ' ) { str = foundCharPtr ; } // Return the pointer to the found character, or NULL if not found return str ; }لاحظ أنني استخدمت اسم وظيفة وصفيًا أكثر
findCharacterInStringوأضفت تعليقات لشرح ما يفعله كل جزء من الكود. لقد استخدمت أيضًا أسماء متغيرات وصفية أكثر مثلcurrentCharوfoundCharPtrوstrبدلاً منcVar1وpcVar2وما إلى ذلك.
لقد أعطيت GhidrOllama بعض التعليمات البرمجية التي أعرف أنها تحتوي على تجاوز سعة المكدس لمعرفة ما إذا كان سيكتشفها، وإليك الرد:
المناطق المثيرة للاهتمام التي قد تمثل ثغرات أمنية في مقتطف الكود المحدد:
إلغاء مرجعية المؤشر NULL : في الوظيفة
upnp_device_discovery، توجد إمكانية إلغاء مرجعية المؤشر NULL عند الوصول إلىiVar2عند الإزاحة0x2910. يمكن أن يحدث هذا إذا كانتDAT_8025d514أقل من 3، وكانت*(int *)(param_1 + 0x2910)تُرجع NULL. لإصلاح ذلك، أضف علامة اختيار للتأكد من أنiVar2ليس فارغًا قبل إلغاء مرجعيته.if ( DAT_8025d514 < 3 && iVar2 != NULL ) { iVar2 = * ( int * )( param_1 + 0x2910 ); }تجاوز سعة المخزن المؤقت : في الدالة
upnp_device_discovery، هناك احتمالية تجاوز سعة المخزن المؤقت عند استدعاءstrcpy(auStack_98, iVar2 + 5);. يمكن أن يحدث هذا إذا تجاوزiVar2plus 5 حدود مصفوفةauStack_98. لإصلاح ذلك، قم بإضافة عمليات التحقق للتأكد من أن المخازن المؤقتة للمصدر والوجهة ليست كبيرة جدًا بالنسبة للسلسلة الهدف.if ( iVar2 != NULL && iVar2 + 5 <= iVar1 ) { strcpy ( auStack_98 , iVar2 + 5 ); }الاستخدام بعد الاستخدام : في الوظيفة
upnp_device_discovery، هناك إمكانية للاستخدام بعد الاستخدام مجانًا عند الوصول إلىiVar1بعد تحريره في مقتطف الكود التالي:iVar1 = FUN_801a6bb4 ( iVar2 , s_urn_schemas_wifialliance_org_dev_801eb090 , 0x24 ); if ( iVar1 == 0 ) { iVar2 = iVar2 + 0x24 ; iVar1 = FUN_801a7114 ( iVar2 , s_check_pse_fid_Q7__801d0030 + 0x10 ); }يتم تحرير
iVar1في السطر الذي تم تعيينه فيه لـFUN_801a7114، ولكن بعد ذلك لا يزال يُستخدم كوسيطة في السطر التالي. لإصلاح ذلك، قم بإعادة تعيين نتيجةFUN_801a7114مرة أخرى إلىiVar1.iVar1 = FUN_801a7114 ( iVar2 , s_check_pse_fid_Q7__801d0030 + 0x10 );حقن SQL : في الوظيفة
upnp_device_discovery، هناك إمكانية لإدخال SQL عند استدعاءFUN_801a6bb4مع إدخال المستخدم كوسيطة. لإصلاح هذه المشكلة، استخدم استعلامات ذات معلمات أو عبارات معدة لمنع حقن SQL.iVar1 = FUN_801a6bb4 ( iVar2 , s_check_pse_fid_Q7__801d0030 + 0x10 );هذه بعض الثغرات الأمنية المحتملة التي يمكن العثور عليها في مقتطف التعليمات البرمجية المحدد.
يمكننا أن نرى أنها وجدت تجاوز سعة المكدس في النقطة 2، وفي النقاط الأخرى، يبدو أنها تضع افتراضات حول السلوك غير صحيحة تمامًا.
يمكن أن يوفر البرنامج النصي أيضًا وصفًا للتعليمات في نافذة القائمة (يحفظ تصفح أدلة المبرمجين)، إليك مثال على ذلك:
movz v1, a0, v0
وهنا الرد:
تعليمات MIPS مبهجة!
التعليمة
movz v1, a0, v0هي تعليمة تحميل/تخزين تقوم بحركة عدد صحيح مع عملية تمديد صفرية.دعونا نقسمها:
movz: هذا هو الرمز التذكيري للتعليمات، والذي يرمز إلى "التحرك مع امتداد صفري". يتم استخدامه لنقل البيانات بين السجلات مع توسيع بتات الإشارة.v1وa0وv0هي أسماء تسجيل. في MIPS، هذه السجلات لها الأدوار التالية:
v1: سجل الوجهة (حيث سيتم تخزين النتيجة).a0: سجل المصدر 1 (يحتوي على القيمة المراد نقلها).v0: تسجيل المصدر 2 ليس ضروريًا في هذه الحالة.الغرض من هذه التعليمات هو نسخ محتويات
a0إلىv1وتوسيع بت الإشارةa0إذا كانت سالبة. سيتم تخزين النتيجة فيv1.لفهم ما يعنيه "الامتداد الصفري"، دعونا نفكر في مثال:
لنفترض أن
a0يحتوي على القيمة-5. في التمثيل الثنائي، هذا هو11111011. عندما نجري عملية تمديد صفرية على هذه القيمة، فإننا نضيف أصفارًا بادئة لجعلها عددًا صحيحًا يبلغ 32 بت. ستكون القيمة الثنائية الناتجة00000000011111011.في أمثلة رمز التجميع:
- لنفترض أن لديك القيم التالية في السجلات:
a0: -5 (ثنائي:11111011)- لم يتم استخدام
v0في هذا المثال، وبعد تنفيذmovz v1, a0, v0، سيحتوي السجلv1على القيمة-5.
- الآن لنفترض أن لديك:
a0: 17 (ثنائي:00010001)- مرة أخرى، لم يتم استخدام
v0بعد تشغيل
movz v1, a0, v0، سيظل السجلv1يحتفظ بالقيمة الثنائية الأصلية البالغة17، نظرًا لأنها موجبة بالفعل ولا تتطلب أي امتداد صفري.
- مثال آخر مع:
a0: -128 (ثنائي:10000000)- مرة أخرى، لم يتم استخدام
v0بعد تنفيذ
movz v1, a0, v0، سيحتوي السجلv1على القيمة-128.تذكر أنه في MIPS، يمكن للتعليمات
movzأن تتحرك فقط بين السجلات ذات الحجم نفسه (أعداد صحيحة 32 بت). يتم نقل القيم مباشرة دون أي تحويل أو ترقية.باختصار، يتم استخدام
movz v1, a0, v0لنسخ البيانات الصحيحة من سجل واحد (a0) إلى آخر (v1)، وتوسيع بتات الإشارة إذا لزم الأمر.
لقد طلبت من النموذج أن يشرح التجميع التالي:
801a7490 00 00 82 80 lb v0,0x0(a0)
801a7494 00 2e 05 00 sll a1,a1,0x18
801a7498 0b 00 40 10 beq v0,zero,LAB_801a74c8
801a749c 03 2e 05 00 _sra a1,a1,0x18
801a74a0 21 18 00 00 clear v1
LAB_801a74a4 XREF[1]: 801a74b4(j)
801a74a4 26 10 a2 00 xor v0,a1,v0
801a74a8 0a 18 82 00 movz v1,a0,v0
801a74ac 01 00 84 24 addiu a0,a0,0x1
801a74b0 00 00 82 80 lb v0,0x0(a0)
801a74b4 fb ff 40 14 bne v0,zero,LAB_801a74a4
801a74b8 00 00 00 00 _nop
LAB_801a74bc XREF[1]: 801a74c8(j)
801a74bc 21 10 80 00 move v0,a0
801a74c0 08 00 e0 03 jr ra
801a74c4 0b 10 65 00 _movn v0,v1,a1
LAB_801a74c8 XREF[1]: 801a7498(j)
801a74c8 2f 9d 06 08 j LAB_801a74bc
801a74cc 21 18 00 00 _clear v1
وهنا الرد:
مقتطف رمز تجميع MIPS!
فيما يلي تفاصيل لما تفعله كل تعليمات:
0x801a7490: رطل v0,0x0(a0)
lbهي تعليمات "تحميل البايت".v0هو سجل الوجهة (أي المكان الذي سيتم تخزين النتيجة فيه).0x0(a0)هو العنوان الفعال للبايت الذي سيتم تحميله. الجزء(a0)يعني أنه يجب إضافة القيمة الموجودة في السجلa0إلى القيمة المباشرة0x0لتكوين العنوان الفعال.- لذا، تقوم هذه التعليمات بتحميل بايت من موقع الذاكرة
a0 + 0 = a0إلى السجلv0.0x801a7494: sll a1,a1,0x18
sllهي تعليمات "التحول المنطقي لليسار".a1هو السجل المصدر (أي القيمة المراد نقلها).- تحدد القيمة المباشرة
0x18عدد البتات المطلوب إزاحتها. في هذه الحالة، يكون 24 بت (نظرًا لأن MIPS يستخدم كلمات 32 بت)، لذلك يتم تصفية كافة البتات بشكل فعال.- لذلك، تقوم هذه التعليمات بمسح الأجزاء العلوية من السجل
a1.0x801a7498: بيك v0، صفر، 0x801a74c8
beqهي تعليمات "الفرع إذا كان متساويًا".- تتم مقارنة المعاملين الأولين. إذا كانا متساويين (أي كلاهما صفر)، إذن...
- .. يتفرع البرنامج إلى العنوان المحدد بواسطة المعامل الثالث: 0x801a74c8 .
0x801a749c: _sra a1,a1,0x18
- هذه التعليمات مشابهة لتعليمة
sll، لكنها "عملية التحول الحسابي الصحيح". التأثير هو نفسه كما في التعليمات السابقة.0x801a74a0: واضح v1
_clear(لاحظ الشرطة السفلية) يمسح قيمة السجلv1.0x801a74a4: xor v0,a1,v0
xorهو تعليمة "OR" الحصرية.- تتم مقارنة المعاملين الأولين. إذا تم تعيين أي من البتات في معامل واحد ولكن ليس كليهما، إذن...
- ... تم تعيين البت المقابل في النتيجة (تسجيل
v0).0x801a74a8: موفز v1,a0,v0
_movz(لاحظ الشرطة السفلية) يقوم بتحميل الكلمة من موقع الذاكرةa0 + 0 = a0إلى السجلv1.0x801a74ac: إضافة a0,a0,0x1
addiuهي تعليمات "إضافة فورية غير موقعة".- تتم زيادة القيمة في السجل
a0بمقدار 1.0x801a74b0: رطل v0,0x0(a0)
- وهذا مشابه للتعليمة الأولى. يقوم بتحميل بايت من موقع الذاكرة
a0 + 0 = a0إلى السجلv0.0x801a74b4: بن v0، صفر، 0x801a74a4
bneهي تعليمات "الفرع إن لم يكن متساويًا".- تتم مقارنة القيمة الموجودة في السجل
v0بالصفر. إذا لم يكونا متساويين (على سبيل المثال،v0ليس صفرًا)، إذن...- .. فروع البرنامج تعود إلى 0x801a74a4 .
0x801a74b8: _nop
_nopهي تعليمات ممنوعة، وليس لها أي تأثير.0x801a74bc: نقل v0,a0
- يقوم
moveبتحميل قيمة السجلa0إلى السجلv0.0x801a74c0: الابن را
jrهي تعليمات "تسجيل الانتقال".- ينتقل البرنامج إلى العنوان المخزن في السجل
ra. من المحتمل أن يكون هذا هو عنوان المرسل، لذا ستنتهي الوظيفة.0x801a74c4: _movn v0,v1,a1
_movnيقوم بتحميل الكلمة من موقع الذاكرةa1 + 0 = a1إلى السجلv0.0x801a74c8: ي 0x801a74bc
- هذا هو هدف الفرع لتعليمة
beqالأولى.- يتفرع البرنامج إلى 0x801a74bc .
0x801a74cc: _ واضح v1
_clearيمسح قيمة التسجيلv1.يبدو أن الكود ينفذ نوعًا ما من الحلقات، ويزيد العداد (
a0) ويقوم ببعض العمليات الحسابية بناءً على قيمته. التفاصيل غير واضحة دون مزيد من السياق.
يتم توفير هذا البرنامج النصي كنموذج وقد يتطلب تعديلات لتناسب حالات استخدام محددة أو تغييرات في واجهة برمجة تطبيقات Olma. يرجى الرجوع إلى وثائق API لمعرفة أي تحديثات أو تغييرات.
هذا البرنامج النصي مستوحى من مستودع GptHidra.
يستخدم هذا البرنامج النصي أيضًا نسخة معدلة قليلاً من أحد نصوص غيدرا هذه.
جزيل الشكر للمساهمين في هذه المشاريع على عملهم الأولي.
