---

LCSAJdump क्यों?

सामान्य ROP स्कैनर बाइनरी के निष्पादन योग्य बाइट्स पर एक रैखिक "स्लाइडिंग-विंडो" दृष्टिकोण का उपयोग करते हैं। यह विधि व्यवस्थित रूप से छाया गैजेट (Shadow Gadgets) की पहचान करने में विफल रहती है: निष्पादन श्रृंखलाएं जो बिना शर्त जंप या सशर्त शाखाओं द्वारा जुड़े गैर-सन्निहित मेमोरी ब्लॉकों को पार करती हैं।

LCSAJdump LCSAJ (लीनियर कोड सीक्वेंस एंड जंप) विश्लेषण के माध्यम से कंट्रोल-फ्लो ग्राफ़ (CFG) का पुनर्निर्माण करके इस सीमा को दूर करता है। बाइनरी को बेसिक ब्लॉकों के एक निर्देशित ग्राफ़ के रूप में मॉडल करके, उपकरण पहचानता है:

1. सन्निहित गैजेट: मानक रैखिक अनुक्रम जो कंट्रोल-फ्लो ट्रांसफर में समाप्त होते हैं।
2. छाया गैजेट (गैर-सन्निहित): जटिल श्रृंखलाएं जो "खराब बाइट्स" (जैसे, नल बाइट्स) को बायपास करने के लिए उन निर्देशों का उपयोग करती हैं जो रैखिक स्कैनिंग के माध्यम से अन्यथा अप्राप्य होंगी।

---

प्रमुख विशेषताएं

• मल्टी-आर्किटेक्चर समर्थन: RISC-V (64GC), x86-64, और ARM64 के लिए मूल समर्थन, मॉड्यूलर प्रोफाइल के माध्यम से अन्य आर्किटेक्चरों तक आसानी से विस्तार योग्य।
• ग्राफ़-आधारित विश्लेषण: .text अनुभाग को LCSAJ बेसिक ब्लॉकों में विभाजित करता है और एक कस्टम-निर्मित रिवर्स कंट्रोल-फ्लो ग्राफ़ (हल्का आसन्नता प्रतिनिधित्व, कोई भारी ग्राफ़ निर्भरता नहीं) के माध्यम से प्रवाह संबंधों का पुनर्निर्माण करता है।
• इंद्रधनुष BFS एल्गोरिथ्म: कंट्रोल-फ्लो सिंक से शुरू होने वाली स्वामित्व वाली बैकवर्ड चौड़ाई-प्रथम खोज। अब इसमें O(1) अर्ली-ड्रॉप विशिष्टता फ़िल्टर और हार्ड-कैप निर्देश सीमाएं हैं जो स्थिति विस्फोट को रोकती हैं और घने CISC बाइनरी पर भी अति-तेज़ विश्लेषण सुनिश्चित करती हैं।
• आलसी ग्राफ़ निर्माण: ग्राफ़ निर्माण केवल --depth हॉप के भीतर गैजेट टेल से पहुंच योग्य नोड्स को बनाए रखता है, जिससे बड़ी बाइनरी (जैसे, libc) पर मेमोरी और बिल्ड समय में भारी कमी आती है, जबकि समान परिणाम देता है।
• दो-चरणीय रैंकिंग इंजन: एक हाइपर-फास्ट ह्यूरिस्टिक बेसलाइन (Optuna के माध्यम से बेयसियन-ऑप्टिमाइज़्ड) को एक डीप-लर्निंग LightGBM ML मॉडल के साथ जोड़ता है जो संरचनात्मक और शब्दार्थ सुविधाओं का उपयोग करके गैजेट गुणवत्ता को परिष्कृत करता है।
• शून्य-ओवरहेड अनुमान: ML मॉडल मूल रूप से एकीकृत है और डिफ़ॉल्ट रूप से चलता है, सेकंडों में हजारों नोड्स को संसाधित करता है। यह एक अत्यधिक प्रभावी फ़िल्टर के रूप में कार्य करता है, शोर करने वाले जंप को अस्वीकार करता है और स्वच्छ, अत्यधिक नियंत्रणीय गैजेट श्रृंखलाओं को लौटाता है। Hugging Face पर होस्ट किया गया।
• प्रूनिंग पैरामीटर: विश्लेषण गहराई और प्रदर्शन को संतुलित करने के लिए कॉन्फ़िगरेबल "डार्कनेस" फ़ैक्टर, चक्रीय ग्राफ़ में अनंत लूप को रोकता है।

---

समर्थित आर्किटेक्चर

(देखें बेंचमार्क)

LCSAJdump को सार्वभौमिक बनाने के लिए डिज़ाइन किया गया है। वर्तमान में समर्थित:

• RISC-V 64-बिट (RV64GC): संपीड़ित 16-बिट निर्देशों के लिए पूर्ण समर्थन।
• x86-64: चर-लंबाई वाले ओवरलैपिंग निर्देशों को संभालता है। मेमोरी विस्फोट के बिना घने ग्राफ़ को सुरक्षित रूप से नेविगेट करता है।
• ARM64: 32-बिट निर्देशों को संभालता है और सख्त ह्यूरिस्टिक पेनल्टी के माध्यम से फूला हुआ गैजेट गहराई से फ़िल्टर करता है।
• अन्य आर्किटेक्चर: config.py में नई प्रोफाइल परिभाषित करके आसानी से कार्यान्वित किया जा सकता है।

