Statická analýza kódu