В ядре Linux устранена следующая уязвимость:
mptcp: избегайте объединения некоторых входящих подопций
Некоторые подопции MPTCP являются взаимоисключающими согласно RFC8684.
но еще и потому, что в разных местах код не ожидает каких-то
комбинации, которые должны присутствовать. Это особенно верно для подопций, которые
будет присутствовать дважды, но с разными атрибутами. Новые ограничения такие же, как и на выходе.
сторона с помощью mptcp_write_options.
Те же правила можно повторно использовать с
небольшое исправление: MP_FASTCLOSE можно использовать с DSS, когда отправитель выбирает
этот вариант [1], которого нет в Linux. Вот правила:
Какие варианты можно использовать вместе?
X: взаимоисключающие
О: часто используется вместе
C: в некоторых случаях могут использоваться вместе
P: можно использовать вместе, но мы предпочитаем этого не делать (оптимизации)
| Опция: | ПДК | МПЖ | ДСС | ДОБАВИТЬ | РМ | ПРИО | ФЕЙЛ | ФК |
|------|------|------|------|------|------|------|------|------|
| MPC |------|------|------|------|------|------|------|------|
| МПЖ | X |------|------|------|------|------|------|------|
| ДСС | Х | X |------|------|------|------|------|------|
| ДОБАВИТЬ | Х | Х | P |------|------|------|------|------|
| РМ | С | С | С | P |------|------|------|------|
| ПРИО | Х | С | С | С | C |------|------|------|
| ФЕЙЛ | Х | Х | С | Х | Х | X |------|------|
| ФК | Х | Х | П | Х | Х | Х | X |------|
| РСТ | Х | Х | Х | Х | Х | Х | О | О |
|------|------|------|------|------|------|------|------|------|
Единственная разница заключается в букве «P»: другой стек может отправить и
ADD_ADDR с другими подопциями (DSS, RM_ADDR), и это должно быть
разрешено. Несколько моментов внимания:
- Теоретически MP_CAPABLE можно использовать с RM_ADDR, но есть
нет причин добавлять его с помощью SYN.
Обратите внимание, что даже при наличии 4-го ACK
кажется бесполезным, за исключением случаев, когда идентификаторы заранее известны через
другой канал. Лучше не нарушать это.
- Теперь объединение MP_CAPABLE и MP_JOIN больше не будет
результат к отклонению двух вариантов, но только второго подварианта
игнорируется. Кажется, это нормально, чтобы сделать это из-за этой неожиданной ошибки.
В
по крайней мере, теперь все несовместимые комбинации обрабатываются одинаково. Это может измениться позже в следующем. Это также означает явные проверки
поскольку оба MPC + MPJ в subflow.c теперь будут недоступны.
Ничего страшного, они будут удалены в следующем патче.
- В случае противоречивых комбинаций дополнительные подопции
игнорируется: наличие таких комбинаций означает, что удаленный узел
глючный или злой. В этом случае предпринимаются самые простые действия:
прекратить обработку текущей подопции.
- В mp_opt->suboptions также есть бит, зарезервированный для контрольной суммы,
который можно использовать в MP_CAPABLE и DSS. Каждый раз опция DSS
можно использовать параллельно с другим вариантом, можно задать контрольную сумму,
поэтому проверка объединена в новый макрос OPTIONS_MPTCP_DSS.
- MP_CAPABLE ACK может содержать длину уровня данных и необязательный параметр.
Контрольная сумма: они такие же, как и в DSS, поскольку DSS
не может использоваться параллельно с MP_CAPABLE. Аналогично, даже если существует
есть место, DSS нельзя использовать с MP_JOIN.
Показать оригинальное описание (EN)
In the Linux kernel, the following vulnerability has been resolved: mptcp: avoid combining some incoming suboptions Some MPTCP suboptions are mutually exclusive according to the RFC8684, but also because in different places, the code doesn't expect some combinations to be present. That's specially true for suboptions that would be present twice, but with different attributes. The new restrictions are the same as the ones applied on the output side, with mptcp_write_options. The same rules can be reused with a small fix: an MP_FASTCLOSE can be used with a DSS when the sender picks this option [1], which is not the case on Linux. Here are the rules: Which options can be used together? X: mutually exclusive O: often used together C: can be used together in some cases P: could be used together but we prefer not to (optimisations) | Opt: | MPC | MPJ | DSS | ADD | RM | PRIO | FAIL | FC | |------|------|------|------|------|------|------|------|------| | MPC |------|------|------|------|------|------|------|------| | MPJ | X |------|------|------|------|------|------|------| | DSS | X | X |------|------|------|------|------|------| | ADD | X | X | P |------|------|------|------|------| | RM | C | C | C | P |------|------|------|------| | PRIO | X | C | C | C | C |------|------|------| | FAIL | X | X | C | X | X | X |------|------| | FC | X | X | P | X | X | X | X |------| | RST | X | X | X | X | X | X | O | O | |------|------|------|------|------|------|------|------|------| The only difference is with the 'P': another stack could send and ADD_ADDR with other suboptions (DSS, RM_ADDR), and this should be allowed. A few points of attention: - In theory, an MP_CAPABLE could be used with a RM_ADDR, but there is no reason to add it with a SYN. Note that even with a 4th ACK, it doesn't seem to be useful, except when IDs are known in advance via another channel. Better not to break that. - Now, combining both an MP_CAPABLE and an MP_JOIN will no longer result to a reject of the two options, but only the second suboption is ignored. That seems OK to do that for this unexpected error. At least now all inconsistent combinations are handled the same way. This could change later in next. This also means the explicit checks for having both MPC + MPJ in subflow.c will now be unreachable. That's fine, they will be removed in a follow-up patch. - In case of conflicting combinations, the extra suboption(s) is/are ignored: having such combinations either means the remote peer is buggy, or is evil. The simplest action is then taken in this case: stop processing the current suboption. - In mp_opt->suboptions, there is also a bit reserved to the checksum, which can be used in an MP_CAPABLE and a DSS. Each time a DSS option can be used in parallel with another option, the checksum can be set, so the verification is combined into a new OPTIONS_MPTCP_DSS macro. - An MP_CAPABLE ACK can carry a Data-Level Length, and an optional Checksum: they are the same as the ones found in a DSS, because a DSS cannot be used in parallel to an MP_CAPABLE. Similarly, even if there is room, a DSS cannot be used with an MP_JOIN.