Statyczna analiza kodu, czyli jak komputer może szukać błędów