В ядре Linux устранена следующая уязвимость: apparmor: исправлена проверка дифференциальной кодировки Дифференциальное кодирование позволяет создавать петли, если им злоупотребляют. Чтобы Чтобы предотвратить это, распаковка должна убедиться, что цепочка diff-кодирования заканчивается. К сожалению, проверка дифференциального кодирования имела две ошибки. 1. он объединил государства, которые прошли проверку и уже были отмечены состояниями, которые в данный момент проверялись и отмечались.
Это означает, что циклы в текущей проверяемой цепочке обрабатываются как цепочка, которая уже проверена. 2. порядок вывода по уже проверенным состояниям по сравнению с текущей цепочкой проверьте итераторы j,k вместо использования итератора внешнего цикла i. Означает шаг назад в состояниях в текущей проверке цепочки. ошибочно принималось за переход в уже проверенное состояние. Переход к схеме двойной оценки, при которой уже проверенные государства получают отметка, отличная от текущей сохраняемой цепочки.
Это позволяет нам также отменить обратную проверку, которая была причиной вторая ошибка, поскольку любое уже проверенное состояние уже отмечено.
Показать оригинальное описание (EN)
In the Linux kernel, the following vulnerability has been resolved: apparmor: fix differential encoding verification Differential encoding allows loops to be created if it is abused. To prevent this the unpack should verify that a diff-encode chain terminates. Unfortunately the differential encode verification had two bugs. 1. it conflated states that had gone through check and already been marked, with states that were currently being checked and marked. This means that loops in the current chain being verified are treated as a chain that has already been verified. 2. the order bailout on already checked states compared current chain check iterators j,k instead of using the outer loop iterator i. Meaning a step backwards in states in the current chain verification was being mistaken for moving to an already verified state. Move to a double mark scheme where already verified states get a different mark, than the current chain being kept. This enables us to also drop the backwards verification check that was the cause of the second error as any already verified state is already marked.