阅读下列案例材料，然后回答问题。
被告人张某，因犯盗窃罪被某县人民法院判处有期徒刑12年。被告人张某不服，以一审严重违反诉讼程序和量刑过重为由提起上诉。县人民检察院也认为量刑畸重，但未提起抗诉。第二审法院经过审理，认为一审的确严重违反诉讼程序，但是考虑到原判决量刑恰当，故裁定驳回上诉，维持原判。二审裁定生效后，被告人张某仍然不服，继续向人民检察院申诉，该县人民检察院受理审查后，认为申诉有理，遂向原一审人民法院提起抗诉。
问：本案诉讼程序是否有违法情形?若有，请指出并简要说明理由。
本案诉讼程序存在以下三方面的违法情形：
（1）县人民检察院也认为量刑畸重但未提起抗诉不当。人民检察院有保障法律客观公正实施的责任，既要注意打击犯罪，也要注意防止对犯罪人的不当惩罚，如其认为人民法院量刑不当的，应当依法提起抗诉。
（2）第二审法院认为一审的确严重违反诉讼程序但仍然维持原判不当。根据刑事诉讼法的规定，第二审法院如发现一审存在严重违反诉讼程序的情形，应当裁定撤销原判，发回重审。
（3）该县人民检察院认为申诉有理向原一审人民法院提起抗诉不当。本案是生效判决，该县人民检察院无权直接抗诉。
