설정이 잘못된 것 같거나 LLM 제공자를 활성화하기 전에 `/doctor`를 사용하세요:```text
!decomp /doctor
!decomp /doctor:net

일반적인 명령 경로는 로컬 분석을 수행하고, 분석기 사실을 구축하며, 선택적으로 구성된 LLM 엔드포인트를 호출하고, 복구된 증거에 대해 응답을 검증한 후, 의사 C 코드와 신뢰도, 경고 및 불확실성 메모를 출력합니다:```text
!decomp ntdll!RtlAllocateHeap
!decomp kernel32!Sleep
!decomp game.exe!CheckIntegrity

- `brief`는 대상, 신뢰도, 요약, 그리고 첫 번째 불확실성 또는 검증 경고를 출력합니다.
- `explain`은 증거, 제어 흐름, 타입 힌트, 관찰된 동작, 호출 대상 섹션을 추가합니다.
- `json`은 기계가 읽을 수 있는 요청 및 응답 JSON을 출력합니다.
- `facts`는 분석기 사실만 출력하고 LLM 경로를 비활성화합니다.
- `prompt`는 정확한 시스템 프롬프트, 사용자 프롬프트 및 프롬프트 사실을 출력합니다. LLM 호출을 비활성화합니다.
- `data`는 WinDbg JavaScript/NatVis 스타일 자동화에 사용하기 위한 안정적인 JSON 스냅샷을 출력합니다.
- `analyzer`는 LLM을 호출하지 않고 결정론적 분석기 전용 의사 코드 경로를 렌더링합니다.
- `plan`은 LLM을 호출하거나 결과 캐시를 업데이트하지 않고 로컬 분석을 수행하고 사전 점검 계획을 출력합니다. 대상/모듈/범위 개수, PDB 가용성, 세션 정책, 예상 청킹, 프롬프트 크기 관련 개수 및 실용적 권장 사항을 포함합니다.

명령이 멈춘 것처럼 보이거나 전체 진행 스트림을 보려면 `/verbose`를 사용하세요.```text
!decomp /verbose module!SlowFunction
!decomp /verbose /view:json module!SlowFunction

- `/view:window`는 대상에 대해 일반적인 `!decomp` 결과 경로를 실행하고, 전체 렌더링된 결과를 별도의 뷰어에서 엽니다.
- 뷰어는 콘솔 경로와 동일한 응답 렌더러를 사용한 후, 디버거 창이 발견될 경우 그 창이 소유하는 네이티브 Win32 모덜리스 도구 창을 엽니다.
- 디버거 출력은 네이티브 뷰어 창 핸들을 보고합니다. 뷰어 창을 생성할 수 없으면 명령이 경고를 출력하고 일반 콘솔 결과로 대체됩니다.
- DML 전용 링크는 뷰어에서 명령 문자열과 함께 텍스트 레이블로 렌더링됩니다. RichEdit을 사용할 수 있는 경우 창은 섹션 제목, 메타데이터 스타일링 및 의사 코드 강조를 포함한 GitHub 스타일의 RTF 레이아웃을 사용하며, 그렇지 않으면 일반 텍스트로 대체됩니다.
- 현재 세션에 이전에 캐시된 결과가 있는 경우 뷰어는 왼쪽에 기록 목록을 표시하여 분석을 다시 실행하지 않고도 현재 출력과 이전 디컴파일 결과 간에 전환할 수 있습니다.
- `/view:json`, `/view:facts`, `/view:prompt`, `/view:data`는 기계가 읽을 수 있는 콘솔 출력으로 유지되며 뷰어로 리디렉션되지 않습니다.```text
!decomp /limit:deep module!LargeFunction
!decomp /limit:huge module!VeryLargeFunction
!decomp /limit:12000 module!VeryLargeFunction
!decomp /timeout:120000 module!SlowFunction

- `/deobf:on`이 기본값입니다. 분석기는 여전히 원시 사실을 출력하지만, 높은 신뢰도의 OLLVM 스타일 디스패처 복구, 불투명한 데드 엣지 증명, 대체 관용구, 의미론적 CFG 오버레이가 프롬프트 사실, 병합 정책, 검증기 충돌 정책, 구조화된 의사 C 복구를 안내할 수 있습니다.
- `/deobf:off`는 `obfuscation`, `semantic_control_flow`, `deobfuscation_readiness` 사실을 계속 표시하지만, 재작성 안전 동작을 비활성화하고, 제어 흐름 구조화를 원시 CFG에 유지하며, 프롬프트/병합/검증기 경로가 원시 난독화된 형태를 보존하도록 지시합니다.
- 디스패처, 가짜 분기(bogus branch) 또는 대체 표면을 확장 프로그램에 요청하지 않고 직접 검사하려면 `/deobf:off`를 사용하세요.
- `/deobfuscation:on|off`는 더 긴 별칭으로 허용됩니다.

