심볼릭 값
구체적인 데이터 대신 변수나 식의 추상적인 의미를 나타내는 값이다. RedDragon에서는 의존성이 누락되어 실제 값을 알 수 없을 때 이를 사용하며, 필요시 LLM이 구체화한다.
레거시 코드 분석의 혁명: LLM으로 불완전한 코드도 실행한다