I'm wonder what precisely is meant by the renormalizability of the standard model. I can imagine two possibilities:
The renormalizability of all of the interaction described by the Lagrangian before spontaneous symmetry breaking (SSB) by the nonzero vacuum expectation value (VEV) of the Higgs field.
The renormalizability of the Lagrangian obtain from the initial one after SSB, expressed in terms of suitable new fields (which has direct physical interpretation contrary to the fields appearing in initial Lagrangian).
It seems that in case (2) we obtain an effective (nonrenormalizable) theory only and this precisely was the reason to introduce the mechanism of generating mass by nonzero VEV of Higgs field. The original Lagrangian (case (1)) contains only power counting renormalizable vertices so if there are no anomalies then SM befor SSB is renormalizable. However, in physical prediction (actual computations being performed), as far as I know, Lagrangian after SSB is used. Does is require infinite number of counterterms (is it effective theory)?