심볼릭 실행
프로그램을 구체적인 값 대신 기호(symbol)를 사용하여 실행함으로써 가능한 모든 실행 경로를 탐색하는 정적 분석 기법이다. 보안 취약점이나 논리 오류를 찾는 데 사용되며, 모든 경로를 수학적으로 검증할 수 있어 신뢰성이 높다.