Habré पर कई बार लेख दिखाई दिए हैं कि अमेरिकन फज़ी लोप (AFL) ( 1 , 2 ) का विषय उठाएं। लेकिन इस लेख में हम क्लासिक एएफएल के बारे में नहीं, बल्कि इसके लिए सहायक उपयोगिताओं और इसके संशोधनों के बारे में बात करेंगे, जो हमारी राय में, फ़ज़िंग की गुणवत्ता में काफी सुधार कर सकते हैं। यदि आप एएफएल को अपग्रेड करने और तेज और अधिक कमजोरियों की तलाश करने के तरीके सीखने में रुचि रखते हैं, तो कटौती में आपका स्वागत है!

एएफएल क्या है और यह इतना अच्छा क्यों है

AFL - कवरेज-निर्देशित फ़र्ज़र या फीडबैक-आधारित फ़ज़र। आप इन अवधारणाओं के बारे में फ़ज़िंग: कला, विज्ञान, और इंजीनियरिंग जैसे शांत पेपर से अधिक जान सकते हैं। यदि हम AFL के बारे में जानकारी संक्षेप में देते हैं, तो हम निम्नलिखित कह सकते हैं:

• कवरेज की जानकारी एकत्र करने के लिए एक निष्पादन योग्य टूलिंग
• कवरेज को अधिकतम करने के लिए इनपुट म्यूट करता है
• प्रोग्राम क्रैश खोजने के लिए पिछले चरण को दोहराता है।
  • व्यवहार में, बहुत प्रभावी साबित हुआ
    • उपयोग करने के लिए बहुत आसान है

आलेखीय रूप से, इसे निम्नानुसार दर्शाया जा सकता है:



यदि आपको नहीं पता है कि AFL क्या है, तो शुरू करने के लिए हम अनुशंसा करते हैं:

1. परियोजना का आधिकारिक पृष्ठ
2. एफएल-प्रशिक्षण - एएफएल में एक संक्षिप्त भ्रमण
3. एफएल-डेमो - एएफएल का उपयोग करके सी ++ प्रोग्राम को कैसे फ़ूज़ किया जाए, इसका एक सरल प्रदर्शन
4. afl-cve - AFL का उपयोग करके खोजी गई कमजोरियों का संग्रह (2017 के बाद से अपडेट नहीं किया गया)
5. तथ्य यह है कि एएफएल अपने विधानसभा के दौरान कार्यक्रम में जोड़ता है यहां पाया जा सकता है।
6. यहाँ नेटवर्क अनुप्रयोगों के लिए कुछ उपयोगी सुझाव

लेखन के समय, AFL का नवीनतम संस्करण 2.52b संस्करण था। फ़ेज़र सक्रिय रूप से विकसित हो रहा है, और समय के साथ, कुछ तृतीय-पक्ष के विकास मुख्य एएफएल शाखा में शामिल हैं और खुद से अप्रासंगिक हो जाते हैं। वर्तमान में कई उपयोगी सहायक उपकरण हैं जिन्हें पहचाना जा सकता है - वे अगले अनुभाग में सूचीबद्ध हैं।


उसी समय, कुछ एएफएल उपयोगकर्ताओं ने ध्यान दिया कि फेजर माइकल ज़ाल्स्की के लेखक ने अपने दिमाग की उपज को समर्थन देने के लिए एक अभियान चलाया, क्योंकि नवीनतम परिवर्तन 5 नवंबर, 2017 को हुए हैं। यह कथित रूप से Google और नई परियोजनाओं से उनके प्रस्थान के साथ जुड़ा हुआ है। इस संबंध में, लोगों ने स्वतंत्र रूप से नवीनतम वर्तमान संस्करण 2.52 बी के लिए पैच इकट्ठा करना और बनाना शुरू कर दिया।



एएफएल से अलग-अलग विकल्प और डेरिवेटिव भी हैं जो पायथन, गो, रस्ट, ओकेएमएल, जीसीजे जावा, कर्नेल सिस्कॉल, या यहां तक ​​कि पूरे वीएम को फ़्यूज़ करने की अनुमति देते हैं।

सहायक उपकरण

