GNN 기반 스마트 컨트랙트 취약점 탐지기(GNNSCVulDetector)의 표현 계층을 실패 분석한 결과, 소스 코드를 그래프로 변환하는 과정에서 코드 의미를 제대로 포착하지 못하면 이후 모델 개선으로도 보완할 수 없는 네 가지 결함이 확인됐다. 구조가 다른 컨트랙트가 바이트 단위로 동일한 그래프를 생성하는 회피 공격 가능성, 하드코딩된 47개 변수 화이트리스트(중복 항목 포함)로 인해 변수명이 다르면 동일한 취약점도 불일치하는 그래프가 생성되는 문제, 재진입 공격을 유발하는 외부 호출자를 나타내는 C 노드가 가장 전형적인 취약 컨트랙트에서조차 누락되는 문제, 그리고 C→W 엣지가 생성되지 않아 완전히 악용 가능한 컨트랙트가 안전으로 오분류되는 실제 사례가 실험으로 확인됐다. 기존 문헌의 정확도 수치는 이런 결함이 드러나지 않는 조건에서 측정된 것이라고 지적한다.
- •구조가 다른 컴트랙트가 동일한 그래프를 생성하는 회피 공격 발견
- •47개 하드코딩 변수 화이트리스트로 인해 같은 취약점도 변수명에 따라 그래프 불일치
- •재진입 공격을 나타내는 C 노드가 전형적 취약 컴트랙트에서도 누락
- •C→W 엣지 미생성으로 실제 악용 가능 컴트랙트가 안전으로 오분류되는 사례 실험적 확인
- •기존 문헌의 정확도는 이런 결함이 드러나지 않는 조건에서 측정된 것임을 지적
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Pre-Model Representation Failures in GNN-Based Smart Contract Vulnerability Detection
- 1.GNN 기반 스마트컨트랙트 취약점 탐지기 GNNSCVulDetector의 그래프 표현 계층에서 4가지 구조적 결함 발견
- 2.구조가 다른 컨트랙트가 동일한 그래프로 변환되어 탐지를 우회할 수 있는 공격 경로 확인
- 3.47개 하드코딩된 변수 화이트리스트 때문에 변수명만 달라도 그래프 품질이 저하
- 4.실제 익스플있가능한 재진입 컨트랙트가 호출자 노드 누락으로 '안전'로 오분류되는 사례를 실험으로 확인
왜 중요한가?
그래프 표현이 잘못되면 모델 성능 개선으로는 보완이 불가능하다는 점을 실증해, 학계에 보고된 GNN 기반 탐지기 정확도 수치를 그대로 신뢰해서는 안 된다는 경고를 던진다.
언급 프로젝트
본문 미리보기
arXiv:2608.15184v1 Announce Type: new Abstract: This paper is a failure analysis of the representation layer underlying GNN-based smart contract vulnerability detectors. These systems convert source code into graphs before any learning takes place; if the graph fails to capture the code's semantics, no model improvement can compensate. We investigate GNNSCVulDetector and identify four failures. First, structurally different contracts produce byte-for-byte identical graphs, constituting a conc
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:02AI 초안



