형사소송법은 국가형벌권의 행사 절차인 형사절차를 규율하는 법이다. 실질적 의미의 형사소송법은 「법원조직법」 등을 포함하나 형식적 의미의 형사소송법은 법률로서의 「형사소송법」을 의미한다. 법률로서 「형사소송법」은 공판절차 외에 수사절차, 형집행절차도 규율한다. 소송절차에 있어서는 당사자주의에 직권주의를 가미한 절충적 소송구조를 취하고 있다.

형집행정지처분은 사형 및 자유형의 집행 중 일정한 사유가 발생 시 형집행을 정지하는 처분이다. 형집행의 취지를 이해할 수 없는 자에 대한 집행을 정지하는 등 형집행의 적절성을 도모하기 위함이다. 사형의 집행정지는 「형사소송법」 제469조가, 자유형의 집행정지는 「형사소송법」 제470, 471조가 규정한다. 2015년 형집행 정지에 대한 투명성 제고를 위하여 형집행정지심의위원회가 도입되었다. 형집행의 적절성을 도모하기 위한 제도지만 남용 가능성이 있어 신중한 운용이 필요하다.