9.2 추상 구문 트리(AST, Abstract Syntax Tree) 기반의 구조적 적합성 검증

거대 언어 모델(LLM)이 생성한 코드를 평가하는 가장 원시적인 방식은 문자열 매칭(String Matching)이나 텍스트 자체의 포함 여부를 검사하는 것이다. 그러나 코드는 단순한 문자열의 나열이 아니라 컴퓨터 트랜잭션을 지시하는 고도의 계층적 논리 구조다. 따라서 코드 생성 AI의 결과물을 결정론적으로 검증하기 위한 첫 번째 오라클(Oracle) 계층은, 생성된 코드를 **추상 구문 트리(AST, Abstract Syntax Tree)**로 파싱(Parsing)하여 그 논리적 뼈대가 요구사항을 충족하는지 수리적으로 증명하는 데서 시작된다.

본 단원에서는 텍스트의 불확실성을 구조의 확정성으로 변환하는 AST 기반 검증 아키텍처의 원리와, 이를 실무 파이프라인에 적용하는 전략을 상세히 해부한다.

1. 텍스트 검증의 한계와 AST 파싱의 필요성

“비밀번호를 암호화하기 위해 bcrypt 라이브러리의 hashpw 함수를 사용하라“는 프롬프트를 AI에게 주입했다고 가정해 보자.

문자열 기반 오라클의 실패: 오라클이 코드 내에 단순 bcrypt 문자열이 포함되어 있는지만 검사("bcrypt" in code)한다면, AI가 주석(// use bcrypt later)으로만 적어놓고 실제로는 평문을 저장하는 치명적 런타임 오류나 보안 결함을 통과시키는(False Positive) 결과를 초래한다.
AST 기반 오라클의 확정성: 반면 코드를 AST로 파싱하면, 소스 코드는 변수 선언(Variable Declaration), 함수 호출(Function Call), 제어 흐름(Control Flow) 노드 등으로 구성된 논리적 트리 데이터 구조로 치환된다. 오라클은 트리를 순회(Traverse)하며 ImportDeclaration 노드에 bcrypt가 존재하는지, CallExpression 노드의 대상 함수가 hashpw 인지를 $O(N)$ 연산만으로 100% 확정적으로(Deterministically) 검증해 낼 수 있다.

2. AST 오라클 검증 파이프라인 설계

코드 빌드 단계(Build Phase)에 삽입되는 AST 오라클 시스템은 다음과 같은 파이프라인으로 구성된다.

토큰화 및 구문 분석 (Lexical & Syntax Analysis): AST 파서(예: Python의 ast 모듈, JavaScript의 Esprima 또는 SWC, Java의 JavaParser)를 통해 AI가 생성한 생(Raw) 코드를 트리 구조(JSON 형태)로 변환한다. 만약 이 파싱 과정에서 컴파일 에러(Syntax Error)가 치명적으로 발생하면, 오라클은 즉시 0점(Fail)을 반환하고 AI에게 에러 스택을 되돌려준다.
필수 노드 검증 (Required Node Validation): 사전에 정의된 ’골든 스키마(Golden Schema)’에 입각하여 트리를 검색한다. 특정 데코레이터(Decorator)가 선언되었는지, 클래스가 특정 인터페이스(Interface)를 상속(Extends)받았는지 트리 노드의 메타데이터를 비교하여 단언(Assert) 검증 단계를 거친다.
금지 노드 차단 (Banned Node Blocking): 개발자가 원하지 않는 파괴적 로직(예: 데이터베이스 스키마를 떨어뜨리는 DROP 쿼리 생성, eval() 함수의 사용 등)을 원천 차단하기 위해, 특정 노드가 트리에 감지되는 순간 즉시 파이프라인을 셧다운하는 방어적 오라클을 동작시킨다.

graph TD
    A[AI Generated Source Code] --> B{AST Parser}
    B -->|Syntax Error| C[Immediate Fail & Feedback]
    B -->|Valid Structure| D[Abstract Syntax Tree Data]
    D --> E{Oracle Evaluation Engine}
    E -->|Check Required Nodes| F[Verify Imports/Inheritance]
    E -->|Check Disallowed Nodes| G[Block eval/unsafe calls]
    F & G --> H{All Trees Valid?}
    H -->|Yes| I[Proceed to Type Checker / Unit Test]
    H -->|No| J[Trigger Auto-correction Loop]

3. AI 코드의 자가 치유(Self-Healing)를 위한 구조적 메타 피드백

AST 기반 오라클이 지닌 가장 강력한 이점은 에러가 발생했을 때 AI에게 던져줄 수 있는 **피드백의 해상도(Resolution)**가 압도적으로 높다는 점이다.

단순히 “실행 환경에서 에러가 발생했다“라고 에러 로그(Stderr)를 날려주는 것에 비해, AST 오라클은 “요구사항 명세에 정의된 BaseController 상속 노드가 UserController 클래스의 AST 선언 부에 누락되었다. 트리에 다시 반영하라“는 기계적이고 명확한 메타 프롬프트(Meta-prompt) 에러 객체를 생성할 수 있다.

이와 같은 정밀한 트리 구조 피드백을 수신한 대형 언어 모델(LLM)은 환각에 빠지지 않고 자신이 무엇을 누락했는지 논리적으로 인지하여 재작성(Rewrite)을 수행한다. 결국, AST 오라클은 비결정적 코딩 엔진을 통제력 높은 결정론적 생산 파이프라인 안으로 포섭하는 가장 훌륭한 나침반 역할을 수행한다.