3-주소 코드
각 명령어가 최대 3개의 주소(피연산자 2개, 결과 1개)를 가지는 중간 표현 방식이다. 복잡한 식을 단순한 단계로 쪼개어 데이터 흐름 분석을 용이하게 한다.
레거시 코드 분석의 혁명: LLM으로 불완전한 코드도 실행한다
"부족한 코드도 실행한다" RedDragon: LLM과 결정론적 분석의 결합