इस खंड में, हमने AFL के साथ काम करने के लिए विभिन्न लिपियों और उपकरणों का चयन किया है और उन्हें कई श्रेणियों में विभाजित किया है:

क्रेश का प्रसंस्करण

• एफएल-बर्तन - स्वचालित प्रसंस्करण / दुर्घटनाओं के विश्लेषण और परीक्षण मामलों को कम करने के लिए उपयोगिताओं का एक सेट।
• afl-crash-विश्लेषक - एक और AFL क्रैश विश्लेषक ।
• फजी-बर्तन - परिणामों का विश्लेषण करने के लिए स्क्रिप्ट का एक सेट।
• atage एक साधारण ट्राइएज टूल है।
• afl-kit - अजगर में उल्लिखित afl-cmin।
• AFLize एक ऐसा टूल है जो स्वचालित रूप से afl-friendly debian पैकेज बनाता है।
• afl-fid - इनपुट डेटा के साथ काम करने के लिए उपकरणों का एक सेट।

कोड कवरेज

• afl-cov - मानव-पठनीय कवरेज डेटा प्रदान करता है।
• गिनती-एफएल-कॉल - अनुपात स्कोर। स्क्रिप्ट बिनार में इंस्ट्रूमेंटेड ब्लॉक्स की संख्या को गिनाती है।
• afl-sancov - afl-cov की तरह, लेकिन क्लैंग सैनिटाइज़र का उपयोग करता है।
• covnavi Cisco Talos Group की एक कोड कवरेज और विश्लेषण स्क्रिप्ट है।
• एलएएफ एलएलवीएम पास एफएल के लिए पैच का एक संग्रह है जो शाखाओं को गुजरने के लिए फ़ुज़र के लिए आसान बनाने के लिए कोड को संशोधित करता है

परीक्षण मामलों को कम करने के लिए कई स्क्रिप्ट

• afl-pytmin afl-tmin के लिए एक आवरण है जो कई सीपीयू कोर का उपयोग करके परीक्षण मामले को कम करने की प्रक्रिया को तेज करने की कोशिश करता है।
• afl-ddmin- मॉड - dlmin एल्गोरिथ्म के आधार पर afl-tmin की भिन्नता।
• हाफ खाली टैविस ओरमंडी से परीक्षण मामलों को कम करने के लिए एक त्वरित समानांतर- आधारित उपयोगिता है।

वितरित स्टार्टअप के लिए

• Discuzz-afl - वितरित एफज़ी एफिल के लिए।
• AFLDFF AFL के साथ वितरण के लिए एक रूपरेखा है।
• afl- लॉन्च कई afl उदाहरणों को लॉन्च करने के लिए एक उपकरण है।
• afl-mothership - AWS क्लाउड पर कई सिंक्रोनाइज़्ड AFL फ़ुजर्स प्रबंधित और लॉन्च करें।
• afl-in-the-cloud AWS में afl चलाने के लिए एक और स्क्रिप्ट है।
• VU_BSc_project - Fuzz परीक्षण ओपन सोर्स लाइब्रेरीज़ के साथ libFuzzer और AFL।

इसके अलावा, एक बहुत अच्छा लेख "स्केलिंग एएफएल को 256 थ्रेड मशीन" हाल ही में इस विषय पर प्रकाशित किया गया है, जो 256 थ्रेड्स पर एएफएल के लॉन्च का वर्णन करता है।

तैनाती, प्रबंधन, निगरानी, ​​रिपोर्टिंग

• afl-other-arch - AFL में विभिन्न (गैर x86) आर्किटेक्चर के लिए आसानी से समर्थन जोड़ने के लिए पैच और स्क्रिप्ट का एक सेट।
• afl-trivia - AFL प्रबंधन को सरल बनाने के लिए कुछ छोटी स्क्रिप्ट।
• afl-monitor - AFL के संचालन की निगरानी के लिए एक स्क्रिप्ट।
• afl-manager - मल्टी-एफएल के प्रबंधन के लिए एक अजगर वेब सर्वर।
• afl-tools - afl-latest, afl-dyninst और Triforce-afl के साथ docker की छवि।
• afl-दूरदराज - दूरस्थ afl उदाहरण प्रबंधन के लिए एक वेब सर्वर।

AFL संशोधन