캐시 및 재생 도우미:```text
!decomp /view:json module!FunctionName
!decomp /last:json
!decomp /view:explain module!FunctionName
!decomp /last:explain
!decomp /view:facts module!FunctionName
!decomp /last:facts
!decomp /view:data module!FunctionName
!decomp /last:data
!decomp /view:prompt module!FunctionName
!decomp /last:prompt
!decomp /history
!decomp /refresh module!FunctionName
!decomp /last:2:explain
!decomp /last:2:json

- `/fix:noreturn:name`는 일치하는 호출을 리턴 불가로 처리하여 폴백 디스어셈블리, CFG 복구, ABI 정보 및 검증기 검사에 사용합니다.
- `/fix:type:expr=TYPE`는 신뢰도가 높은 사용자 타입 힌트를 추가합니다.
- `/fix:field:expr=TYPE`는 신뢰도가 높은 사용자 필드 힌트를 추가합니다.
- `/fix:rename:old=new`는 이름 변경 힌트를 추가하고 최종 의사 코드 식별자에 이름 변경을 적용합니다.
- `/fix:clear`는 세션에 유지되는 모든 수정 재정의를 지웁니다.

환경 변수 `DECOMP_NORETURN_OVERRIDES`는 계속 지원됩니다. 명령줄 `/fix:noreturn:` 값은 현재 WinDbg 세션의 원래 환경 값 위에 추가됩니다.

수정 스위치는 세션에 유지됩니다:

- `/fix:noreturn:`, `/fix:type:`, `/fix:field:`, `/fix:rename:`는 로드된 확장에 의해 기억되고 나중에 `!decomp` 실행 시 재사용됩니다.
- `/fix:clear`는 세션에 유지되는 모든 수정을 지우고 리턴 불가 환경 재정의를 확장 로드 시점의 원래 값으로 복원합니다.
- 레거시 `/noreturn:`, `/type:`, `/field:`, `/rename:`, `/clear-overrides`는 계속 지원됩니다.

형식이 잘못된 수정 값은 무시되고 캐시되지 않고 `uncertainties`에 보고됩니다. 예를 들어, `/fix:type:rcx`는 `expr=TYPE` 쌍을 포함하지 않으므로 무시됩니다.

권장 조사 워크플로:

1. `!decomp /view:facts target`로 시작하여 함수 범위, 블록, 호출, 임포트, PDB 데이터 및 세션 정보가 적절한지 확인합니다.
2. LLM 요청을 보내기 전에 `!decomp /view:plan target`을 사용하여 청킹, 프롬프트 크기, 시간 초과 위험 및 심볼 품질을 추정합니다.
3. 프롬프트 크기, 언어 또는 증거 선택이 잘못된 것 같으면 `!decomp /view:prompt target`을 사용합니다.
4. 완전히 검증된 의사 C 결과를 위해 `!decomp target`을 실행합니다.
5. 기존의 영구 아티팩트가 재생되고 있지만 새 분석이 필요할 때 `!decomp /refresh target`을 사용합니다.
6. 결과가 잘못된 것 같으면 `!decomp /view:explain target`을 실행하고 검증기 경고, 증거 범위 및 제안된 수정을 검사합니다.
7. `/fix:noreturn:`, `/fix:type:`, `/fix:field:`, `/fix:rename:` 등과 같은 집중된 수정을 추가하고 동일한 대상에 대해 다시 실행합니다.
8. 여러 최근 결과를 비교할 때 `/history` 및 인덱싱된 `/last:N:*` 재생을 사용합니다.
9. 버그를 제출하거나 빌드 간 동작을 비교할 때 `/view:json` 또는 `/last:json`을 사용합니다.

## 분석기 사실 표면

최근 분석기 사실은 의도적으로 `/view:json`, `/view:facts`, `/view:prompt` 및 일반 LLM 모드를 통해 전달됩니다. 먼저 검사할 가치가 있는 필드:

- `stack_pointer`는 명령어별 스택 델타, 프레임 상대 별칭 및 신뢰도를 기록합니다.
- `call_arguments`는 호출 사이트에서 복구된 레지스터 및 스택 인수를 기록하며, 증거가 충분히 강력한 경우 주변 크로스 블록 스택 저장소도 포함합니다.
- `pdb.prototype_parameters`는 구조화된 프로토타입 매개변수 이름, 타입, 순서, ABI 위치 및 소스 신뢰도를 기록합니다.
- `control_flow`는 루프 유도 변수, 초기값, 단계, 경계, 방향, 스위치 테이블 주소, 케이스 대상, 기본 대상, 범위 경계, 부호 및 복구된 인덱스 표현식을 포함합니다.
- `callee_summaries` 및 호출 대상 정보는 직접, 간접 및 가상 호출/가상 테이블 후보와 알려진 Win32/NT/Rtl 메모리, 할당, 해제 및 상태 의미를 포함합니다.
- `obfuscation`은 OLLVM 스타일 평탄화 디스패처 후보, 상태 변수, 복구된 의미론적 에지, 불투명 조건자 및 스칼라 대체 관용구를 노출합니다.
- `semantic_control_flow`는 난독화 정보에서 파생된 복구된 활성/비활성 에지를 노출하며, `/deobf:off`를 사용하는 경우에도 검사할 수 있습니다.
- `deobfuscation_readiness`는 `enabled`, 안전한 다시 쓰기 작업, 차단된 가정, 우선 순위 사실 경로, 개수 및 신뢰도를 노출합니다. 비활성화되면 정책 결정을 기록하고 난독화 해제된 제어 흐름 다시 쓰기를 차단합니다.
- 프롬프트 사실 선택은 먼저 높은 신호 항목을 선택한 다음 분포를 유지하기 위해 분산 샘플링을 사용하므로 큰 함수가 낮은 빈도의 증거를 모두 잃지 않습니다.

## 권장 dbgeng 설정

가장 빠른 방법은 헤더와 임포트 라이브러리를 프로젝트에 공급업체화하는 것입니다.
예상 공급업체 레이아웃:```text
third_party\dbgeng\inc\dbgeng.h
third_party\dbgeng\lib\dbgeng.lib

