Dziś porozmawiamy o błędach związanych z używaniem niepoprawnych typów danych i operacji, które potem mogą prowadzić do błędów bezpieczeństwa.

Zacznijmy od prostego przykładu:
for (int i = 0; obj.size(); i++)
Często widzę taką konstrukcję pętli niezależnie od języka. Co gorsza dla przykładu taka Java potrafi zwracać typ int w przypadku size(). No ale czemu? Kontenery w których trzymamy różne dane nie będą mieć przecież ujemnej wartości. Więc czemu używać int, a nie uint? Taki C++ wypada lepiej bo zwraca typ bez znaku (size_t) co jest ok, ale mimo to większość i tak używa int w pętli i mamy już problem, czyli porównywanie dwóch różnych typów. Kompilatory generują warning, ale kto tym się przejmuje... Zatem jak powinno to poprawnie wyglądać? Wystarczy użyć for-each, albo iteratorów, a jeśli język tego nie wspiera to użyć poprawnych typów.

To samo dotyczy alokowania pamięci:
int size; // a powinno być uint/size_t
new int[size];

Jaki z tego morał? Używać właściwych typów, a jeśli język oferuje możliwość to korzystać z typów w stylu u8, u16, u32, u64, i8, i16, i32, i64. Wtedy od razu wiadomo czy jest typ ze znakiem i ilu bitowy jest.

Na koniec w prosty sposób pokażę jak porównywanie złych typów może prowadzić do błędów bezpieczeństwa:
if (strcmp($password, $_POST["password"]) == 0)
Kod w php i czy na pierwszy rzut oka widać, że jest coś nie tak? Dokumentacja php mówi nam, że zwróci 0 jeśli obie wartości są równe. Problemem jest tutaj porównanie, które nie sprawdza typów. Teraz wystarczy przesłać tablicę i będziemy zalogowani bez znajomości hasła. A wystarczyło użyć ===.

W ramach ciekawostki bo może nie wszyscy to pamiętają, niektóre programy miały limit pliku do 2 GB, a było to związane z użyciem niewłaściwego typu int32 zamiast uint32 wtedy byłby limit 4 GB.

Podsumowując używajmy właściwych typów i operacji zawsze i wszędzie.