assert
어설션은 해제될 수 있기 때문에 이러한 부수효과가 항상 발생하지는 않으며 이는 미묘한 버그를 일으킬 수 있습니다. 이 검사에서 흔히 탐지되는 바람직하지 않은 부수 효과는 변수 및 필드의 변경입니다. 메서드 호출이 포함된 경우 1단계 깊이 분석됩니다.
예:
assert i++ < 10;