인문학
사회과학
자연과학
공학
의약학
농수해양학
예술체육학
복합학
DBpia AI
AI 에이전트
AI 아이디어
AI 리더
AI 뷰어
Citeasy
크롬 서지관리 다운로드
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
피인용 0
초록·키워드
Rust는 강력한 메모리 안전성을 제공하지만, 외부 함수 인터페이스(Foreign Function Interface, FFI) 경계에서는 그 보장이 약화된다. 격리 기반 보호는 메모리를 안전한 영역과 외부 영역으로 나누고 공유 객체(shared object)를 후자에 두지만, 그 객체는 Rust가 계속 참조하므로 오염이 되돌아올 수 있다. 본 연구는 오염 전파가 아니라 그것을 가능하게 하는 흐름이 얼마나 흔한지를 측정한다. 이를 위해 Rust 중간 표현(Mid-level Intermediate Representation, MIR)에서 FFI 경계 원시 포인터의 역방향 출처 추적과 순방향 호출 이후 사용 분석을 결합한 기법을 제안한다. 전 프로그램 지시 대상 분석 대신 정의 지점의 MIR 패턴과 표준 API를 규칙으로 읽는다. crates.io에서 수집한 300개 크레이트(분석 성공 212개)에서 FFI 인자의 71.18%가 원시 포인터였고, 그중 76.96%가 구조체·열거형을 가리켰다. 전달 의미는 인자 통과(43.27%)와 빌림형(32.28%)이 명시적 소유권 이전(0.08%)을 압도하였고, FFI가 반환한 원시 포인터는 98.64%가 Rust의 후속 흐름으로 이어졌다. 이는 공유 객체가 단순한 분리 대상이 아니라 구조와 수명을 고려한 보호 대상임을 시사한다.
본문·목차
인공지능 문자 인식 모델을 통해 추출된 텍스트로, 일부 오타나 오류가 포함될 수 있으나 지속적으로 개선 중입니다.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.
최근 본 자료 전체보기
