庭审时，法官向当事人释明合同无效的法律后果，并不属于程序违法。以下从不同角度对此问题进行详细分析：
一、法官释明权的法律依据与性质
法官在庭审过程中拥有一定的释明权，这是为了确保诉讼的公正性和效率性。释明权是指法官在审理案件时，对于当事人未明确或未充分表达的意思，或者对于法律适用、事实认定等方面存在疑问时，通过询问、提示等方式，引导当事人明确诉求、补充证据或澄清事实的权利。这种权利的行使，旨在帮助当事人更好地行使诉讼权利，履行诉讼义务，从而保障诉讼的顺利进行。
二、合同无效法律后果释明的合理性
保障当事人知情权：在合同纠纷案件中，如果合同被认定为无效，那么当事人需要了解合同无效后可能产生的法律后果，如返还财产、赔偿损失等。法官向当事人释明这些法律后果，有助于当事人全面了解案件情况，做出合理的诉讼决策。
促进诉讼效率：通过释明合同无效的法律后果，法官可以引导当事人围绕核心争议点进行举证和辩论，避免因为对法律后果的不了解而导致的无效诉讼行为，从而提高诉讼效率。
符合程序公正要求：程序公正要求诉讼过程公开、透明，当事人有权了解并参与诉讼的每一个环节。法官释明合同无效的法律后果，正是程序公正的一种体现，它确保了当事人在诉讼过程中的知情权和参与权。
三、不构成程序违法的理由
释明不等于干预：法官释明合同无效的法律后果，并不意味着法官在干预当事人的诉讼行为或替当事人做决定。释明只是提供信息，帮助当事人更好地理解案件情况和法律后果，最终的诉讼决策仍由当事人自己做出。
符合诉讼原则：释明行为符合诉讼的公正、效率原则。它有助于确保诉讼的公正性，避免因为信息不对称而导致的诉讼不公；同时，它也有助于提高诉讼效率，避免因为对法律后果的不了解而导致的无效诉讼行为。
无明确禁止性规定：在现行法律法规中，并没有明确规定法官在庭审过程中不得向当事人释明合同无效的法律后果。相反，从保障当事人知情权、促进诉讼效率和符合程序公正要求的角度来看，法官的释明行为是合理且必要的。
四、特殊情况下的考量
当然，在极少数情况下，如果法官的释明行为超出了合理的范围，或者对当事人产生了不当的影响，那么这种行为可能会引发争议。但这种情况并不常见，且通常可以通过上诉或申诉等法律程序进行救济。
总结与建议：
庭审时，法官向当事人释明合同无效的法律后果，并不属于程序违法。这种行为有助于保障当事人的知情权、促进诉讼效率和符合程序公正要求。如果您在合同纠纷案件中遇到了类似的问题，或者对法官的释明行为有疑问，可以直接向我咨询，我将根据您的具体情况提供专业的法律意见。