AFL ने भेद्यता खोज समुदाय और फ़ज़िंग उद्योग को बहुत प्रभावित किया है। और यह आश्चर्यजनक नहीं है कि समय के साथ, मूल AFL से प्रेरित विभिन्न संशोधन उनके विचार के आधार पर दिखाई देने लगे। इस खंड में हम उन पर विचार करेंगे। इन संशोधनों में से प्रत्येक के अलग-अलग स्थितियों में मूल एएफएल संस्करण की तुलना में इसके फायदे और साथ ही इसके नुकसान भी हैं।

हम तुरंत कहेंगे कि यदि स्थापना में कोई समस्या है या आप समय बर्बाद नहीं करना चाहते हैं, तो लगभग कोई भी संशोधन hub.docker.com पर पाया जा सकता है।

क्यों?

• गति और / या कोड कवरेज बढ़ाएँ
  
  • एल्गोरिदम
  • पर्यावरण
    
    • ऑपरेटिंग सिस्टम
    • लोहा
    
    
  
  
• स्रोत कोड के बिना स्थितियों में काम करें
  
  • कोड अनुकरण
  • कोड इंस्ट्रूमेंटेशन
    
    • स्थिर
    • गतिशील
    
    
  
  

अंतर्निहित AFL मोड्स

विभिन्न एएफएल संशोधनों और कांटे की चर्चा के लिए आगे बढ़ने से पहले, दो महत्वपूर्ण मोडों के बारे में बात करना आवश्यक है जो एक बार संशोधन भी थे, और अंततः अंतर्निहित मोड बन गए। यह Syzygy मोड और Qemu मोड है।

Syzygy मोड - उपकरण में ऑपरेटिंग मोड है ।.exe

instrument.exe --mode=afl --input-image=test.exe --output-image=test.instr.exe 

इस मोड के लिए यह आवश्यक है: एएफएल के साथ PE32 बायनेरिज़ को स्टेटिक रूप से फिर से लिखना, प्रतीकों की आवश्यकता होती है, WinAFL कर्नेल को जागरूक करने के लिए अतिरिक्त देव की आवश्यकता होती है।

Qemu मोड - यह QEMU के तहत कैसे काम करता है, यहां पाया जा सकता है "Internals of AFL fuzzer - QEMU इंस्ट्रूमेंटेशन" । QEMU का उपयोग करते हुए बायनेरिज़ के साथ काम करने के लिए समर्थन संस्करण 1.31 बी से अपस्ट्रीम एएफएल में दिखाई दिया। Afl qemu मोड बाइनरी कोड इंजन qemu tcg (छोटे जनरेटर जनरेटर) में बाइनरी कोड के इंस्ट्रूमेंटेशन की अतिरिक्त कार्यक्षमता के साथ काम करता है। ऐसा करने के लिए, afl में एक qemu बिल्ड स्क्रिप्ट है जो qemu के विशिष्ट (2.10.0) संस्करण के लिए स्रोत कोड डाउनलोड करता है, उन पर कई छोटे पैच लगाता है और दिए गए आर्किटेक्चर के लिए संकलन करता है। उसके बाद, afl-qemu-ट्रेस फ़ाइल वापस आ गई है, जो वास्तव में एक उपयोगकर्ता-मोड (केवल ELF निष्पादन योग्य फ़ाइलों का अनुकरण) qemu- अनुकरण है। इसके लिए धन्यवाद, आप एल्फ बायनेरिज़ पर प्रतिक्रिया के साथ फ़ज़िंग का उपयोग कर सकते हैं, और क्यूमू द्वारा समर्थित विभिन्न आर्किटेक्चर के झुंड के लिए। इसके अलावा, आपको सभी कूल एफएल टूल मिलते हैं, जो वर्तमान सत्र के बारे में जानकारी के साथ एक सुविधाजनक स्क्रीन के साथ शुरू होते हैं और एफएल-विश्लेषण जैसी उन्नत चीजों के साथ समाप्त होते हैं। लेकिन ध्यान रखें कि आपको क्यूमू प्रतिबंध भी मिलता है। उदाहरण के लिए, यदि फ़ाइल SoC हार्डवेयर विशेषताओं का उपयोग करने वाले टूलकिन द्वारा संकलित की जाती है, जिस पर बिनार लॉन्च किया गया है और जो qemu द्वारा समर्थित नहीं है, तो जैसे ही कोई विशिष्ट निर्देश सामने आता है, फ़ज़िंग टूट जाएगा, या, उदाहरण के लिए, एक विशिष्ट MMIO का उपयोग किया जाता है।

