eBPF ਵਿੱਚ ਕਮਜ਼ੋਰੀਆਂ ਜੋ ਸਪੈਕਟਰ 4 ਹਮਲੇ ਦੀ ਸੁਰੱਖਿਆ ਨੂੰ ਬਾਈਪਾਸ ਕਰ ਸਕਦੀਆਂ ਹਨ

ਲੀਨਕਸ ਕਰਨਲ ਵਿੱਚ ਦੋ ਕਮਜ਼ੋਰੀਆਂ ਦੀ ਪਛਾਣ ਕੀਤੀ ਗਈ ਹੈ ਜੋ ਕਿ ਸਪੈਕਟਰ v4 ਹਮਲੇ (SSB, ਸਪੇਕੁਲੇਟਿਵ ਸਟੋਰ ਬਾਈਪਾਸ) ਦੇ ਵਿਰੁੱਧ ਸੁਰੱਖਿਆ ਨੂੰ ਬਾਈਪਾਸ ਕਰਨ ਲਈ eBPF ਸਬ-ਸਿਸਟਮ ਦੀ ਵਰਤੋਂ ਕਰਨ ਦੀ ਇਜਾਜ਼ਤ ਦਿੰਦੇ ਹਨ। ਇੱਕ ਗੈਰ-ਅਧਿਕਾਰਤ BPF ਪ੍ਰੋਗਰਾਮ ਦੀ ਵਰਤੋਂ ਕਰਦੇ ਹੋਏ, ਇੱਕ ਹਮਲਾਵਰ ਕੁਝ ਕਾਰਵਾਈਆਂ ਦੇ ਅਨੁਮਾਨ ਲਗਾਉਣ ਲਈ ਹਾਲਾਤ ਬਣਾ ਸਕਦਾ ਹੈ ਅਤੇ ਕਰਨਲ ਮੈਮੋਰੀ ਦੇ ਮਨਮਾਨੇ ਖੇਤਰਾਂ ਦੀ ਸਮੱਗਰੀ ਨੂੰ ਨਿਰਧਾਰਤ ਕਰ ਸਕਦਾ ਹੈ। ਕਰਨਲ ਵਿੱਚ eBPF ਸਬ-ਸਿਸਟਮ ਦੇ ਰੱਖ-ਰਖਾਅ ਕਰਨ ਵਾਲਿਆਂ ਨੇ ਇੱਕ ਪ੍ਰੋਟੋਟਾਈਪ ਸ਼ੋਸ਼ਣ ਤੱਕ ਪਹੁੰਚ ਪ੍ਰਾਪਤ ਕੀਤੀ ਜੋ ਅਭਿਆਸ ਵਿੱਚ ਹਮਲੇ ਕਰਨ ਦੀ ਸਮਰੱਥਾ ਨੂੰ ਦਰਸਾਉਂਦੀ ਹੈ। ਸਮੱਸਿਆਵਾਂ ਨੂੰ ਪੈਚ (1, 2) ਦੇ ਰੂਪ ਵਿੱਚ ਹੱਲ ਕੀਤਾ ਗਿਆ ਹੈ, ਜੋ ਕਿ ਅਗਲੇ ਲੀਨਕਸ ਕਰਨਲ ਅੱਪਡੇਟ ਵਿੱਚ ਸ਼ਾਮਲ ਕੀਤਾ ਜਾਵੇਗਾ। ਡਿਸਟ੍ਰੀਬਿਊਸ਼ਨ ਕਿੱਟਾਂ ਵਿੱਚ ਅੱਪਡੇਟ ਅਜੇ ਤੱਕ ਨਹੀਂ ਬਣਾਏ ਗਏ ਹਨ (ਡੇਬੀਅਨ, RHEL, SUSE, Arch, Fedora, Ubuntu)।