### 명시적 파일 경로에서 벤더 복사본 준비```powershell
powershell -ExecutionPolicy Bypass -File .\scripts\Prepare-DbgengVendor.ps1 `
    -HeaderPath 'C:\Program Files (x86)\Windows Kits\10\Debuggers\x64\sdk\inc\dbgeng.h' `
    -LibraryPath 'C:\Program Files (x86)\Windows Kits\10\Debuggers\x64\dbgeng.lib'

공급업체 복사본을 새로 고치거나 생성하세요:```powershell
powershell -ExecutionPolicy Bypass -File .\scripts\Prepare-ZydisVendor.ps1

## Build

권장 경로는 Visual Studio 개발자 PowerShell 또는 개발자 명령 프롬프트입니다.

빌드된 `decomp.dll`은 이제 `version.txt`에서 가져온 Windows 파일 버전을 포함합니다.

### Normal build```powershell
powershell -ExecutionPolicy Bypass -File .\scripts\Build.ps1 -Reconfigure

`decomp_snapshot_tests`는 복구된 스택 인수, SIMD/FP ABI 입력, 벡터 제로 관용구 억제, 루프 귀납 선호도, 스위치 메타데이터, 가상 호출 메타데이터, OLLVM 스타일 난독화 사실, `/deobf:off` 정책, 알려진 API 요약, 프롬프트 사실 선택, 및 검증기 기반 검사에 대한 분석기/프로토콜/검증기 계약을 다룹니다.

### 레거시 dbgeng 빌드```powershell
powershell -ExecutionPolicy Bypass -File .\scripts\Build-Legacy.ps1 -Reconfigure

이 스크립트는 `version.txt`의 마지막 구성 요소를 `1`만큼 증가시키고, 재구성을 강제한 후 Release DLL을 빌드합니다. 예를 들어, `1.0.0.7`이 `1.0.0.8`이 됩니다.

### 일반 옵션

