उदाहरण के लिए, वर्तमान लिनक्स kernel में कोड की 10 मिलियन से अधिक लाइनें हैं और ये सभी कोड स्पष्ट रूप से प्रोग्रामर द्वारा लिखे गए हैं और इसमें कई bug होंगे, इसलिए, इन bugs का पता लगाना आसान नहीं है।
ഉദാഹരണത്തിന്, നിലവിലെ ലിനക്സ് കേർണലിന് 10 ദശലക്ഷത്തിലധികം വരികളുണ്ട്. ഈ കോഡുകളെല്ലാം പ്രോഗ്രാമർമാർ എഴുതിയതാണ്, മാത്രമല്ല അവയ്ക്ക് നിരവധി ബഗുകൾ ഉണ്ടാവുകയും ചെയ്യും, അതിനാൽ, ഈ ബഗുകൾ കണ്ടെത്തുന്നത് വളരെ എളുപ്പമല്ല.