추상 실행 트레이스 요약기

무엇을 해주나

• 추상 해석(abstract interpretation) 기법으로 코드를 실행하지 않고 가능한 런타임 상태를 과근사해 요약합니다.
• 구간(interval), 부호(sign), 널니스(nullness), 옥타곤·폴리헤드라 등 추상 도메인을 목적에 맞게 선택하도록 안내합니다.
• CFG(제어 흐름 그래프) 기반으로 분기·루프·함수 호출·예외 경로를 정리하고, join/meet/widening/narrowing 연산으로 고정점을 계산합니다.
• 루프 불변식, 반복 횟수 한계, 함수 요약(사전/사후 조건, 부수 효과, 프레임 조건)을 도출합니다.
• 배열 경계, 널 역참조, 타입 안전성, 오버플로 등 안전성 속성 점검 결과를 정해진 마크다운 리포트 형식으로 출력합니다.

이런 분께 추천

• 리팩터링 전에 레거시 함수의 실제 동작 범위를 파악해야 하는 개발자
• 정적 분석·검증(formal verification)·컴파일러 최적화 관심자
• 안전성이 중요한 코드(C/C++ 포인터, Java 널 처리)를 리뷰하는 시니어 엔지니어·리뷰어
• 추상 해석을 강의·학습 자료로 설명해야 하는 교육자

활용 예시

1. "이 for i in range(len(arr)) 루프의 배열 접근이 항상 안전한지 구간 도메인으로 확인해줘" → 루프 불변식 0 ≤ i < L과 접근 안전 결론 도출.
2. "이 Java 메서드에서 널 포인터 역참조가 가능한 경로가 있나?" → 널니스 도메인으로 분기별 상태 추적 후 안전/위험 경로 보고.
3. "이 함수의 사전/사후 조건과 부수 효과를 요약해서 문서화해줘" → 함수 요약 섹션 형태의 스펙 초안 생성.

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

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

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