ਸਪੈਕਟਰ 4 ਅਟੈਕ ਵਿਧੀ ਅਸਿੱਧੇ ਐਡਰੈਸਿੰਗ ਦੀ ਵਰਤੋਂ ਕਰਦੇ ਹੋਏ ਵਿਕਲਪਿਕ ਲਿਖਣ ਅਤੇ ਪੜ੍ਹਣ ਦੀਆਂ ਕਾਰਵਾਈਆਂ ਦੀ ਪ੍ਰਕਿਰਿਆ ਕਰਦੇ ਸਮੇਂ ਓਪਰੇਸ਼ਨਾਂ ਦੇ ਅਨੁਮਾਨ ਲਗਾਉਣ ਦੇ ਨਤੀਜੇ ਨੂੰ ਰੱਦ ਕਰਨ ਤੋਂ ਬਾਅਦ ਪ੍ਰੋਸੈਸਰ ਕੈਸ਼ ਵਿੱਚ ਸਟੋਰ ਕੀਤੇ ਡੇਟਾ ਨੂੰ ਬਹਾਲ ਕਰਨ 'ਤੇ ਅਧਾਰਤ ਹੈ। ਜਦੋਂ ਇੱਕ ਰੀਡ ਓਪਰੇਸ਼ਨ ਇੱਕ ਰਾਈਟ ਓਪਰੇਸ਼ਨ (ਉਦਾਹਰਨ ਲਈ, mov [rbx + rcx], 0x0; mov rax, [rdx + rsi]) ਦੀ ਪਾਲਣਾ ਕਰਦਾ ਹੈ, ਤਾਂ ਰੀਡ ਐਡਰੈੱਸ ਦਾ ਆਫਸੈਟ ਪਹਿਲਾਂ ਹੀ ਕੀਤੇ ਜਾ ਰਹੇ ਸਮਾਨ ਓਪਰੇਸ਼ਨਾਂ ਦੇ ਕਾਰਨ ਜਾਣਿਆ ਜਾ ਸਕਦਾ ਹੈ (ਪੜ੍ਹਨ ਦੀਆਂ ਕਾਰਵਾਈਆਂ ਹਨ ਬਹੁਤ ਜ਼ਿਆਦਾ ਵਾਰ-ਵਾਰ ਕੀਤਾ ਜਾਂਦਾ ਹੈ ਅਤੇ ਕੈਸ਼ ਤੋਂ ਰੀਡਜ਼ ਕੀਤੇ ਜਾ ਸਕਦੇ ਹਨ) ਅਤੇ ਪ੍ਰੋਸੈਸਰ ਰਾਈਟ ਦੇ ਅਸਿੱਧੇ ਔਫਸੈੱਟ ਦੀ ਗਣਨਾ ਕੀਤੇ ਜਾਣ ਦੀ ਉਡੀਕ ਕੀਤੇ ਬਿਨਾਂ ਰਾਈਟਸ ਤੋਂ ਪਹਿਲਾਂ ਰੀਡਜ਼ ਨੂੰ ਅੰਦਾਜ਼ਾ ਲਗਾ ਸਕਦਾ ਹੈ।

