Riot: зависает в cbor parser

Кстати: это может звучать как тролль, но я честно предлагаю вам рассмотреть возможность полного удаления этого синтаксического анализатора cbor: он неправильно реализует стандарт, качество кода ужасное и, что наиболее важно, он полон ошибок и, похоже, не имеет сопровождающий, который активно над этим работает.

@nmeum , не могли бы вы подробнее рассказать о проблемах качества кода и проблемах с соответствием RFC?

Относительно соответствия RFC: синтаксический анализатор неправильно анализирует большинство тестовых векторов cbor . Что касается качества кода: мы обнаружили несколько проблем, просто проведя фаззинг и просмотрев код, чтобы исправить их, это просто не выглядело очень отточенным.

Вот патч, исправляющий зависания (или, по крайней мере, некоторые из них) в парсере cbor:

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 для поиска значения для несуществующего ключа.

Не уверен, что патч оптимален, но, по крайней мере, он больше не зависает ...

Я собрал все проблемы, связанные с cbor в # 7800. Давайте обсудим там, как продолжить работу с этим модулем.