팔각형 추상 도메인 (Octagonal Abstract Domains)의 최소 비교

요약

본 연구는 Octagons 추상 도메인에서 가짜 제약 조건을 제거하기 위한 새로운 알고리즘을 제안합니다. 6,930개의 불변량을 비교 분석하여 Octagons의 표현력이 불변량 정밀도에 미치는 영향을 평가하고, 최소 비교를 통해 도메인 간의 관계를 재정립했습니다.

핵심 포인트

• Octagons 도메인을 위한 가짜 제약 조건 제거 알고리즘 소개
• 추상 상태의 최소 비교를 통한 도메인 표현력 분석
• 6,930개 불변량 비교를 통한 연구 결과 검증
• 최소 비교를 통한 불변량 재분류 및 정밀도 영향 확인