क्यूमू मोड का एक ऐसा दिलचस्प कांटा भी है, जहां TCG कोड और कैशिंग के इंस्ट्रूमेंटेशन के कारण गति को 3x-4x बार बढ़ाया गया था।

कांटा

एएफएल कांटे की उपस्थिति मुख्य रूप से परिवर्तनों के साथ जुड़ी हुई है, स्वयं क्लासिक एएफएल के संचालन के एल्गोरिदम में सुधार।

• afl-cygwin क्लासिक AFL को विंडोज में Cygwin का उपयोग करके पोर्ट करने का एक प्रयास है। दुर्भाग्य से, यह प्रयास काफी आलसी, धीमा और विकास को छोड़ देने वाला कहा जा सकता है।
• एएफएलफ़ास्ट (पावर शेड्यूल के साथ एएफएल का विस्तार करता है) - एएफएल के पहले कांटे में से एक, सभी प्रकार के हेयूरिस्टिक्स को जोड़ा गया था, जिसकी बदौलत यह छोटी अवधि में अधिक तरीके से जा सकता था।
• फेयरफज एक एएफएल एक्सटेंशन है जिसका लक्ष्य दुर्लभ शाखाओं पर अधिक समय बिताने की कोशिश करना है।
• AFLGo AFL के लिए एक विस्तार है, जो मुख्य रूप से प्रोग्राम कोड के सामान्य कवरेज के बजाय कोड के कुछ वर्गों की लक्षित उपलब्धि के लिए है। यह पैच या कोड के नए जोड़े गए वर्गों का परीक्षण करने के लिए उपयोग किया जा सकता है।
• PerfFuzz एक एएफएल एक्सटेंशन है जो परीक्षण मामलों की तलाश करता है जो कार्यक्रम को जितना संभव हो उतना धीमा कर सकता है।
• पायथिया एएफएल के लिए एक विस्तार है जिसका उद्देश्य भविष्य के पथ की खोज की कठिनाई के संबंध में चरणबद्ध प्रक्रिया में भविष्यवाणी तत्वों को जोड़ना है।
• अंगोरा सबसे हाल ही में जारी फज़र्स में से एक है, जिसे जंग में लिखा गया है। म्यूटेशन के लिए और कवरेज बढ़ाने के लिए अपनी नई रणनीतियों का उपयोग करता है।
• Neuzz - तंत्रिका नेटवर्क का उपयोग करके फ़ज़ करने का प्रयास।
• UnTracer-AFL - एफएल एकीकरण के साथ UnTracer, कुशल अनुरेखण के लिए।
• Qsym - हाइब्रिड फ़ज़िंग के लिए प्रैक्टिकल कॉनकोलिक एक्ज़ीक्यूशन इंजन टेलर्ड। वास्तव में, यह एक प्रतीक निष्पादन इंजन है (मुख्य घटकों को एक इंटेल पिन प्लग-इन के रूप में कार्यान्वित किया जाता है), जो कि एफएल के साथ संयोजन में हाइब्रिड फ़्यूज़िंग को लागू करता है। यह फीडबैक आधारित विषय पर एक और विकास है और एक अलग चर्चा का पात्र है। उनकी मुख्य योग्यता यह है कि वह बहुत जल्दी (बाकी के सापेक्ष) सांकेतिक निष्पादन कर सकते हैं। यह कोड की मध्यवर्ती प्रस्तुति के बिना आदेशों के मूल निष्पादन के कारण होता है, स्नैपशॉट तंत्र और कई आंकड़ों से छुटकारा पाता है। यह पुराने इंटेल पिन (libz3 और अन्य DBTs के बीच कई समर्थन मुद्दों के कारण) का उपयोग करता है, और वर्तमान में योगिनी x86 और x86_64 आर्किटेक्चर के साथ काम कर सकता है।

