☕ Java 코드 에디터
취약한 코드
// [취약] 분기에 따라 초기화되지 않은 채 사용될 수 있음
int result;
if (cond) { result = compute(); }
log(result); // cond=false면 미초기화
💡 수정 가이드 (KISA 기준)
1. 기본값 초기화
선언과 동시에 안전한 기본값 부여.
int result = 0; // 기본값 초기화
if (cond) { result = compute(); }
log(result);
📊 분석 결과 및 설명
🎯 목표
변수를 사용 전에 항상 초기화되도록 보장합니다.
⚠️ 현재 취약점
Uninitialized Variable
미초기화 변수 사용으로 비결정적 동작이 발생합니다.