CEI 패턴
Checks(조건 확인), Effects(상태 변경), Interactions(외부 호출) 순서로 코드를 작성하는 보안 설계 원칙이다. 외부 계약과의 상호작용을 가장 마지막에 배치함으로써 재진입 공격과 같은 취약점을 원천적으로 차단하는 효과가 있다.