ਜੇ, ਆਫਸੈੱਟ ਦੀ ਗਣਨਾ ਕਰਨ ਤੋਂ ਬਾਅਦ, ਲਿਖਣ ਅਤੇ ਪੜ੍ਹਨ ਲਈ ਮੈਮੋਰੀ ਖੇਤਰਾਂ ਦੇ ਇੱਕ ਇੰਟਰਸੈਕਸ਼ਨ ਦਾ ਪਤਾ ਲਗਾਇਆ ਜਾਂਦਾ ਹੈ, ਤਾਂ ਪ੍ਰੋਸੈਸਰ ਪਹਿਲਾਂ ਹੀ ਅੰਦਾਜ਼ੇ ਨਾਲ ਪ੍ਰਾਪਤ ਕੀਤੇ ਰੀਡ ਨਤੀਜੇ ਨੂੰ ਰੱਦ ਕਰ ਦੇਵੇਗਾ ਅਤੇ ਇਸ ਕਾਰਵਾਈ ਨੂੰ ਦੁਹਰਾ ਦੇਵੇਗਾ। ਇਹ ਵਿਸ਼ੇਸ਼ਤਾ ਪੜ੍ਹਨ ਦੀ ਹਦਾਇਤ ਨੂੰ ਕਿਸੇ ਪਤੇ 'ਤੇ ਪੁਰਾਣੇ ਮੁੱਲ ਨੂੰ ਐਕਸੈਸ ਕਰਨ ਦੀ ਆਗਿਆ ਦਿੰਦੀ ਹੈ ਜਦੋਂ ਕਿ ਸਟੋਰ ਓਪਰੇਸ਼ਨ ਅਜੇ ਪੂਰਾ ਨਹੀਂ ਹੋਇਆ ਹੈ। ਇੱਕ ਅਸਫਲ ਸੱਟੇਬਾਜੀ ਕਾਰਵਾਈ ਨੂੰ ਰੱਦ ਕਰਨ ਤੋਂ ਬਾਅਦ, ਇਸਦੇ ਐਗਜ਼ੀਕਿਊਸ਼ਨ ਦੇ ਟਰੇਸ ਕੈਸ਼ ਵਿੱਚ ਰਹਿੰਦੇ ਹਨ, ਜਿਸ ਤੋਂ ਬਾਅਦ ਕੈਸ਼ ਦੀ ਸਮਗਰੀ ਨੂੰ ਨਿਰਧਾਰਤ ਕਰਨ ਲਈ ਇੱਕ ਢੰਗ ਦੀ ਵਰਤੋਂ ਕੈਸ਼ ਅਤੇ ਅਣਕੈਚਡ ਡੇਟਾ ਲਈ ਐਕਸੈਸ ਸਮੇਂ ਵਿੱਚ ਤਬਦੀਲੀਆਂ ਦੇ ਵਿਸ਼ਲੇਸ਼ਣ ਦੇ ਅਧਾਰ ਤੇ ਇਸਨੂੰ ਮੁੜ ਪ੍ਰਾਪਤ ਕਰਨ ਲਈ ਕੀਤੀ ਜਾ ਸਕਦੀ ਹੈ।

ਪਹਿਲੀ ਕਮਜ਼ੋਰੀ (CVE-2021-35477) BPF ਪ੍ਰੋਗਰਾਮ ਤਸਦੀਕ ਵਿਧੀ ਵਿੱਚ ਇੱਕ ਨੁਕਸ ਕਾਰਨ ਹੁੰਦੀ ਹੈ। ਸਪੈਕਟਰ 4 ਹਮਲੇ ਤੋਂ ਬਚਾਉਣ ਲਈ, ਵੈਰੀਫਾਇਰ ਮੈਮੋਰੀ ਵਿੱਚ ਸੰਭਾਵੀ ਤੌਰ 'ਤੇ ਸਮੱਸਿਆ ਵਾਲੇ ਸਟੋਰਾਂ ਤੋਂ ਬਾਅਦ ਇੱਕ ਵਾਧੂ ਹਦਾਇਤ ਜੋੜਦਾ ਹੈ ਜੋ ਪਿਛਲੇ ਓਪਰੇਸ਼ਨ ਦੇ ਨਿਸ਼ਾਨਾਂ ਨੂੰ ਵਿਸਥਾਪਿਤ ਕਰਨ ਲਈ ਇੱਕ ਨਲ ਮੁੱਲ ਨੂੰ ਸਟੋਰ ਕਰਦਾ ਹੈ। ਰਾਈਟ ਨੱਲ ਓਪਰੇਸ਼ਨ ਬਹੁਤ ਤੇਜ਼ ਹੋਣ ਦੀ ਉਮੀਦ ਕੀਤੀ ਜਾਂਦੀ ਸੀ ਅਤੇ ਸੱਟੇਬਾਜ਼ੀ ਨੂੰ ਰੋਕਦਾ ਸੀ ਕਿਉਂਕਿ ਇਹ ਸਿਰਫ਼ BPF ਸਟੈਕ ਫਰੇਮ ਦੇ ਪੁਆਇੰਟਰ 'ਤੇ ਨਿਰਭਰ ਕਰਦਾ ਹੈ। ਪਰ ਵਾਸਤਵ ਵਿੱਚ, ਇਹ ਅਜਿਹੀਆਂ ਸਥਿਤੀਆਂ ਨੂੰ ਬਣਾਉਣਾ ਸੰਭਵ ਹੋ ਗਿਆ ਹੈ ਜਿਸਦੇ ਤਹਿਤ ਇੱਕ ਨਿਰਦੇਸ਼ ਜੋ ਕਿ ਸਟੋਰ ਦੇ ਸੰਚਾਲਨ ਤੋਂ ਪਹਿਲਾਂ ਅੰਦਾਜ਼ਾ ਲਗਾਉਣ ਲਈ ਅਗਵਾਈ ਕਰਦਾ ਹੈ, ਨੂੰ ਲਾਗੂ ਕੀਤਾ ਜਾ ਸਕਦਾ ਹੈ।

