추상 상태 분석기

무엇을 해주나

• 소스 코드를 추상 해석(abstract interpretation) 방식으로 정적 분석해, 실행 없이 각 지점에서 변수가 가질 수 있는 값의 범위를 추론합니다.
• 목적에 맞는 추상 도메인을 선택합니다: 구간(Interval, 숫자 범위), 부호(Sign), 널(Null/maybe-null), 타입(Type) 도메인 및 조합.
• 분기는 나누고 합류점에서는 상태를 병합하며, 루프는 고정점(fixpoint)까지 반복하고 필요하면 확장(widening)을 적용합니다.
• 배열 범위 초과, 널 역참조, 0으로 나누기, 정수 오버플로, 타입 불일치를 지점별로 검사합니다.
• 발견 사항을 위치 / 오류 유형 / 그 지점의 추상 상태 / 심각도(확정 vs 잠재) / 원인 설명 / 수정 제안 형식으로 보고합니다.
• C/C++, Python, Java, JavaScript 각각의 언어 특성(포인터 연산, 동적 타이핑, NPE, 타입 강제 변환)을 반영한 체크 포인트를 제공합니다.

이런 분께 추천

• 코드 리뷰나 릴리스 전 점검에서 런타임 크래시 가능성을 미리 걸러내고 싶은 개발자
• 테스트 커버리지가 낮은 레거시 코드의 안전성을 따져봐야 하는 유지보수 담당자
• 정적 분석기·검증 도구를 배우거나 강의·스터디에서 추상 해석 개념을 실습하고 싶은 분
• 보안 관점에서 버퍼 오버런, 널 참조 등 메모리·값 안전성을 검토하는 리뷰어

활용 예시

1. 배열 접근 검증: find_max(arr, n) 함수를 붙여주면 n > len(arr)인 경우 arr[i]가 범위를 벗어날 수 있음을 지적하고 사전 조건(n <= len(arr)) 추가를 제안합니다.
2. 0 나눗셈 탐지: 나눗셈의 분모 변수가 [-5, 5] 구간으로 추론되면 0이 포함되므로 잠재적 예외로 보고합니다.
3. 널 역참조 점검: 함수 파라미터가 maybe-null 상태로 들어와 ptr.field에 접근하는 경로를 찾아 널 체크 삽입 위치를 제시합니다.
4. 정수 오버플로 예측: a, b가 각각 [1000, 2000]일 때 int32 곱셈이 넘칠 수 있음을 경고합니다.

이 파일의 지시를 읽고 그대로 따라서 나를 도와줘:
https://raw.githubusercontent.com/ArabelaTso/Skills-4-SE/HEAD/skills/abstract-state-analyzer/SKILL.md

내가 원하는 것: (여기에 하고 싶은 일을 쓰세요)

클로드스킬마트에서 찾은 스킬을 설치해줘.
GitHub 저장소 ArabelaTso/Skills-4-SE 의 skills/abstract-state-analyzer 폴더를 내 ~/.claude/skills/abstract-state-analyzer/ 에 그대로 복사해줘.
설치가 끝나면 이 스킬로 무엇을 할 수 있는지 한 줄로 알려줘.