610 likes | 775 Views
Błędy implementacji oprogramowania. Przemysław Targalski, Krzysztof Szcześniak. Błędy implementacji oprogramowania. Błędy implementacji oprogramowania, to takie które popełnia nieświadomie programista, a z którymi skutkami musi najczęściej zmierzyć się administrator.
E N D
Błędy implementacji oprogramowania Przemysław Targalski, Krzysztof Szcześniak
Błędy implementacji oprogramowania Błędy implementacji oprogramowania, to takie które popełnia nieświadomie programista, a z którymi skutkami musi najczęściej zmierzyć się administrator.
Rodzaje błędów implementacji • Buffer Overrun (przepełnienie bufora) • Nieprawidłowe zarządzanie pamięcią • Nieprawidłowa obróbka danych uzyskanych od użytkownika: • Format Strings w C (Ciągi formatujące) • Błędy aplikacji WWW • XSS • CSRF • SQL Injection
Buffer overrun • buffer overrun - błędy polegające na kontrolowanym nadpisywaniu przestrzeni adresowej procesu (np. stosu lub sterty) danymi, mogącymi zmienić przebieg wykonania procesu, np. poprzez modyfikację adresu powrotu funkcji lub wskaźnika do innej funkcji.
Buffer overrun • Wpisywanie większej ilości danych niż jest w stanie przechować bufor • Off-by-one error – wpisanie wartości pod n-tym indeksem w n-elementowej tablicy • Najbardziej narażone języki – C, C++ • Bezpieczne języki – Java, C#
Buffer overrun • Stack-based Overflows ( stack smashing ) – nadpisywanie danych na stosie • Heap-based Overflows – nadpisywanie danych na stercie
Stack-based Overflows • void overflow_function (char *str) { char buffer[20]; strcpy(buffer, str); }
Stack-based Overflows • Jeżeli bufor jest dostatecznie duży można go zapełnić złośliwym kodem, a do adresu powrotu wpisać adres tego bufora.
Stack-based Overflows • strcpy( char* dest, const char* src ); • strcat( char* dest, const char* src ); Obie funkcje zakładają że bufor dest ma wystarczający rozmiar aby zmieścić kopiowane dane. • sprintf() char buffer[512];sprintf(buffer, "Wrong command: %s\n", user);
Stack-based Overflows • Rozwiązanie (1) – dynamiczna alokacja pamięci: dest = (char *)malloc(strlen(source) + 1); if (dest) { strcpy(dest, source); } else { /* Błąd alokacji pamięci */ … } • Rozwiązanie (2) – bezpieczne odpowiedniki: strcpy_s( char*dest, size_t sizeInBytes, const char* source); strcat_s( char*dest, size_t sizeInBytes, const char* source);
Stack-based Overflows • gets(char* buffer); - pobiera dane ze standardowego wejścia. • Bezpieczne odpowiedniki: gets_s(buffer, sizeof(buffer)); fgets (buffer, sizeof(buffer), stdin);
Stack-based Overflows Sposoby ochrony: • Non-Executable Stacks • Address space layout randomization • Runtime Bounds Checkers • Canaries • StackGuard • Stack Smashing Protector (ProPolice) • Libsafe and LibVerify
Non-Executable Stacks • Zakaz wykonywania instrukcji znajdujących się na stosie lub stercie. • Blokada wykonywania istnieje od procesora 80286 na poziomie segmentów jednak nie przyjęła się. • Bity NX ("No eXecute„ - AMD) lub XD ("eXecute Disabled„ - Intel) – blokada na poziomie stron pamięci. Używane dopiero w Windows XP sp2 (Data Execution Prevention ) Exec Shield – patch dla linuxa • Nie uchroni przed atakami korzystającymi z bibliotek systemowych np „return-to-libc attack”
Address space layout randomization • Losowy rozkład przestrzeni adresowej • Dostarcza środków do wprowadzenia losowości do schematu adresowania wszystkich danych, które są ładowane do pamięci.
Runtime Bounds Checkers • C++ standardowo nie posiada takiej możliwości • DevPartner for Visual C++
Canaries • „Kanarki” – pewne informacje dodane pomiędzy buforem a ważnymi danymi np. adresem powrotu – jeżeli zostaną zmienione wiemy, że nastąpiło przepełnienie bufora. • Terminator canaries • Random canaries • Random XOR canaries
StackGuard • Dodatek do kompilatora gcc 3.x • Dodaje własny kod do każdej funkcji • Używa „kanarka” obok adresu powrotu funkcji • Przed powrotem z funkcji sprawdza poprawność „kanarka”
Stack Smashing Protector (ProPolice) • Dodatek do gcc 3.x • Stworzony przez IBM, oparty na StackGuard • Używany w m.in. w OpenBSD • Możliwość użycia w gentoo po dopisaniu „hardened” do USE flags
Libsafe and LibVerify • Biblioteka wykrywająca przepełniania buforów w programach. Jest dołączana w sposób dynamiczny – nie trzeba nic rekompilować. • Przechwytuje wywołania niebezpiecznych funkcji (strcpy() itp.) i sprawdza czy nie nastąpiło przepełnienie, jeśli nastąpiło aplikacja jest zabijana.
Heap-based Overflows • Trudniejsze do wykrycia • Zależą od rodzaju danych zapisanych w pamięci • Podmiana informacji takich jak uprawnienia użytkownika lub ścieżki dostępu do pliku.
Heap-based Overflows • #include <stdio.h> • #include <stdlib.h> int main(int argc, char *argv[]) { FILE *fd; // Allocating memory on the heap char *userinput = malloc(20); char *outputfile = malloc(20); strcpy(outputfile, "/tmp/notes"); strcpy(userinput, argv[1]); fd = fopen(outputfile, "a"); if (fd == NULL) { fprintf(stderr, "error opening %s\n", outputfile); exit(1); } fprintf(fd, "%s\n", userinput); fclose(fd); return 0; }
Heap-based Overflows Sposoby ochrony: • DieHard • Electric fence
DieHard • Praktycznie eliminuje możliwość przepełnienia bufora na stercie. • Alokuje obiekty losowo w pamięci, zdala od siebie • Eliminuje błędy związane z podwójną dealokacją tego samego obszaru pamięci.
Electric fence • Biblioteka która po podlinkowaniu do programu przejmuje kontrolę nad zarządzaniem pamięcią. • Eliminuje możliwość nadpisania jednego bufora innym. • Każdy bufor jest alokowany na innej stronie. Wyjście poza bufor automatycznie zabija aplikację.
Buffer overrun • Niewykorzystane dziury Microsoft Security Bulletin MS04-028 Buffer Overrun in JPEG Processing (GDI+) Could Allow Code Execution (833987) Microsoft Security Bulletin MS03-023 Buffer Overrun In HTML Converter Could Allow Code Execution (823559)
Buffer overrun • Code Red – robak infekujący IIS GET /default.ida?NNNNNNNNNNNNNNNNNNNNNNNNN NNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNN NNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNN NNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNN NNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNN NNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNN NNNNNNNNNNNNNNNNNNN %u9090%u6858%ucbd3%u7801%u9090%u6858%ucbd3%u7801 %u9090%u6858%ucbd3%u7801%u9090%u9090%u8190%u00c3 %u0003%u8b00%u531b%u53ff%u0078%u0000%u00=a HTTP/1.0
Buffer overrun • Blaster (2003)– wykorzystał dziurę w DCOM RCP – powodował restart komputera po ok. 60 sekundach od połączenia z Internetem. • Sasser (2004) – dziura w Local Security Authority Subsystem Service – losowe restarty komputera.
Format Strings w C • Częsty błąd przy wyświetlaniu tekstu gdy nie trzeba go formatować: char tekst[100]; fgets (tekst, sizeof(tekst), stdin); tekst[sizeof(tekst)-1]=‘\0’; printf(tekst); // źle printf(”%s”,tekst); //dobrze
Format Strings w C • Czy aby na pewno printf() tylko wyświetla? • %s – wyświetlanie łańcucha danych • %n – zapis ilości wypisanych do tej pory znaków pod wskazany adres w pamięci. • %d – wyświetlanie liczby całkowitej • %20d – wyświetlanie liczby całkowitej i ustawienie szerokości na 20 znaków (co pozwala dowolnie modyfikować ilość wyświetlonych znaków)
Zarządzanie pamięcią • Alokacja pamięci na typ/obiekt reprezentujący dany zasób • Inicjalizacja obiektu reprezentującego zasób - doprowadzenie go do stanu gotowości do użycia (utworzenie połączenia sieciowego, otwarcie pliku, wypełnienie buforów itp.) • Użycie (być może wielokrotne) zasobu reprezentowanego przez obiekt. • Zakończenie wykorzystania zasobu (zamknięcie połączenia sieciowego, zamknięcie pliku, opróżnienie buforów itp.) • Zwolnienie pamięci przydzielonej na obiekt reprezentujący zasób.
Zarządzanie pamięcią C/C++ kontra Java/.Net • C/C++ samodzielne wykonanie wszystkich powyższych czynności • Java/.Net zwalnia z części tych punktów: • Automatyczna alokacja pamięci (punkt 1) • Automatyczne oczyszczanie z niepotrzebnych obiektów(5) • Wiele typów zasobów nie wymaga żadnych dodatkowych zabiegów związanych z ich zwalnianiem(4)
Alokacja pamięci a typy • Typy bezpośrednie (dziedziczą po System.ValueType), alokowane są na stosie, a zwalnianie pamięci odbywa się automatycznie • Typy referencyjne (dziedziczą po System.Object ), alokowane są na stercie. W momencie uruchomienia tworzony jest wskaźnik alokacji (AllocPnt), pokazujący na adres w pamięci, pod którym zostanie utworzony następny obiekt.
Kiedy wywołujemy operator new : Sprawdzana jest wolna przestrzeń na stercie jeśli nie ma wystarczająco dużo miejsca - obszar sterty jest powiększany lub wykonywane jest jego porządkowanie - o tym w dalszej części artykułu jeśli wolny obszar sterty jest odpowiednio duży, środowisko uruchomieniowe wywołuje konstruktor klasy tworzonego obiektu, a operator new zwraca obiekt nowo utworzonego obiektu (równy aktualnej wartości AllocPnt) wartość wskaźnika AllocPnt zwiększana jest o wielkość pamięci przydzieloną nowo utworzonemu obiektowi Sterta
Sterta c.d. Po utworzeniu kilku obiektów sterta mogłaby wyglądać tak: W przypadku braku miejsca a czyszczenie i powiększanie pamięci nie daje rezultatów otrzymujemy wyjątek OutOfMemoryException.
Alokacja pamięci w C/C++ • Wolne obszary stery zapisywane są pod postacią listy wolnych obszarów • Kosztowna alokacja nowych bloków • wymaga przejrzenia listy wolnych bloków • znalezienia bloku o odpowiedniej wielkości • zmodyfikowania listy wolnych bloków tak, aby uwzględniała nowo zajęty obszar pamięci.
Alokacja pamięci .Net • Prostsza i szybsza niż w C/C++ gdyż wymaga jedynie inkrementacji jednego wskaźnika o odpowiednią wartość • Otrzymujemy porównywalną szybkość alokacji pamięci na stosie jak i na stercie
C/C++ błędy • Główny problem tzw. przeciek pamięci : • Spowodowany niezwalnianiem alokowanego obszaru • Samodzielne zwalnianie obiektu, dłużej nie potrzebnego. Przeciek wtedy gdy zasoby są źle zwolnione, a referenecja do obiektu utracona. • Brak mechanizmu garbage collector
Garbage Collector • Szybkie zaśmiecenie pamięci. Za odśmiecanie odpowiada gc. • GC zwalnia niepotrzebne obiekty • Nie zwalnia nie zarządzanych zasobów (np. otwartych plików, połączeń sieciowych)
Finalizator klasy • Instrukcje, jakie GC ma wykonać podczas tworzenia obiektu : class TextClass { // finalizator klasy: ~TextClass() { //zwalnianie zasobów } }
Kłopoty z finalizacją • Stworzenie obiektów z finalizatorami trwa dwa razy dłużej niż tworzenie obiektów zarządzanych (związane z wypełnieniem przez środowisko dodatkowych struktur) • Wywołania finalizatora spowalnia proces porządkowania pamięci. • Obiekty z finalizatorem zwalniane są później niż obiekty zarządzane –przedłuża sztucznie „życie” niepotrzebnych obiektów • Nie ma gwarancji co do kolejności niszczenia obiektów
Ręczna finalizacja • W ogólności najlepiej unikać tworzenia klas, które wymagają finalizacji. • Problem w przypadku klas korzystających z plików, bądź połączeń sieciowych • Rozwiązanie: danie możliwości ręcznego zwolnienia zasobów. • W środowisku .Net odpowiadają za to dwie metody: • close() – wywołania zwalnia wszystkie zajęte zasoby (zamyka pliki, opróżnia bufory). Jest możliwość ponownego otwarcia pliku • dispose() - jej wykonanie na stałe odbiera możliwość pracy z obiektem. Wszystkie zajęte zasoby są zwalniane, a obiekt nie nadaje się już do wykorzystania.
Zarządzanie pamięcią - podsumowanie • Napisanie programu w taki sposób, żeby nie próbował on czytać bądź zapisywać pamięci mu nie przydzielonej. • Garbage Collector, któremu czasami trzeba „pomóc” w zwalnianiu zasobów. • Skutki błędnego zarządzania : • Może powodować błąd wykonania i natychmiastowe zakończenie programu • Bardzo trudne do wykrycia błędy w systemach bez ochrony pamięci
Zarządzanie pamięcią – podsumowanie 2 • Wyższość Java/.Net nad C/C++ • Tworzymy obiekt w C/C++ operatorem new • Potem zwalniamy jego pamięć operatorem delete • Zatrzymujemy jednak odnośnik do tej pamięci • Utworzony inny obiekt może otrzymać zwolnioną pamięć • Program otrzymuje możliwość dostępu do tej samej pamięci, bo postrzega ją jako dwa różne rodzaje obiektów • Konsekwencja takiego działania: nieprzewidywalne zachowanie się programu i powstanie trudnych do wykrycia błędów. Każdy błąd systemu może być potencjalnie wykorzystany do włamania się!!!
WWW-XSS • XSS (Cross Site Scripting ) nieświadome przekazywanie przez witryny internetowe złośliwego kodu. • Atak składa się : • przekazanie do aplikacji złośliwego kodu przez napastnika; • nieświadome pobranie od aplikacji złośliwego kodu przez ofiarę; kod zostaje wykonany; • dodatkowe akcje wykonywane przez atakującego.
XSS • Atakujący łączy się z aplikacją po czym wysyła złośliwy kod : <SCRIPT type="text/javascript"> alert('Złośliwy kod!'); </SCRIPT> • Taki kod może być np. treścią listu na forum czy adresem email w polu nadawcy. • Aplikacja odbiera kod i zapisuje go w bazie danych • Użytkownik po zalogowaniu wchodzi na stronę i nieświadomie wyświetla jego zawartość. W wyniku wyświetlenia zostaje wykonany złośliwy kod JavaScript, który przekazuje pewne dane atakującemu.
Luki wykorzystywane przez XSS • aplikacja wpuszcza złośliwy kod. • aplikacja wypuszcza złośliwy kod. • przeglądarka klienta wykonuje złośliwy kod.
Ataki CSRF (ang. Cross Site Request Forgeries) wykorzystują mechanizm działania protokołu HTTP. Różnica CSRF i XSS • Po stronie klienta • XSS wykorzystuje JavaScript • CSRF wykorzystuje HTTP
CSRF • <IMG src="ikona.png" alt="Ikona listy wypunktowanej"> , pobrany porzez zapytanie : • GET ikona.png HTTP/1.1 • GET może odwoływać się do skryptu i przekazywać mu dodatkowe dane GET skrypt.php?imie=Jan&wiek=43 HTTP/1.1 • Umieszczenie na stronie obrazu: <IMG src="skrypt.php?imie=Jan&wiek=43" alt="Ikona..."> wywołuje skrypt skrypt.php i umieszcza zmienne imie oraz wiek. • Samo wyświetlanie strony WWW może wywołać nieświadome wykorzystanie różnych skryptów.