결정론적 분석
동일한 입력에 대해 항상 동일하고 예측 가능한 결과를 내놓는 분석 방식이다. AI의 확률적 특성을 보완하여 코드의 의존성과 구조를 수학적으로 정확하게 파악하는 데 사용된다.