यह कहने योग्य है कि नए दृष्टिकोणों के क्रियान्वयन से संबंधित बड़ी संख्या में अकादमिक कार्य हैं, फ़ज़िंग तकनीक, जहां एएफएल को लिया जाता है और संशोधित किया जाता है। व्हाइटपेपर के अलावा, कुछ और उपलब्ध नहीं है, इसलिए हमने इस तरह के कार्यान्वयन का उल्लेख नहीं किया। यदि आप रुचि रखते हैं, तो वे Google के लिए आसान हैं। उदाहरण के लिए, बाद वाला CollAFL है: Path Sensitive Fuzzing , EnFuzz , Smart Greybox Fuzzing , ML to afl।

Qemu पर आधारित संशोधन

• TriforceAFL - AFL / QEMU फुल सिस्टम इम्यूलेशन के साथ। Nccgroup से कांटा। Qemu मोड में संपूर्ण ऑपरेटिंग सिस्टम को फ़्यूज़ करने देता है। एक विशेष निर्देश (aflCall (0f 24)) के माध्यम से कार्यान्वित किया गया, जिसे QEMU x64 CPU में जोड़ा गया था। दुर्भाग्य से, यह अब समर्थित नहीं है, इसमें afl का नवीनतम संस्करण 2.06b है।
• TriforceLinuxSyscallFuzzer - फ़ज़िंग लिनक्स सिस्टम कॉल।
• afl-qai QEMU ऑगमेंटेड इंस्ट्रूमेंटेशन (qai) के साथ एक छोटा डेमो प्रोजेक्ट है।

KLEE पर आधारित संशोधन

kleefl - प्रतीकात्मक निष्पादन के माध्यम से परीक्षण मामलों को उत्पन्न करने के लिए (बड़े कार्यक्रमों पर बहुत धीमी गति से)।

गेंडा पर आधारित संशोधन

एफएल-यूनिकॉर्न - आपको यूनिकॉर्न इंजन पर अनुकरण करते हुए, कोड के टुकड़ों को भरने की अनुमति देता है। हमने अपने अभ्यास में इस AFL भिन्नता का सफलतापूर्वक उपयोग किया, अर्थात्, एक RTOS के कोड अनुभागों में, जिसे SOC पर निष्पादित किया गया था, और QEMU मोड का उपयोग करना असंभव था। इस संशोधन का उपयोग करना उचित है जब कोई स्रोत नहीं हैं (आप पार्सर विश्लेषण के लिए स्टैंड-अलोन बायनेरिज़ को इकट्ठा नहीं कर सकते हैं) और प्रोग्राम सीधे इनपुट डेटा को स्वीकार नहीं करता है (उदाहरण के लिए, वे एक सीजीओ बिनार के रूप में सिग्नल के नमूने एन्क्रिप्टेड या प्रतिनिधित्व करते हैं), तो आप इसका उपयोग कर सकते हैं रिवर्स स्थानों और प्रस्तावित स्थानों-फ़ंक्शंस को ढूंढें जहां यह डेटा फ़्यूज़र के लिए सुविधाजनक प्रारूप में संसाधित होता है और जिसे फ़ज़ी किया जा सकता है। यह सबसे आम एएफएल संशोधन है। इस अर्थ में कि यह आपको सब कुछ सचमुच करने की अनुमति देता है। यही है, यह आर्किटेक्चर, सोर्स कोड की उपलब्धता, इनपुट डेटा का प्रारूप और खुद बिनार का प्रारूप पर निर्भर नहीं करता है (सबसे महत्वपूर्ण उदाहरण सिर्फ नंगे-धातु है - नियंत्रक की मेमोरी से कोड के सिर्फ टुकड़े)। शोधकर्ता प्रारंभिक इस बिनार की जांच करता है और एक फ़ज़र लिखता है जो उदाहरण के लिए, पार्सर प्रक्रिया के इनपुट पर राज्य का अनुकरण करता है। यह देखा जा सकता है कि, AFL के विपरीत, आपको बिनार पर किसी प्रकार का शोध करने की आवश्यकता है। नंगे-धातु फर्मवेयर के लिए, जैसे कि वाई-फाई या बेसबैंड, बस कई नुकसान हैं जो आपको ध्यान में रखने की आवश्यकता है:

