A good machine code decompiler will perform type analysis.
좋은 기계어 코드 역컴파일러는 타입 분석을 수행한다.