Smalien

سميلين هي أداة لتحليل تدفق المعلومات واكتشاف تسرب المعلومات لمحللي تطبيقات أندرويد. تقوم سميلين بإجراء تحليل تلطيخ ثابت لتطبيقات أندرويد على جهاز لينكس بالإضافة إلى تحليل تلطيخ ديناميكي، واكتشاف تسرب المعلومات الناتج عن تدفقات المعلومات الضمنية، وتنفيذ سياسة الخصوصية على جهاز أندرويد في وقت التشغيل.

ملاحظة: الإصدار الجديد من سميلين متاح الآن على SaitoLab-Nitech/VTDroid !!

سميلين يحتوي على الوظائف التالية

• تحليل تطبيق أندرويد بشكل ثابت وجمع معلومات عن الفئات، والطرق، والمتغيرات، إلخ.
• عرض نتائج التحليل بيانيًا مثل رسم بياني لاستدعاءات الطرق ورسم تخطيطي لتدفق المعلومات.
• إجراء تحليل تلطيخ ديناميكي على جهاز أندرويد.
• تطبيق سياسة الخصوصية التي يحددها المحلل.
• اكتشاف تسرب المعلومات الناتج عن تدفقات المعلومات الضمنية.
• تسجيل المعلومات الفعلية التي يتم تشغيلها بواسطة أي كود بايت أو استدعاء API، مثل طلب http، في وقت التشغيل لتشجيع المحلل في فحصه.

معرض بلاك هات الولايات المتحدة الأمريكية 2019

حاليًا، نحن نعمل على فرع آخر، demo-master. يرجى التحقق منه للحصول على البرامج التي استخدمناها في المعرض.

الأدوات المطلوبة

• Apktool
• jarsigner
• keytool
• adb

الاستخدام

تحقق من ويكي الخاص بنا للحصول على التعليمات الكاملة.

تشغيل التحليل الثابت

python main.py <apk_path>

يقوم بإنشاء ملفات parsed_data.json و data_flows.json كنتائج.

إنشاء الرسوم البيانية

python generate_graphs.py parsed_data.json data_flows.json

يقوم بإنشاء ملفات output_class_calls.md و output_data_flows.md كنتائج. تحتوي هذه الملفات على نصوص برمجية لـ mermaid. يمكنك استخدام عارض ماركداون مثل Haroopad لعرض الرسوم البيانية.

تشغيل التحليل الديناميكي

ملف apk الجديد implanted.apk موجود داخل smalien/hive/workspace/. قم بتثبيته على جهاز أندرويد الخاص بك باستخدام الأمر التالي وقم بتشغيله.

adb install -g hive/workspace/implanted.apk

حاليًا، سميلين هو نموذج أولي لبحثنا الأكاديمي ولا يحتوي على وظائف كاملة. نحن نعمل عليه!