단계 S230에서는 대상 바이너리(10)의 코드 영역 또는 사용자 함수에서 정의된 지역 변수들이 식별되고, 상기 변수들에 대한 변수 타입이 추론된다.
In step S230, local variables defined in the code area or user function of the target binary 10 are identified, and variable types for the variables are inferred.