Riot: कैंबर पार्सर में लटका हुआ है

BTW: यह एक ट्रोल की तरह लग सकता है, लेकिन मैं ईमानदारी से सुझाव दूंगा कि आप इस पूरी तरह से पार्सर को हटाने पर विचार करें: यह मानक को ठीक से लागू नहीं करता है, कोड की गुणवत्ता भयानक है और सबसे महत्वपूर्ण बात यह है कि यह बग से भरा है और लगता नहीं है एक अनुचर जो इस पर सक्रिय रूप से काम कर रहा है।

@nmeum , क्या आप RFC अनुपालन के साथ कोड की गुणवत्ता के मुद्दों और समस्याओं पर थोड़ा और विस्तार कर सकते हैं?

RFC अनुपालन के बारे में: पार्सर ठीक से कैंब्रिज टेस्टवेटर्स के बहुमत को पार्स नहीं करता है। कोड की गुणवत्ता के बारे में: हमने फ़ज़िंग के द्वारा और उन्हें ठीक करने के लिए कोड के माध्यम से जाने से कई समस्याएँ पाईं, यह अभी बहुत पॉलिश नहीं लगा।

यहाँ एक पैच फिक्सिंग है (या कम से कम उनमें से कुछ) जो समीप के पार्सर में हैं:

diff --git a/cbor-afl/cbor.c b/cbor-afl/cbor.c
index fa1aa27..c97457e 100644
--- a/cbor-afl/cbor.c
+++ b/cbor-afl/cbor.c
@@ -989,12 +989,17 @@ static size_t cbor_stream_decode_at(cbor_stream_t *stream, size_t offset, int in

             while (is_indefinite ? !cbor_at_break(stream, offset) : i < map_length) {
                 size_t key_read_bytes, value_read_bytes;
+
                 offset += key_read_bytes = cbor_stream_decode_at(stream, offset, indent + 1); /* key */
-                offset += value_read_bytes = cbor_stream_decode_at(stream, offset, indent + 2); /* value */
+                if (key_read_bytes == 0) {
+                    DEBUG("Failed to read key at position %d\n", i);
+                    return 0;
+                }

-                if (key_read_bytes == 0 || value_read_bytes == 0) {
-                    DEBUG("Failed to read key-value pair at position %d\n", i);
-                    break;
+                offset += value_read_bytes = cbor_stream_decode_at(stream, offset, indent + 2); /* value */
+                if (value_read_bytes == 0) {
+                    DEBUG("Failed to read value at position %d\n", i);
+                    return 0;
                 }

                 read_bytes += key_read_bytes + value_read_bytes;

ऐसा लगता है कि नक्शे में प्रमुख मूल्यों को पार्स करने के बाद पार्सर त्रुटियों की जांच नहीं करता है। यहां तक ​​कि अगर एक चाबी नहीं मिली, तब भी गैर-मौजूदा कुंजी के लिए एक मूल्य खोजने के लिए cbor_stream_decode_at आह्वान किया।

यकीन नहीं है कि पैच इष्टतम है, लेकिन कम से कम यह अब लटका नहीं है ...

मैंने # 7800 में सभी cbor संबंधित मुद्दे एकत्र किए हैं। आइए वहां चर्चा करें कि उस मॉड्यूल के साथ कैसे चलें।