Smalien

Smalien Android एप्लिकेशन विश्लेषकों के लिए एक सूचना प्रवाह विश्लेषण और सूचना रिसाव का पता लगाने का उपकरण है। Smalien Linux मशीन पर Android अनुप्रयोगों का static taint analysis, साथ ही dynamic taint analysis, implicit information flows के कारण सूचना रिसाव का पता लगाना, और runtime पर Android डिवाइस पर गोपनीयता नीति प्रवर्तन करता है।

नोट: Smalien का नया संस्करण अब SaitoLab-Nitech/VTDroid पर उपलब्ध है !!

Smalien में निम्नलिखित कार्य हैं

• Android एप्लिकेशन का स्थैतिक रूप से विश्लेषण करना और क्लासेस, मेथड्स, वेरिएबल्स आदि की जानकारी एकत्र करना।
• विश्लेषण के परिणामों को ग्राफिक रूप से प्रस्तुत करना, जैसे method call graph और information flow diagram।
• Android डिवाइस पर dynamic taint analysis करना।
• एक विश्लेषक द्वारा निर्दिष्ट गोपनीयता नीति का प्रवर्तन करना।
• implicit information flows के कारण सूचना रिसाव का पता लगाना।
• किसी भी bytecode या API कॉल, जैसे http अनुरोध, द्वारा संचालित वास्तविक जानकारी को runtime पर लॉग करना ताकि विश्लेषक को उसके निरीक्षण में प्रोत्साहित किया जा सके।

Black Hat USA 2019 Arsenal

वर्तमान में, हम एक अन्य ब्रांच, demo-master पर काम कर रहे हैं। कृपया इसे देखें ताकि आपको वे प्रोग्राम मिल सकें जिनका हमने Arsenal में उपयोग किया था।

आवश्यक उपकरण

• Apktool
• jarsigner
• keytool
• adb

उपयोग

पूर्ण निर्देशों के लिए हमारा Wiki देखें।

स्थैतिक विश्लेषण चलाएं

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 जैसे markdown व्यूअर का उपयोग कर सकते हैं।

गतिशील विश्लेषण चलाएं

नई apk फाइल implanted.apk smalien/hive/workspace/ में रखी गई है। निम्नलिखित कमांड द्वारा इसे अपने Android डिवाइस पर इंस्टॉल करें और चलाएं।

adb install -g hive/workspace/implanted.apk

वर्तमान में, Smalien हमारे अकादमिक शोध का एक प्रोटोटाइप है और इसमें पूर्ण कार्यक्षमता नहीं है। हम इस पर काम कर रहे हैं!