Ismeri a statikus elemzőket, mire használják őket, és hogyan tükröződnek az eredmények a jelentésekben?