RedDragon: 불완전한 코드 실행을 위한 LLM 기반 인프라 및 가상 머신

섹션별 상세

RedDragon은 15개 언어에 대해 Tree-sitter 기반의 결정론적 프론트엔드를 제공하며, 구문 오류 발생 시 LLM이 파손된 조각만 수정하여 재파싱하는 보정 루프를 지원한다.

python

def factorial(n):
    if n < 2:
        return 1
    return n * factorial(n - 1)

RedDragon이 분석 및 실행할 수 있는 표준 Python 팩토리얼 함수 예시

bash

poetry run python interpreter.py myfile.py -f llm -v

LLM 프론트엔드 모드를 활성화하여 상세 로그와 함께 파일을 실행하는 CLI 명령어

모든 소스 코드는 31개의 연산코드를 가진 3-주소 코드(Three-address code) 형태의 범용 IR로 평탄화되어 저장되며, 소스 위치 추적 기능을 통해 원본 코드와의 연결성을 유지한다.

VM은 상속, 메서드 오버로딩, 속성 접근자 등 고도화된 객체 지향 기능을 실행하며, 미해결된 외부 호출을 만날 경우 LLM 오라클이 그럴듯한 상태 변화를 생성하여 실행 중단을 방지한다.

python

from interpreter import lower_source, run

source = """
def add(a, b):
    return a + b
"""

ir = lower_source(source, lang="python")
result = run(ir, inputs={"a": 10, "b": 5})

RedDragon의 프로그래밍 방식 API를 사용하여 소스를 IR로 변환하고 실행하는 예시

타입 시스템은 프론트엔드 추출, 정적 추론, 런타임 강제 변환의 3단계로 구성되며, 고정점 알고리즘을 사용하여 제네릭과 인터페이스 계층을 포함한 복잡한 타입 전파를 수행한다.

Rev-Eng TUI와 시각화 도구를 통해 소스 코드, AST, IR, CFG, VM 상태를 실시간으로 동기화하여 확인하며 단계별 실행 재현 및 데이터 흐름 분석 결과를 추적할 수 있다.

용어 해설

트리 시터(Tree-sitter): — 다양한 프로그래밍 언어의 소스 코드를 구문 트리로 변환하는 증분 파싱 라이브러리이다. RedDragon에서는 15개 언어의 소스를 결정론적으로 파싱하여 중간 표현으로 변환하는 핵심 프론트엔드 도구로 사용된다.
중간 표현(Intermediate Representation): — 소스 코드를 실행하거나 최적화하기 위해 컴파일러 내부에서 사용하는 추상적인 코드 형태이다. RedDragon은 모든 언어를 31개의 연산코드로 구성된 공통 IR로 변환하여 언어에 무관한 분석을 가능하게 한다.
3-주소 코드(Three-Address Code): — 각 명령어가 최대 3개의 피연산자를 가지는 중간 표현의 한 형식이다. 복잡한 수식을 단순한 연산 단위로 쪼개어 표현하므로 제어 흐름 분석과 데이터 흐름 분석을 수행하기에 매우 적합한 구조를 가진다.
제어 흐름 그래프(Control Flow Graph): — 프로그램 실행 중 발생할 수 있는 모든 경로를 노드와 간선으로 나타낸 그래프이다. 조건문이나 루프에 의한 실행 흐름을 시각화하고 분석하여 프로그램의 논리적 구조를 파악하는 데 필수적이다.
데이터 흐름 분석(Data Flow Analysis): — 프로그램 내에서 변수의 값이 어떻게 정의되고 사용되는지 추적하는 기법이다. RedDragon은 이를 통해 변수 간의 의존성 그래프를 구축하고 도달 가능한 정의를 계산하여 코드의 의미론적 분석을 수행한다.

기술

Python
Tree-sitter
Claude API
OpenAI API
LiteLLM
ProLeap (COBOL)

활용 사례

불완전한 코드 실행
다국어 데이터 흐름 분석
코드 에이전트 인프라
레거시 코드 리버스 엔지니어링

언급된 리소스

GitHubRedDragon GitHub Repository

문서VM Design Document

문서Type System Design Document

섹션별 상세

python

def factorial(n):
    if n < 2:
        return 1
    return n * factorial(n - 1)

RedDragon이 분석 및 실행할 수 있는 표준 Python 팩토리얼 함수 예시

bash

poetry run python interpreter.py myfile.py -f llm -v

LLM 프론트엔드 모드를 활성화하여 상세 로그와 함께 파일을 실행하는 CLI 명령어

python

from interpreter import lower_source, run

source = """
def add(a, b):
    return a + b
"""

ir = lower_source(source, lang="python")
result = run(ir, inputs={"a": 10, "b": 5})

RedDragon의 프로그래밍 방식 API를 사용하여 소스를 IR로 변환하고 실행하는 예시

용어 해설

트리 시터(Tree-sitter): — 다양한 프로그래밍 언어의 소스 코드를 구문 트리로 변환하는 증분 파싱 라이브러리이다. RedDragon에서는 15개 언어의 소스를 결정론적으로 파싱하여 중간 표현으로 변환하는 핵심 프론트엔드 도구로 사용된다.
중간 표현(Intermediate Representation): — 소스 코드를 실행하거나 최적화하기 위해 컴파일러 내부에서 사용하는 추상적인 코드 형태이다. RedDragon은 모든 언어를 31개의 연산코드로 구성된 공통 IR로 변환하여 언어에 무관한 분석을 가능하게 한다.
3-주소 코드(Three-Address Code): — 각 명령어가 최대 3개의 피연산자를 가지는 중간 표현의 한 형식이다. 복잡한 수식을 단순한 연산 단위로 쪼개어 표현하므로 제어 흐름 분석과 데이터 흐름 분석을 수행하기에 매우 적합한 구조를 가진다.
제어 흐름 그래프(Control Flow Graph): — 프로그램 실행 중 발생할 수 있는 모든 경로를 노드와 간선으로 나타낸 그래프이다. 조건문이나 루프에 의한 실행 흐름을 시각화하고 분석하여 프로그램의 논리적 구조를 파악하는 데 필수적이다.
데이터 흐름 분석(Data Flow Analysis): — 프로그램 내에서 변수의 값이 어떻게 정의되고 사용되는지 추적하는 기법이다. RedDragon은 이를 통해 변수 간의 의존성 그래프를 구축하고 도달 가능한 정의를 계산하여 코드의 의미론적 분석을 수행한다.

기술

Python
Tree-sitter
Claude API
OpenAI API
LiteLLM
ProLeap (COBOL)

활용 사례

불완전한 코드 실행
다국어 데이터 흐름 분석
코드 에이전트 인프라
레거시 코드 리버스 엔지니어링

언급된 리소스

GitHubRedDragon GitHub Repository

문서VM Design Document

문서Type System Design Document

RedDragon: 불완전한 코드 실행을 위한 LLM 기반 인프라 및 가상 머신

섹션별 상세

용어 해설

기술

활용 사례

언급된 리소스

RedDragon: 불완전한 코드 실행을 위한 LLM 기반 인프라 및 가상 머신

섹션별 상세

용어 해설

기술

활용 사례

언급된 리소스

관련 토론

댓글

관련 기사

Iron Lint: 코드 작성 시 동작하는 쓰기 시 정적 검사 도구

관련 토론

댓글

관련 기사

Iron Lint: 코드 작성 시 동작하는 쓰기 시 정적 검사 도구