Czy możesz wyjaśnić, na czym polega analiza ucieczek w kontekście zarządzania pamięcią w programowaniu?

Analiza ucieczek to proces w kompilatorach (np. w Go), który określa dokładnie, gdzie w pamięci powinien być przechowywany obiekt: na stosie czy na stercie.

Jeśli obiekt "nie wychodzi" poza funkcję (nie "okrywa" jej), można go umieścić na stosie — jest to szybsze i bezpieczniejsze, ponieważ pamięć jest automatycznie zwalniana po wyjściu z funkcji.

Jeśli jednak obiekt "okrywa" funkcję (np. jest z niej zwracany lub przechowywany w zmiennej globalnej), musi być umieszczony na stercie, aby żył dłużej niż czas wywołania funkcji.

Przykład w Go:

func foo() *int {
    x := 10
    return &x // x "okrywa" funkcję, dlatego jest alokowany na stercie
}

Analiza ucieczek pomaga zoptymalizować wykorzystanie pamięci i poprawić wydajność programu.