- `-Configuration Release|Debug`
- `-Clean`
- `-Reconfigure`
- `-ConfigureOnly`
- `-Verbose`
- `-ZydisSource Auto|Vendor|Fetch`
- `-ZydisVendorDir 'C:\path\to\zydis'`
- `-DebuggersRoot 'C:\Program Files (x86)\Windows Kits\10\Debuggers\x64'`
- `-DbgengIncludeDir 'E:\works\windbg_llm_decomp_2\windbg_llm_decomp\third_party\dbgeng\inc'`
- `-DbgengLibrary 'E:\works\windbg_llm_decomp_2\windbg_llm_decomp\third_party\dbgeng\lib\dbgeng.lib'`

### 공급업체 우선 예제```powershell
powershell -ExecutionPolicy Bypass -File .\scripts\Build.ps1 `
    -Configuration Release `
    -ZydisSource Vendor `
    -Reconfigure `
    -Verbose

빌드 스크립트는 자동으로 다음을 찾으려고 시도합니다:

- `cmake.exe`를 PATH, 독립형 CMake 또는 Visual Studio 번들 CMake에서 찾습니다
- 프로젝트 루트 아래의 `third_party\dbgeng`
- 환경 변수 또는 일반적인 Windows Kits 위치에서 `DEBUGGERS_ROOT`

Zydis 소스 선택은 다음과 같이 작동합니다:

- `Auto`: `third_party\zydis`를 선호하며, 그렇지 않으면 구성 중 `Zydis`를 가져옵니다
- `Vendor`: 사용 가능한 `third_party\zydis` 트리 또는 `-ZydisVendorDir`로 전달된 경로가 필요합니다
- `Fetch`: 벤더 트리를 무시하고 항상 CMake가 `Zydis`를 다운로드하도록 합니다

`DEBUGGERS_ROOT`는 다음 레이아웃 중 하나를 사용하는 디버거 루트를 가리킬 수 있습니다:

- `sdk\inc\dbgeng.h` and `sdk\lib\dbgeng.lib`
- `sdk\inc\dbgeng.h` and `sdk\lib\amd64\dbgeng.lib`
- `sdk\inc\dbgeng.h` and `sdk\lib\x64\dbgeng.lib`
- `sdk\inc\dbgeng.h` and `dbgeng.lib`
- `inc\dbgeng.h` and `lib\dbgeng.lib`
- `inc\dbgeng.h` and `lib\amd64\dbgeng.lib`
- `inc\dbgeng.h` and `lib\x64\dbgeng.lib`
- `dbgeng.h` and `dbgeng.lib`

설치가 해당 레이아웃과 일치하지 않으면 CMake 경로를 직접 전달하십시오:```powershell
cmake -S . -B build-manual -G "Visual Studio 17 2022" -A x64 `
    -DDBGENG_INCLUDE_DIR='E:\works\windbg_llm_decomp_2\windbg_llm_decomp\third_party\dbgeng\inc' `
    -DDBGENG_LIBRARY='E:\works\windbg_llm_decomp_2\windbg_llm_decomp\third_party\dbgeng\lib\dbgeng.lib'
cmake --build build-manual --config Release

ChatGPT 구독 예시:```json
{
  "provider": "chatgpt",
  "model": "gpt-5.5",
  "chatgpt_auth_file": "%USERPROFILE%\\.codex\\auth.json",
  "timeout_ms": 120000,
  "max_completion_tokens": 12000,
  "force_chunked": false,
  "chunk_trigger_instructions": 900,
  "chunk_trigger_blocks": 36,
  "chunk_block_limit": 24,
  "chunk_count_limit": 16,
  "chunk_completion_tokens": 6000,
  "merge_completion_tokens": 12000,
  "reasoning_effort": "medium"
}

강제 영어:```json
{
  "display_language": {
    "mode": "fixed",
    "tag": "en-US",
    "name": "English"
  }
}

다크 구문 강조 프리셋:```json
{
  "syntax_highlighting": {
    "keyword_color": "warnfg",
    "type_color": "emphfg",
    "function_name_color": "srcid",
    "identifier_color": "wfg",
    "number_color": "changed",
    "string_color": "verbfg",
    "char_color": "srcchar",
    "comment_color": "subfg",
    "preprocessor_color": "normfg",
    "operator_color": "srcannot",
    "punctuation_color": "srcpair"
  }
}

`/view:json` 응답 세부 정보 예시:

- JSON 응답에는 `pseudo_c` 및 `pseudo_c_tokens`가 포함됩니다.
- `pseudo_c_tokens`는 결정론적 토큰 스트림으로, 외부 구문 강조에 적합합니다.
- 직렬화된 요청에는 `preferred_natural_language_tag` 및 `preferred_natural_language_name`이 포함되며, 이는 `display_language.mode`를 적용한 후 해결된 표시 언어를 반영합니다.
- 분석기 사실에는 이제 P0 품질 필드가 포함됩니다:
  `ir_values`, `block_value_states`, `control_flow`, `abi`.
- `ir_values`는 SSA와 유사한 값 ID, 정의 사이트, 대상, 정식 표현, 사용 링크, 상수/복사 플래그 및 죽은 정의 힌트를 노출합니다.
- `block_value_states`는 기본 블록별 라이브-인/라이브-아웃 도달 정의, 정식 값, 저장소 클래스, 수렴 상태 및 신뢰도를 노출합니다.
- `stack_pointer`는 명령별 스택 델타, 프레임 상대 별칭, 원시 기준/오프셋 및 신뢰도를 노출합니다.
- `control_flow`는 `natural_loop`, `if_else_candidate`, `switch_candidate`와 같은 구조적 영역 후보를 블록 증거, 루프 유도 메타데이터, 스위치 테이블/기본값/범위 메타데이터, 부호, 인덱스 표현식 및 신뢰도와 함께 노출합니다.
- `abi`는 Microsoft x64 섀도 스페이스 가정, 홈-슬롯 증거, 프레임/프롤로그/에필로그 인식, 노-리턴 호출 증거, 테일 콜 후보, 썽크 후보, 임포트 래퍼 후보, 레지스터 및 스택 저장소에서 복구된 호출 인수를 노출합니다.
- 분석기 사실에는 이제 P1 의미 필드도 포함됩니다:
  `type_hints`, `idioms`, `callee_summaries`.
- `type_hints`는 포인터, 로컬, 필드 오프셋, 배열형, 열거형, 비트 플래그형, vtable 후보 증거를 소스 및 신뢰도와 함께 노출합니다. PDB 데이터를 사용할 수 있는 경우, 범위가 지정된 매개변수/로컬 변수, 필드 힌트 및 열거 상수도 이 통합 타입 힌트 스트림으로 승격됩니다.
- `idioms`는 인식된 도우미 호출 및 컴파일러 패턴(메모리 복사/채우기, 문자열 복사, 보안 쿠키 검사, 스택 프로브, 할당/해제 도우미, 집계 초기화 프로그램, RIP-상대 전역/임포트 로드 등)에 대한 상위 수준 대체를 노출합니다.
- `callee_summaries`는 직접 및 간접 호출 대상의 반환 유형, 매개변수 모델, 부작용, 메모리 효과, 소유권, 소스 및 신뢰도 힌트를 노출합니다. WinDbg가 해결할 수 있는 경우 기호/유형이 보강된 호출 대상이 초기 휴리스틱 요약을 대체하며, 가상 호출 후보는 복구된 경우 대상 표현식 및 vtable 오프셋을 포함합니다.
- 알려진 Win32/NT/Rtl API 요약은 기호 이름을 사용할 수 있을 때 메모리 복사/채우기/제로, 할당, 해제, 상태 및 오류 동작을 설명합니다.
- 프롬프트 사실에는 `analyzer_skeleton` 및 `graph_summary`가 포함되어 모델이 빈 페이지에서 시작하는 대신 증거 기반 초안을 정제할 수 있도록 합니다.
- `graph_summary`는 진입 블록, 제어 흐름 영역, 정규화된 조건, 대표적인 고신호 블록을 명시적 잘림 정책과 함께 제공합니다. 프롬프트 사실 선택은 이제 고신호 항목을 순위화하고 스프레드 샘플링을 사용하여 큰 사실 세트를 대표성 있게 유지합니다.
- `evidence_graph`는 고신호 사실 노드와 출처 가장자리를 노출하여 IR 값, 블록 값 상태, 메모리 액세스, 호출 대상, 타입 힌트, PDB 힌트 및 관찰된 동작을 명령어 및 블록 증거로 추적할 수 있도록 합니다.
- `obfuscation`, `semantic_control_flow`, `deobfuscation_readiness`는 OLLVM 스타일 복구 사실과 현재 명령에 대해 역난독화 재작성 안내가 활성화되었는지 여부를 노출합니다.
- 검증기 응답에는 레거시 `warnings` 외에도 구조화된 `issues` 항목이 포함됩니다. 각 이슈는 `severity`, `code`, `message` 및 선택적 `evidence`를 전달하므로 도구가 `branch.true_target_not_successor`와 같은 오류를 위험도가 낮은 경고와 별도로 필터링할 수 있습니다.
- 검증기 검사는 이제 정규화된 분기 true/false 대상을 CFG 후속과 비교하고, 수도 코드 분기 밀도를 복구된 조건부 분기와 비교하며, 직접 호출 대상 요약을 수도 코드 호출 효과와 교차 확인하고, 증거 그래프 노드/가장자리 근거를 검증하며, 블록 값 상태 참조를 복구된 블록 및 IR 값으로 다시 확인합니다.
- 일반 및 설명 출력에는 간결한 `suggested fixes` 섹션이 포함될 수 있습니다. 이는 검증기 이슈, PDB 기반 이름 변경 기회 또는 반복 관찰된 메모리 핫스팟에서 파생된 보수적인 `/fix:*` 명령입니다. DML 인식 출력은 동일한 대상에 대해 즉시 적용 가능한 제안을 클릭 가능한 재실행 링크로 렌더링합니다. `TYPE`이 대체될 때까지 자리 표시자 필드 유형 제안은 일반 텍스트로 유지됩니다.
- LLM 모드에서 확장 프로그램은 자동으로 검증기 이슈를 하나의 재시도 프롬프트로 공급합니다. 검증기 품질을 유지하거나 개선하는 경우 재시도가 유지되고, 그렇지 않으면 불확실성 메모가 추가된 원래 응답이 보존됩니다.
- `session_policy` 및 `observed_behavior`는 라이브/덤프/커널/TTD 유사 정책, 현재 프레임 레지스터 인수 샘플, 메모리 핫스팟 및 제안된 추적 쿼리와 같은 WinDbg별 컨텍스트를 노출합니다.
- 직렬화된 요청에는 이제 기호/유형 데이터를 사용할 수 있을 때 `pdb` 개체도 포함됩니다.
- `pdb.availability`는 `none`, `symbols`, `typed` 또는 `scoped`와 같은 보강 수준을 보고합니다.
- `pdb.params`, `pdb.locals`, `pdb.field_hints`, `pdb.enum_hints`, `pdb.source_locations`는 외부 도구 또는 오프라인 분석을 위한 기계 판독 가능 의미 힌트로 사용됩니다.