1. किसी भी तरह से चेकसम चेक को स्थानीय बनाना आवश्यक है।
2. यह ध्यान में रखना होगा कि फ़ज़र की स्थिति मेमोरी डंप में संग्रहीत मेमोरी की स्थिति है, इससे फ़ज़र के लिए कुछ निश्चित पथों की उपलब्धि को रोका जा सकता है।
3. गतिशील मेमोरी तक पहुंच की कोई स्वच्छता नहीं है, लेकिन इसे मैन्युअल रूप से लागू किया जा सकता है (खर्च किए गए प्रयास भी), और यह आरटीओएस पर निर्भर करेगा (इसकी पहले से जांच करने की भी आवश्यकता है)।
4. RTOS इंटर-टास्क इंटरैक्शन का अनुकरण नहीं किया जाता है - आप फ़ज़र को कुछ निश्चित रास्तों को खोजने से भी रोक सकते हैं।

इस संशोधन के साथ काम करने का एक उदाहरण है "afl-unicorn: Fuzzing Arbiteath Binary Binary" और
"अफ़्ल-अनइकॉर्न: पार्ट 2 - 'अनफ़ुज़ेबल' फ़ज़िंग" ।

डायनेमिक बाइनरी इंस्ट्रूमेंटेशन (DBI) फ्रेमवर्क के आधार पर संशोधनों के लिए आगे बढ़ने से पहले, हम तुरंत याद करते हैं कि इन चौखटों में सबसे तेज डायनामोइरो, फिर डायनेस्ट और अंत में पिन है।

पिन संशोधन

• aflpin - AFL इंटेल पिन इंस्ट्रूमेंटेशन के साथ।
• afl_pin_mode - Intel PIN के माध्यम से कार्यान्वित एक और AFL इंस्ट्रूमेंटेशन।
• एफएल -पिन - एएफएल पिनटूल के साथ।
• NaFl - AFL फ़ज़र का एक क्लोन (मूल कोर का)।
• PinAFL - टूल के लेखक ने पहले से संकलित बायनेरिज़ के लिए एएफएल को विंडोज में स्थानांतरित करने की कोशिश की। जाहिर है, एक शाम में प्रशंसक पर अधिक किया गया था, और फिर परियोजना विकसित नहीं होती है। भंडार में स्रोत नहीं होते हैं, केवल संग्रहित बायनेरी और शुरू करने के लिए निर्देश हैं। AFL संस्करण जिस पर यह उपकरण आधारित है, निर्दिष्ट नहीं है, और केवल 32-बिट अनुप्रयोगों का समर्थन करता है।

जैसा कि आप देख सकते हैं, कई अलग-अलग संशोधन हैं, लेकिन व्यवहार में वास्तविक जीवन में उनका बहुत उपयोग नहीं है।

राजवंश के आधार पर संशोधन

afl-dyninst - अमेरिकन फज़ी लोप + डायन्स्टीन == एएफएल ब्लैकबॉक्स फ़ज़िंग। इस संस्करण की विशेषता यह है कि प्रारंभ में अध्ययन किया गया प्रोग्राम (स्रोत कोड के बिना) सांविधिक रूप से इंस्ट्रूमेंट (स्टेटिक बाइनरी इंस्ट्रूमेंटेशन, स्टेटिक बाइनरी रीराइटिंग) है, जिसका उपयोग डायनेस्ट से किया गया है, और फिर क्लासिक एएफएल द्वारा फज किया जाता है, जो सोचता है कि प्रोग्राम एलएल-जीसीसी / एफएल का उपयोग करके बनाया गया था। -g ++ / afl-as;) अंत में, यह हमें स्रोत कोड के बिना और बहुत अच्छे प्रदर्शन के साथ काम करने का अवसर देता है - यह एक देशी संकलन की तुलना में 0.25x की गति से हुआ करता था। QEMU पर एक महत्वपूर्ण लाभ है, जो गतिशील रूप से जुड़े पुस्तकालयों को साधने की क्षमता है। जबकि क्यूईएमयू केवल मुख्य निष्पादन योग्य फ़ाइल को सांख्यिकीय रूप से पुस्तकालयों से जोड़ने में सक्षम है। दुर्भाग्य से, अब यह केवल लिनक्स ऑपरेटिंग सिस्टम के लिए प्रासंगिक है। विंडोज का समर्थन करने के लिए, DynInst में बदलाव की आवश्यकता है और वहां काम चल रहा है ।

