PostgreSQL, TCL और अन्य: RE इंजन में एक महत्वपूर्ण त्रुटि। संभव भेद्यता

मैं मूल रूप से खुद हेनरी स्पेंसर द्वारा लिखी गई मूल रूप से रगुलर एक्सप्रेशन मॉड्यूल या एनएफए उपयोगिताओं का उपयोग करते हुए कुछ अन्य प्रणालियों में टीसीएल, पोस्टग्रेक्यूएल में संभावित "भेद्यता" की ओर ध्यान आकर्षित करना चाहता हूं। आप एक अच्छा सौ संशोधित स्रोत (एक ही सन माइक्रोसिस्टम्स, यूयूएनईटी, आदि से) पा सकते हैं। और हालांकि मुझे नहीं लगता है कि बग शुरू में दूर के 90 के दशक से मौजूद था, अगर केवल इसलिए कि मुझे कोड नहीं मिला जहां यह त्रुटि हेनरी में होती है, अपने पुराने स्रोतों में, यह अभी भी आपके सिस्टम की जांच करने के लायक है।

और इसलिए एक त्रुटि: यह फ़ॉर्म की नियमित अभिव्यक्ति (((((x)*)*)*)*)* के संकलन के चरण में व्यस्त है। इसके अलावा, यह निष्पादन नहीं है, लेकिन संकलन है, अर्थात। यदि नियमितता की मान्यता है और यह समान NFA कोड पर आधारित है - हमारे पास समान अंतहीन चक्र + 100% बापू उपयोग है।

ओपनसोर्स टीसीएल परियोजना पर सहयोगियों द्वारा अपने सभी मौजूदा संस्करणों (विकास सहित) में एक गलती पाई गई थी। यह जानते हुए कि Postgres एक समान API का उपयोग करता है, यह पता लगाना मुश्किल नहीं था कि इस पोस्टग्रेज को नियमित रूप से खिलाने से थ्रेड (प्रक्रिया) पूरी तरह से जमा हो जाती है जो अनुरोध को संसाधित करता है।

इस तरह के समूहीकरण में केवल पांचवें या अधिक घोंसले के क्रम में एक त्रुटि होती है - अर्थात चार नेस्टेड समूह सही ढंग से संकलित और निष्पादित करते हैं।

PostgreSQL के लिए उदाहरण:

 postgres=# select 1 where 'x' ~ '((((x)*)*)*)*'; ?column? ---------- 1 (1 row) postgres=# select 1 where 'x' ~ '(((((x)*)*)*)*)*'; 

व्यस्त!

टीसीएल के लिए उदाहरण:

 % regexp -about {((((x)*)*)*)*} 4 REG_UEMPTYMATCH % regexp -about {(((((x)*)*)*)*)*} 

व्यस्त!

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

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

सत्यापित असुरक्षित से:
टीसीएल 8.4, 8.5, 8.6 - विफल ।
PostgreSQL 8.4, 9.1 - विफल ।

त्रुटि के अधीन नहीं :
अजगर 2.5.2 और 2.7 ठीक हैं ।
UPD: PostgreSQL 9.2.3 - ठीक है । ( यू.वी. की टिप्पणी के अनुसार। starius )।
UPD: PostgreSQL 9.2.1, 9.2.2-2 - ठीक है । ( catlion और sdevalex के लिए धन्यवाद)।