선택적 환경 재정의:

- `DECOMP_LLM_PROVIDER`
- `DECOMP_LLM_ENDPOINT`
- `DECOMP_LLM_MODEL`
- `DECOMP_LLM_API_KEY`
- `OPENAI_API_KEY`
- `DECOMP_LLM_CHATGPT_ACCESS_TOKEN`
- `DECOMP_LLM_CODEX_ACCESS_TOKEN`
- `KERNFORGE_CODEX_ACCESS_TOKEN`
- `DECOMP_LLM_CHATGPT_AUTH_FILE`
- `DECOMP_LLM_CODEX_AUTH_FILE`
- `KERNFORGE_CODEX_AUTH_FILE`
- `DECOMP_LLM_REASONING_EFFORT`
- `DECOMP_LLM_TIMEOUT_MS`
- `DECOMP_LLM_MAX_COMPLETION_TOKENS`
- `DECOMP_LLM_FORCE_CHUNKED`
- `DECOMP_LLM_CHUNK_TRIGGER_INSTRUCTIONS`
- `DECOMP_LLM_CHUNK_TRIGGER_BLOCKS`
- `DECOMP_LLM_CHUNK_BLOCK_LIMIT`
- `DECOMP_LLM_CHUNK_COUNT_LIMIT`
- `DECOMP_LLM_CHUNK_COMPLETION_TOKENS`
- `DECOMP_LLM_MERGE_COMPLETION_TOKENS`
- `DECOMP_NORETURN_OVERRIDES`
  쉼표 또는 세미콜론으로 구분된 함수 이름 조각으로, 폴백 디스어셈블리, CFG 후속 복구, ABI 사실 및 검증기 검사 중에 노-리턴 대상으로 처리됩니다. 예: `DECOMP_NORETURN_OVERRIDES=MyAbort;PanicAndExit`.

품질 우선 참고:

- 이제 확장 프로그램은 큰 함수에 대한 청크 분할 다중 패스 분석을 지원합니다.
- 분석기는 정제 전에 IR 값 사실, 블록 값 상태, 제어 흐름 영역, 증거 그래프 사실 및 x64 ABI/노-리턴 증거를 LLM에 보내므로 `/view:analyzer`, `/view:json` 및 일반 LLM 모드가 모두 동일한 P0 증거 기반을 공유합니다.
- 검증기는 루프, 스위치, 노-리턴, 분기 대상, 반환 동작, 호출자 호출 효과, 증거 그래프 근거, 블록 값 상태 일관성, 증거 범위 및 의심스러운 식별자 주장을 분석기 증거와 교차 확인합니다. 확신에 찬 산문이 복구된 사실보다 앞설 때 신뢰도를 낮추고 각 이슈에 안정적인 심각도/코드 쌍을 레이블링합니다.
- 검증기 피드백이 스키마 오류, 사실 충돌 또는 매우 낮은 조정 신뢰도를 발견하면 LLM 경로는 검증기 이슈를 프롬프트에 추가하여 자동으로 한 번 재시도합니다.
- 클라우드 모델의 좋은 시작점은 `max_completion_tokens=12000`, `chunk_completion_tokens=6000`, `merge_completion_tokens=12000`이며, `force_chunked=false` 및 청크 트리거는 약 `900 instructions` 또는 `36 blocks`입니다.
- 청크 파이프라인 스트레스 테스트에만 `force_chunked=true`를 유지하십시오. 평탄화되거나 디스패처가 많은 함수의 품질 중심 역컴파일은 일반적으로 함수가 구성된 청크 트리거를 초과할 만큼 커질 때까지 단일 프롬프트가 필요합니다.
- 클라우드 모델의 경우 `timeout_ms`를 높게 유지하십시오. `120000`이 `15000`보다 안전한 시작점입니다.
- 거대한 함수에서 품질이 여전히 낮으면 `/limit:N`을 줄이기 전에 `chunk_count_limit`를 높이십시오.
- 엔드포인트가 구성되지 않으면 확장 프로그램은 결정론적 모의 공급자로 대체됩니다.
- 확장 프로그램이 `/view:analyzer` 또는 모의 공급자를 사용 중이더라도 `display_language` 및 `syntax_highlighting`은 여전히 사용자에게 보이는 내용에 영향을 미칩니다.

## WinDbg Smoke Test

1. `Build.ps1` 또는 `Build-Legacy.ps1`로 빌드합니다.
2. 빌드된 `decomp.dll` 옆에 `decomp.llm.json`을 배치합니다.
3. WinDbg를 시작합니다. 환경 변수는 선택적 재정의일 뿐입니다.
4. 확장 프로그램을 로드합니다.
5. LLM 경로를 활성화하기 전에 분석기 전용 모드의 유효성을 검증합니다.```text
.load C:\path\to\decomp.dll
!decomp /view:analyzer ntdll!RtlAllocateHeap
!decomp /view:facts kernel32!Sleep

예상 확인 사항:

- `target`, `entry`, `module`이 일관되게 해석되어야 함
- 일반 함수의 경우 `regions`가 0이 아니어야 함
- `/view:analyzer`는 여전히 분석기 신뢰도 및 의사 코드 스텁을 출력해야 함
- LLM 모드는 `summary`, `pseudo_c`, `pseudo_c_tokens`, `verified`를 채워야 함
- `/view:json` 출력은 직렬화된 요청에 `preferred_natural_language_tag`와 `preferred_natural_language_name`을 포함해야 함
- 비공개 또는 리치 PDB가 로드된 경우 `/view:json`은 `pdb.prototype`, `pdb.params`, 그리고 가능하면 `pdb.locals`도 포함해야 함
- 타입화된 구조체와 열거형의 경우 `/view:json`은 `pdb.field_hints`와 `pdb.enum_hints`를 포함할 수 있음

## ChatGPT 구독 예제```powershell
$env:DECOMP_LLM_PROVIDER = "chatgpt"
$env:DECOMP_LLM_MODEL = "gpt-5.5"
$env:DECOMP_LLM_CHATGPT_AUTH_FILE = "$env:USERPROFILE\.codex\auth.json"
$env:DECOMP_LLM_TIMEOUT_MS = "120000"

### LM Studio```powershell
$env:DECOMP_LLM_ENDPOINT = "http://127.0.0.1:1234/v1/chat/completions"
$env:DECOMP_LLM_MODEL = "local-model"
$env:DECOMP_LLM_API_KEY = "lm-studio"