---

स्थापना

Pip के माध्यम से (अनुशंसित)

pip install lcsajdump

स्रोत से (डेवलपमेंट)

git clone [https://github.com/Chris1sFlaggin/LCSAJdump.git](https://github.com/Chris1sFlaggin/LCSAJdump.git)
cd LCSAJdump
pip install -r requirements.txt

---

उपयोग

LCSAJdump सटीक बाइनरी विश्लेषण के लिए एक शक्तिशाली CLI प्रदान करता है:

मानक विश्लेषण (डिफ़ॉल्ट RISC-V):

python LCSAJdump.py <path_to_binary>

उन्नत विश्लेषण (आर्किटेक्चर और आउटपुट फ़ाइल निर्दिष्ट करना):

lcsajdump -a riscv64 -d 15 -k 10 -l 20 -o gadgets.txt <path_to_binary>

JSON के रूप में निर्यात करें बैड-चार फ़िल्टर के साथ:

lcsajdump -a x86_64 -d 20 -k 5 -b "000a0d" --json -o gadgets.json <path_to_binary>

नोट: JSON को फ़ाइल में सहेजने के लिए --json के बाद -o का उपयोग करें। --json के बिना, -o सादा टेक्स्ट सहेजता है।

सादा टेक्स्ट आउटपुट सहेजें:

lcsajdump -a riscv64 -d 15 -k 10 -l 20 -o gadgets.txt <path_to_binary>

सभी निष्पादन योग्य अनुभागों का विश्लेषण करें:

lcsajdump --all-exec -d 25 -k 10 -l 30 <path_to_binary>

सख्ती से एल्गोरिथमिक रैंकिंग बलपूर्वक लागू करें (ML को बायपास करें):

lcsajdump --algo <path_to_binary>

CLI विकल्प

फ़्लैग	प्रकार	डिफ़ॉल्ट	विवरण
-a, --arch	टेक्स्ट	auto	लक्ष्य आर्किटेक्चर (auto, riscv64, x86_64, arm64). ELF हेडर से स्वतः पता लगाया गया.
-d, --depth	पूर्णांक	20	LCSAJ ब्लॉकों में अधिकतम खोज गहराई। श्रृंखला की लंबाई नियंत्रित करता है.
-k, --darkness	पूर्णांक	5	प्रूनिंग थ्रेशोल्ड — प्रति नोड अधिकतम विज़िट। उच्च = अधिक गैजेट, धीमा स्कैन.
-l, --limit	पूर्णांक	10	आउटपुट में प्रदर्शित करने के लिए गैजेट की अधिकतम संख्या.
-s, --min-score	पूर्णांक	0	परिणामों में प्रकट होने के लिए गैजेट के लिए न्यूनतम ह्यूरिस्टिक स्कोर.
-i, --instructions	पूर्णांक	15	एकल LCSAJ नोड में निहित निर्देशों की अधिकतम संख्या.
-v, --verbose	ध्वज	—	विस्तृत प्रति-गैजेट परिणामों के लिए वर्बोज़ आउटपुट सक्षम करें.
-o, --output	पथ	—	आउटपुट को फ़ाइल में लिखें। डिफ़ॉल्ट रूप से सादा टेक्स्ट; JSON आउटपुट के लिए --json के साथ उपयोग करें.
-b, --bad-chars	टेक्स्ट	—	गैजेट पतों से फ़िल्टर करने के लिए हेक्स बाइट्स (जैसे "000a0d").
--json	ध्वज	—	गैजेट को संरचित JSON के रूप में आउटपुट करें। फ़ाइल में सहेजने के लिए -o के साथ संयोजित करें.
--all-exec	ध्वज	—	सभी निष्पादन योग्य अनुभागों का विश्लेषण करें, केवल .text नहीं.
-al, --algo	ध्वज	—	सख्ती से एल्गोरिथमिक रैंकिंग का उपयोग करें (ML को बायपास करें).
--version	ध्वज	—	स्थापित संस्करण दिखाएं और बाहर निकलें.
--help	ध्वज	—	सहायता संदेश दिखाएं और बाहर निकलें.

---

---

सटीकता और बेंचमार्क

LCSAJdump benchmarkTests/ निर्देशिका में स्थित एक कठोर, क्रमिक रूप से मान्य परीक्षण सूट द्वारा समर्थित है।

सिमैंटिक फीचर इंजीनियरिंग के 14 प्रमुख पुनरावृत्तियों के माध्यम से, हाइब्रिड मॉडल ने विशुद्ध रूप से वाक्यात्मक ह्यूरिस्टिक के बजाय वास्तविक मेमोरी साइड-इफेक्ट्स (angr प्रतीकात्मक निष्पादन के माध्यम से निकाले गए) के आधार पर गैजेट को अलग करना सीख लिया है।