आप ऐसे कांटे पर भी ध्यान दे सकते हैं जहाँ यह विभिन्न क्षमताओं (AARCH64 और PPC आर्किटेक्चर के लिए समर्थन) और गति;

डायनमोआरआईओ पर आधारित संशोधन

• drAFL - AFL + DynamoRIO = लिनक्स पर स्रोत के बिना फ़ज़िंग।
• afl-dr - डायनमोइरो के आधार पर एक और कार्यान्वयन जो पहले से ही हैबर के खुले स्थानों पर चित्रित महान विस्तार में है।
• afl-dynamorio - वैन्हौसेर-थेक (एएफएल को पंप और स्थिर करने के लिए एक प्रशंसक) से संशोधन। वह इस संस्करण के बारे में कहते हैं: "AFL को डायनमोआरआईओ के साथ चलाएं जब सामान्य एफएल-डाइनस्टीन द्विआधारी को दुर्घटनाग्रस्त कर रहा है और क्यूमू मोड-क्यू एक विकल्प नहीं है।" सुखद से, ARM और AARCH64 के लिए समर्थन यहां जोड़ा गया है। प्रदर्शन के बारे में: डायनमोइरो Qemu की तुलना में ~ 10 धीमा है, ~ dyninst की तुलना में 25 धीमा - हालांकि, पिंटूल की तुलना में ~ 10 तेज है।
• WinAFL विंडोज के लिए afl का सबसे प्रसिद्ध कांटा है। (डायनमोइरो, सिज़्गी मोड भी है)। इस संशोधन की उपस्थिति केवल समय की बात थी, क्योंकि एएफएल को विंडोज पर उन अनुप्रयोगों के लिए आज़माने की इच्छा थी, जिनके लिए कोई स्रोत कोड नहीं हैं। फिलहाल, टूल को सक्रिय रूप से विकसित किया जा रहा है, और थोड़ा सुस्त एएफएल कोड बेस (लिखने के समय 2.43 बी) का उपयोग करने के बावजूद, इसके साथ कई कमजोरियां पहले से ही पाई गई हैं (सीवीई-2016-7212, सीवीई-2017-0073, सीवीई-2017- 0190, CVE-2017-11816)। यह ध्यान दिया जाना चाहिए कि मुख्य डेवलपर्स Google ज़ीरो प्रोजेक्ट टीम और MSRC कमजोरियों और कमानी टीम के विशेषज्ञ हैं, जो परियोजना के आगे सक्रिय विकास के लिए आशा का कारण देता है। फ़्यूज़र को लागू करने के लिए, डेवलपर्स टाइम इंस्ट्रूमेंटेशन को डायनेमिक इंस्ट्रूमेंटेशन (डायनमोइरो पर आधारित) का उपयोग करने के लिए संकलन करने से चले गए हैं, जो अध्ययन के तहत सॉफ़्टवेयर के निष्पादन को धीमा कर देता है, लेकिन परिणामस्वरूप ओवरहेड (दो बार) द्विआधारी मोड में क्लासिक एएफएल के लिए तुलनीय है। डेवलपर्स ने प्रक्रिया की एक लंबी शुरुआत के मुद्दे को भी हल किया, इसे लगातार फ़ज़िंग मोड कहा जाता है, वे उस फ़ंक्शन का चयन करते हैं जिसे फ़्यूज़ किए जाने की आवश्यकता होती है (फ़ाइल के भीतर या यदि फ़ंक्शन निर्यात तालिका में प्रस्तुत किया गया है तो नाम से) और इसे इस तरह से इंस्ट्रूमेंट करें कि इसे लूप में बुलाया जा सके। जिससे प्रक्रिया को पुनः आरंभ किए बिना इनपुट डेटा के कई नमूने लॉन्च किए जा सकते हैं। हाल ही में एक दिलचस्प लेख सामने आया, जिसमें शोधकर्ताओं ने दिखाया कि कैसे उन्होंने ~ 50 दिनों के लिए ~ 50 दिनों के साथ Winafl का उपयोग करके पाया। इसके अलावा, WinAFL में लेख के प्रकाशन से लगभग पहले, इंटेल पीटी मोड भी जोड़ा गया था (इस पर बाद में) - विवरण यहां हैं ।

