[Krolik]

#rustlang #windows #crowdstrike gdyby to napisali w Rust to by się nie wywaliło

[Pinfar]

@Krolik: potwierdzone info?

[Krolik]

@Pinfar: BSOD leci przez odwołanie się do nieprawidłowej pamięci:

https://x.com/snicoara/status/1814184181863526504

https://learn.microsoft.com/en-us/windows-hardware/drivers/debugger/bug-check-0x50--page-fault-in-nonpaged-area

W Rust takie błędy łapie kompilator w czasie kompilacji.

[MakeLifeGreatAgain]

@Krolik: No chyba że używasz unsafe bloku w Rust to wtedy kompilator nic nie wyłapie.

[Krolik]

@MakeLifeGreatAgain: Po pierwsze, nieprawda, unsafe nie wyłącza borrow-checkera. Kompilator łapie błędy dostępu pamięci za pośrednictwem referencji również wewnątrz unsafe. Samo unsafe jest niewystarczające - potrzeba bardziej się postarać aby doprowadzić do takiego crasha.

Po drugie unsafe w Rust jest konstrukcją występującą niezmiernie rzadko. Jest różnica czy masz 10 linii kodu w unsafe czy 10 tysięcy linii kodu (jak w przypadku C i C++ gdzie wszystko jest unsafe). Twierdzenie że Rust

[MakeLifeGreatAgain]

@Krolik: W normalnych aplikacjach pewnie unsafe występuje rzadko. Jednak patrząc na przykład od Microsoft odnośnie sterownika w Rust: https://github.com/microsoft/Windows-rust-driver-samples widać że unsafe się pojawia tam dość często. Co do C i C++ pełna zgoda, ale jeśli ktoś te języki zna na wysokim poziomie to też można pisać w nich bezpieczny kod.

[Krolik]

@MakeLifeGreatAgain: Microsoft i Google mają programistów znających dobrze C i C++ i jednak historia błędów pokazuje, że nie, argument „wystarczy nie robić błędów” nie działa. W modern C++ możesz zrobić bardzo łatwo UB bez używania wskaźników czy alokacji na heapie. Ponad połowa dziur bezpieczeństwa w Windows oraz Android to błędy zarządzania pamięcią w C i C++.

Unsafe w sterownikach i oprogramowaniu systemowym najczęściej pojawia się na styku z systemami zewnętrznymi

[MakeLifeGreatAgain]

@Krolik: Ja wiem, że o błędy w C i C++ jest łatwo. Dlatego to co napisałem, że w tych językach serio musisz być dobry bo na tobie wszystko spoczywa w porównaniu do Rust. Wiadomo mimo to błędy się zdarzają, ale kompilatory oferują sporo flag, które mogą sporo rzeczy wykryć, ale niestety trzeba tych flag podczas kompilacji używać.