ਦੂਜੀ ਕਮਜ਼ੋਰੀ (CVE-2021-3455) ਇਸ ਤੱਥ ਦੇ ਕਾਰਨ ਹੈ ਕਿ ਜਦੋਂ BPF ਵੈਰੀਫਾਇਰ ਸੰਭਾਵੀ ਤੌਰ 'ਤੇ ਖਤਰਨਾਕ ਮੈਮੋਰੀ ਸੇਵ ਓਪਰੇਸ਼ਨਾਂ ਦੀ ਪਛਾਣ ਕਰਦਾ ਹੈ, ਤਾਂ ਇਹ BPF ਸਟੈਕ ਦੇ ਅਣ-ਸ਼ੁਰੂਆਤੀ ਖੇਤਰਾਂ ਨੂੰ ਧਿਆਨ ਵਿੱਚ ਨਹੀਂ ਰੱਖਦਾ, ਪਹਿਲੀ ਲਿਖਤੀ ਕਾਰਵਾਈ ਜਿਸ ਲਈ ਸੁਰੱਖਿਅਤ ਨਹੀਂ ਹੈ। ਇਹ ਵਿਸ਼ੇਸ਼ਤਾ ਸਟੋਰ ਹਦਾਇਤਾਂ ਨੂੰ ਲਾਗੂ ਕਰਨ ਤੋਂ ਪਹਿਲਾਂ, ਇੱਕ ਅਣ-ਸ਼ੁਰੂਆਤ ਮੈਮੋਰੀ ਖੇਤਰ 'ਤੇ ਨਿਰਭਰ, ਇੱਕ ਅੰਦਾਜ਼ੇ ਵਾਲੇ ਰੀਡ ਓਪਰੇਸ਼ਨ ਕਰਨ ਦੀ ਸੰਭਾਵਨਾ ਵੱਲ ਲੈ ਜਾਂਦੀ ਹੈ। BPF ਸਟੈਕ ਲਈ ਨਵੀਂ ਮੈਮੋਰੀ ਪਹਿਲਾਂ ਤੋਂ ਨਿਰਧਾਰਤ ਮੈਮੋਰੀ ਵਿੱਚ ਸਮੱਗਰੀ ਦੀ ਜਾਂਚ ਕੀਤੇ ਬਿਨਾਂ ਨਿਰਧਾਰਤ ਕੀਤੀ ਜਾਂਦੀ ਹੈ, ਅਤੇ BPF ਪ੍ਰੋਗਰਾਮ ਦੁਆਰਾ ਮੈਮੋਰੀ ਖੇਤਰ ਦੀਆਂ ਸਮੱਗਰੀਆਂ ਨੂੰ ਹੇਰਾਫੇਰੀ ਕਰਨ ਲਈ ਚੱਲਣ ਤੋਂ ਪਹਿਲਾਂ ਇੱਕ ਤਰੀਕਾ ਹੁੰਦਾ ਹੈ ਜੋ ਫਿਰ BPF ਸਟੈਕ ਲਈ ਨਿਰਧਾਰਤ ਕੀਤਾ ਜਾਵੇਗਾ।

ਸਰੋਤ: opennet.ru