--- id: P-REINFORCE-AUTO-DCCAB5 category: "10_Wiki/πŸ’‘ Topics/AI" confidence_score: 0.90 tags: [auto-reinforced] last_reinforced: 2026-04-20 github_commit: "[P-Reinforce] Continuous Worker - SAST (Static Application Security Testing)" --- # [[SAST (Static Application Security Testing)|SAST (Static Application Security Testing)]] ## πŸ“Œ ν•œ 쀄 톡찰 (The Karpathy Summary) > SAST(정적 μ• ν”Œλ¦¬μΌ€μ΄μ…˜ λ³΄μ•ˆ ν…ŒμŠ€νŠΈ)λŠ” μ• ν”Œλ¦¬μΌ€μ΄μ…˜μ„ μ‹€ν–‰ν•˜μ§€ μ•Šκ³  μ†ŒμŠ€ μ½”λ“œλ‚˜ λ°”μ΄νŠΈμ½”λ“œλ₯Ό μ •μ μœΌλ‘œ λΆ„μ„ν•˜μ—¬ 잠재적인 λ³΄μ•ˆ 취약점을 μ‹λ³„ν•˜λŠ” ν™”μ΄νŠΈλ°•μŠ€ ν…ŒμŠ€νŠΈ(White-box testing) κΈ°λ²•μž…λ‹ˆλ‹€ [1]. μ†Œν”„νŠΈμ›¨μ–΄ 개발 수λͺ… μ£ΌκΈ°(SDLC) μ΄ˆκΈ°μ— λ„μž…λ˜μ–΄, μ½”λ“œ 결함이 배포되기 전에 μˆ˜μ •ν•  수 μžˆλ„λ‘ 개발 κ³Όμ • 쀑에 μ‹€μ‹œκ°„μœΌλ‘œ 였λ₯˜λ₯Ό μž‘μ•„λƒ…λ‹ˆλ‹€ [1, 2]. μ΅œκ·Όμ—λŠ” λ‹¨μˆœν•œ κ·œμΉ™ 기반 방식을 λ„˜μ–΄ AI λͺ¨λΈκ³Ό κ²°ν•©ν•˜μ—¬, λ¬Έλ§₯ 기반의 λΉ„μ¦ˆλ‹ˆμŠ€ 둜직 결함을 μ°Ύκ³  μžλ™ μˆ˜μ •(Auto-fix) μ½”λ“œλ₯Ό μ œμ•ˆν•˜λŠ” ν˜•νƒœλ‘œ λ°œμ „ν•˜κ³  μžˆμŠ΅λ‹ˆλ‹€ [3, 4]. ## πŸ“– κ΅¬μ‘°ν™”λœ 지식 (Synthesized Content) - **λ™μž‘ 원리:** SAST λ„κ΅¬λŠ” μ†ŒμŠ€ μ½”λ“œλ₯Ό ꡬ문 λΆ„μ„ν•˜μ—¬ 좔상 ꡬ문 트리(AST)λ₯Ό κ΅¬μΆ•ν•˜κ³ , μ œμ–΄ 흐름(Control flow) 및 데이터 흐름(Data flow)을 μΆ”μ ν•©λ‹ˆλ‹€ [5, 6]. 이λ₯Ό 톡해 SQL μΈμ μ…˜, λ©”λͺ¨λ¦¬ 관리 문제, 잘λͺ»λœ API μ‚¬μš©, μ•”ν˜Έν™” μ•Œκ³ λ¦¬μ¦˜ 였용 λ“±μ˜ λ³΄μ•ˆ 결함을 μ‹€ν–‰ 없이 탐지할 수 μžˆμŠ΅λ‹ˆλ‹€ [1, 7]. - **μ£Όμš” μž₯점 (Shift-Left):** ν…ŒμŠ€νŠΈ μΌ€μ΄μŠ€ μž‘μ„±μ΄λ‚˜ μ• ν”Œλ¦¬μΌ€μ΄μ…˜ 싀행이 ν•„μš” μ—†μ–΄ μžλ™ν™”κ°€ μš©μ΄ν•˜λ©° 검사 속도가 λΉ λ¦…λ‹ˆλ‹€ [8]. 개발 초기(IDE ν™˜κ²½μ΄λ‚˜ CI/CD νŒŒμ΄ν”„λΌμΈ)에 즉각적인 ν”Όλ“œλ°±μ„ μ œκ³΅ν•˜μ—¬ 문제 λ°œμƒ μœ„μΉ˜μ™€ 원인을 λͺ…ν™•νžˆ μ•Œλ €μ£Όλ©°, κ°€μž₯ λΉ„μš©μ΄ 적게 λ“œλŠ” μ‹œμ μ—μ„œ 결함을 ν•΄κ²°ν•˜κ²Œ ν•΄μ€λ‹ˆλ‹€ [2, 8]. - **ν•œκ³„μ :** μ†ŒμŠ€ μ½”λ“œμ˜ μ‹€ν–‰ λ§₯락(Context)을 μ™„λ²½ν•˜κ²Œ μ΄ν•΄ν•˜μ§€ λͺ»ν•˜λ―€λ‘œ, μ‹€μ œλ‘œλŠ” μ•ˆμ „ν•œ μ½”λ“œλ₯Ό μœ„ν˜‘μœΌλ‘œ κ°„μ£Όν•˜λŠ” μ˜€νƒ(False Positive)κ³Ό κ·Έ λ°˜λŒ€μΈ 미탐(False Negative)이 λ°œμƒν•˜κΈ° μ‰½μŠ΅λ‹ˆλ‹€ [9]. ν”„λ‘ νŠΈμ—”λ“œμ™€ λ°±μ—”λ“œκ°€ λΆ„λ¦¬λ˜μ–΄ μžˆμ„ λ•Œ μž…λ ₯κ°’ μ‚΄κ· (Sanitization) 처리 μ—¬λΆ€λ₯Ό νŒŒμ•…ν•˜μ§€ λͺ»ν•˜λŠ” λ“± λ§₯락 λˆ„λ½ λ¬Έμ œκ°€ 있으며, 도ꡬ가 μ§€μ›ν•˜λŠ” νŠΉμ • ν”„λ‘œκ·Έλž˜λ° 언어에 μ’…μ†λœλ‹€λŠ” 단점도 μ§€λ‹™λ‹ˆλ‹€ [9]. - **AI 기반 SAST의 μ§„ν™”:** 전톡적인 SASTλŠ” μ •ν•΄μ§„ κ·œμΉ™κ³Ό νŒ¨ν„΄ 맀칭에 μ˜μ‘΄ν•˜μ§€λ§Œ, ν˜„λŒ€μ˜ AI λ„€μ΄ν‹°λΈŒ 도ꡬ(예: Snyk Code, Corgea λ“±)λŠ” λŒ€ν˜• μ–Έμ–΄ λͺ¨λΈ(LLM)κ³Ό 기계 ν•™μŠ΅ κΈ°μˆ μ„ 적극적으둜 ν™œμš©ν•©λ‹ˆλ‹€ [3, 10]. 의미둠적 νŒŒμ•…κ³Ό μ˜€μ—Ό 뢄석(Taint analysis)을 톡해 파일 κ°„(Interfile) 데이터 흐름을 μ«“κ³ , 취약점 식별을 λ„˜μ–΄ κ°œλ°œμžκ°€ 즉각 μ μš©ν•  수 μžˆλŠ” κ²€μ¦λœ μˆ˜μ •μ•ˆμ„ μ œμ•ˆν•˜μ—¬ 개발자의 리뷰 μ‹œκ°„μ„ 크게 λ‹¨μΆ•μ‹œν‚΅λ‹ˆλ‹€ [3, 11, 12]. - **타 λ³΄μ•ˆ λ„κ΅¬μ™€μ˜ μƒν˜Έ 보완:** SASTκ°€ 쑰직 λ‚΄λΆ€μ—μ„œ μž‘μ„±ν•œ 퍼슀트 νŒŒν‹°(First-party) μ†ŒμŠ€ μ½”λ“œ 취약점을 μ°ΎλŠ” 것에 νŠΉν™”λ˜μ–΄ μžˆλ‹€λ©΄, **SCA**(μ†Œν”„νŠΈμ›¨μ–΄ ꡬ성 뢄석)λŠ” λ„μž…λœ μ„œλ“œ νŒŒν‹° μ˜€ν”ˆμ†ŒμŠ€ νŒ¨ν‚€μ§€μ˜ μ•Œλ €μ§„ 취약점을 μ°Ύκ³ , **DAST**(동적 μ• ν”Œλ¦¬μΌ€μ΄μ…˜ λ³΄μ•ˆ ν…ŒμŠ€νŠΈ)λŠ” λŸ°νƒ€μž„ ν™˜κ²½μ—μ„œ λΈ”λž™λ°•μŠ€ ν…ŒμŠ€νŠΈλ₯Ό μˆ˜ν–‰ν•˜μ—¬ μ‹€ν–‰ μ‹œμ μ˜ ꡬ성 문제λ₯Ό νƒμ§€ν•©λ‹ˆλ‹€ [13-16]. ## ⚠️ λͺ¨μˆœ 및 μ—…λ°μ΄νŠΈ (Contradictions & RL Update) - **κ³Όκ±° λ°μ΄ν„°μ™€μ˜ 좩돌:** μžλ™ν™” 엔진에 μ˜ν•΄ λ§€ν•‘λœ μ§€μ‹μœΌλ‘œ, μΆ”ν›„ μ •λ°€ 검증 ν•„μš”. - **μ •μ±… λ³€ν™”:** AI λΆ„μ•Όμ˜ μžλ™ μžμ‚°ν™” μˆ˜ν–‰. ## πŸ”— 지식 μ—°κ²° (Graph) - **Related Topics:** [[DAST (Dynamic Application Security Testing)|DAST (Dynamic Application Security Testing)]], SCA (Software Composition Analysis), Shift-Left Security, False Positives, Taint Analysis - **Projects/Contexts:** Snyk Code, [[Corgea|Corgea]], [[SonarQube|SonarQube]], GitHub Advanced Security, Checkmarx, Semgrep - **Contradictions/Notes:** λ ˆκ±°μ‹œ SAST 도ꡬ듀은 μ—„κ²©ν•œ 정적 κ·œμΉ™μœΌλ‘œ 인해 50-80%에 λ‹¬ν•˜λŠ” 높은 μ˜€νƒλ₯ (False Positives)을 보여 κ°œλ°œμžμ—κ²Œ κ²½κ³  ν”Όλ‘œ(Alert fatigue)λ₯Ό μœ λ°œν•œλ‹€λŠ” 단점이 μžˆμ—ˆμœΌλ‚˜, μ΅œμ‹  AI 기반 SASTλŠ” 수백만 개의 μ˜€ν”ˆμ†ŒμŠ€ 컀밋과 λ¬Έλ§₯을 ν•™μŠ΅ν•˜μ—¬ λ…Έμ΄μ¦ˆλ₯Ό 획기적으둜 쀄이고 μ‹€μ œ μ•…μš© κ°€λŠ₯ν•œ 취약점을 λΆ„λ₯˜ν•΄ λ‚΄λŠ” λ°©ν–₯으둜 단점을 κ·Ήλ³΅ν•˜κ³  μžˆμŠ΅λ‹ˆλ‹€ [9, 11, 17]. --- *Last updated: 2026-04-18* - Raw Source: 00_Raw/2026-04-20/SAST (Static Application Security Testing).md ---