--- id: [[P-Reinforce|P-Reinforce]]-AST-TRAVERSAL category: Dev confidence_score: 0.99 tags: [AST, Abstract Syntax Tree, Traversal, Visitor Pattern, Static [[Analysis|Analysis]]] last_reinforced: 2026-04-20 --- # [[Abstract-Syntax-Tree-Traversal|Abstract-Syntax-Tree-Traversal]] (AST 순회) ## πŸ“Œ ν•œ 쀄 톡찰 (The Karpathy Summary) > "μ–Έμ–΄μ˜ μˆ²μ„ μ—¬ν–‰ν•˜λŠ” 지도 μ œμž‘μž." μ½”λ“œμ˜ λ‚˜λ¬΄(AST)λ₯Ό λΏŒλ¦¬λΆ€ν„° μžŽμƒˆκΉŒμ§€ νƒν—˜ν•˜λ©°, νŠΉμ • νŒ¨ν„΄(예: λ³€μˆ˜ μ„ μ–Έ, ν•¨μˆ˜ 호좜)을 μ°Ύμ•„λ‚΄ λΆ„μ„ν•˜κ³  μˆ˜μ§‘ν•˜λŠ” ν–‰μœ„λ‹€. ## πŸ“– κ΅¬μ‘°ν™”λœ 지식 (Synthesized Content) - **Visitor Pattern**: - AST의 각 λ…Έλ“œ νƒ€μž…(FunctionDeclaration, Identifier λ“±)에 λ°©λ¬Έν•  λ•Œ 싀행될 콜백 ν•¨μˆ˜λ₯Ό μ •μ˜ν•˜μ—¬ 순회 과정을 κ΅¬μ‘°ν™”ν•˜λŠ” 섀계 νŒ¨ν„΄. - **Static Code Analysis**: - μ½”λ“œλ₯Ό μ‹€ν–‰ν•˜μ§€ μ•Šκ³  순회만 ν•¨μœΌλ‘œμ¨, μ„ μ–Έλ˜μ§€ μ•Šμ€ λ³€μˆ˜ μ‚¬μš©, 도달할 수 μ—†λŠ” μ½”λ“œ(Unreachable code) 등을 사전에 μ°Ύμ•„λ‚΄λŠ” λ¦°νŒ…(Linting)의 기반 기술. - **Scope Analysis**: - λ³€μˆ˜κ°€ μ–΄λ””μ„œ μ„ μ–Έλ˜κ³  μ–΄λ””κΉŒμ§€ μœ νš¨ν•œμ§€(Scope)λ₯Ό νŒŒμ•…ν•˜κΈ° μœ„ν•΄ 트리 μœ„μ•„λž˜λ₯Ό μ˜€κ°€λ©° μ°Έμ‘° 관계λ₯Ό λΆ„μ„ν•œλ‹€. ## ⚠️ λͺ¨μˆœ 및 μ—…λ°μ΄νŠΈ (RL Update) - νŠΈλ¦¬κ°€ λ„ˆλ¬΄ κ±°λŒ€ν•˜λ©΄(수만 μ€„μ˜ μ½”λ“œ) 순회 μ„±λŠ₯이 κΈ‰κ²©νžˆ μ €ν•˜λœλ‹€. 이λ₯Ό μœ„ν•΄ ν•„μš”ν•œ λ…Έλ“œλ§Œ μ„ νƒμ μœΌλ‘œ λ°©λ¬Έν•˜κ±°λ‚˜, 증뢄식(Incremental) 뢄석을 톡해 λ³€κ²½λœ λΆ€λΆ„λ§Œ λ‹€μ‹œ μˆœνšŒν•˜λŠ” μ΅œμ ν™” μ „λž΅μ΄ 싀무 도ꡬ([[ESLint|ESLint]] λ“±)에 ν•„μˆ˜μ μ΄λ‹€. ## πŸ”— 지식 μ—°κ²° (Graph) - Related: [[Abstract-Syntax-Tree-Transformation|Abstract-Syntax-Tree-Transformation]] , [[ESLint-Static-Analysis|ESLint-Static-Analysis]] - [[Strategy|Strategy]]: [[Reliability_Safety_First|Reliability_Safety_First]]