依据我国法律规定，犯罪分子在服刑期间如果有立功表现的，可以依法获得减刑。关于立功减刑的具体司法程序以及不得减刑假释的情形，下面进行详细解答。

一、立功减刑的司法程序

根据相关法律，犯罪分子若有立功表现，由服刑场所的监管部门向所在地的中级人民法院提出书面减刑建议。人民法院在收到建议后，将组织专业人员进行审理。若确认犯罪分子确有悔改或立功事实，法院将依法裁定减刑。这一流程严格遵循《中华人民共和国刑法》的相关规定，非经法定程序不得随意减刑。

二、不得减刑假释的情形

1. 不得假释的情形：

对于累犯以及因、爆炸、、、绑架等严重暴力犯罪被判十年以上有期徒刑或无期徒刑的罪犯，一般不得假释。但在特定情况下，如1997年9月30日之前犯罪，10月1日之后仍在服刑的罪犯，根据相关规定，仍可适用假释。

2. 不得减刑的情节：

一是针对被判处死刑缓期执行的累犯以及一些特定暴力性犯罪的犯罪分子，人民法院在判决时可以根据其犯罪情节和人身危险性等情况，决定对其限制减刑。二是关于被限制减刑的死缓犯罪分子实际执行的刑期规定：若缓期执行期满后被依法减为无期徒刑，其最低服刑时间不得少于25年；若被减为25年有期徒刑，最低服刑时间亦不得少于20年。

以上便是关于犯罪分子立功减刑的司法程序及不得减刑假释的情形的详细解答。如有更多法律疑问，欢迎咨询专业律师团队，如123律师网，我们将为您提供专业的法律支持。