एक उन्नत / परिष्कृत पाठक यह नोट कर सकता है कि फ्रिडा के अपवाद के साथ सभी लोकप्रिय इंस्ट्रूमेंटेशन फ्रेमवर्क के साथ संशोधन हैं - वास्तव में यह है। एएफएल के साथ फ्रिडा का उपयोग करने का एकमात्र उल्लेख केवल चिज़पुरफेल में पाया गया था : विक्रेता सेवा अनुकूलन के लिए एक ग्रे-बॉक्स एंड्रॉइड फ़ज़र । फ्रीडा के साथ AFL का संस्करण वास्तव में उपयोगी था क्योंकि फ्रीडा अच्छी तरह से RISC आर्किटेक्चर की एक संख्या का समर्थन करता है।

कई शोधकर्ता Capstone, Unicorne, Keystone के निर्माता से स्कॉर्पियो डीबीआई ढांचे की रिहाई के लिए भी तत्पर हैं। इस ढांचे के आधार पर, लेखक खुद पहले से ही एक फजर (डार्को) बना चुके हैं और, उनके अनुसार, एम्बेडेड उपकरणों के लिए इसका सफलतापूर्वक उपयोग किया है। अधिक जानकारी के लिए, डीज़िंग डीपिंग देखें : कोड कवरेज गाइडेड फ़ज़िंग के साथ एंबेडेड सिस्टम में 0 दिन खोजना ।

प्रोसेसर हार्डवेयर क्षमताओं के आधार पर संशोधन

जब एएफएल संशोधनों की बात आती है जो प्रोसेसर की हार्डवेयर क्षमताओं का समर्थन करते हैं, तो यह मुख्य रूप से कर्ज़ कोड को फ़िज़ करने की क्षमता को इंगित करता है, और दूसरी बात, स्रोत कोड के बिना अनुप्रयोगों के लिए एक उच्च फ़ज़िंग गति।

और, ज़ाहिर है, सबसे पहले हम प्रोसेसर की ऐसी हार्डवेयर क्षमताओं के बारे में बात कर रहे हैं जैसे इंटेल पीटी (प्रोसेसर ट्रेसिंग)। जो कि 6 वीं पीढ़ी के प्रोसेसर से शुरू होता है (यह लगभग 2015 से है)। स्वाभाविक रूप से, निम्नलिखित फ़ज़र्स का उपयोग करने के लिए, आपको उपयुक्त इंटेल पीटी समर्थन के साथ हार्डवेयर की आवश्यकता होगी।

• WinAFL-IntelPT एक थर्ड-पार्टी WinAFL मॉडिफिकेशन है जिसमें DynamoRIO के बजाय Intel PT तकनीक का पहले से ही इस्तेमाल किया जाता है।
• kAFL एक शैक्षणिक विकास है जिसका उद्देश्य ओएस स्वतंत्र तरीके से कर्नेल चरणबद्ध करने के लिए कवरेज-निर्देशित समस्या को हल करना है। हाइपरविजर और इंटेल पीटी तकनीक का उपयोग करके क्या हल किया जाता है। आप उनके श्वेतपत्र "केएएफएल: हार्डवेयर-असिस्टेड फीडबैक फ़ज़िंग फ़ॉर ओएस कर्नेल" से अधिक सीख सकते हैं।

निष्कर्ष

जैसा कि आपने देखा होगा, यह विषय सक्रिय रूप से विकसित हो रहा है। साथ ही, AFL का नया, रोचक और उपयोगी संशोधन करने के लिए रचनात्मकता के लिए बहुत जगह है।

आपका ध्यान और सफल फ़ज़िंग के लिए धन्यवाद!

सह-लेखक: निकिता निझोव

पुनश्च इस सामग्री को तैयार करने में उनकी मदद के लिए अनुसंधान केंद्र की पूरी टीम को धन्यवाद, उनके अनुभव के बिना और इस तरह की तैयारी करना असंभव होगा।