검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Detecting Unsafe Raw Pointer Dereferencing Behavior in Rust Rust에서 안전하지 않은 원시 포인터 역참조 동작 감지

Zhijian HUANG, Yong Jun WANG, Jing LIU

  • 조회수

    0

  • 이것을 인용

요약 :

떠오르는 시스템 프로그래밍 언어 Rust는 빠르고 효율적이며 메모리 안전합니다. 그러나 Rust에서 원시 포인터를 부적절하게 역참조하면 새로운 안전 문제가 발생합니다. 본 논문에서는 이러한 문제에 대한 자세한 분석을 제시하고 안전하지 않은 원시 포인터 역참조 동작을 탐지하기 위한 실용적인 하이브리드 접근 방식을 제안합니다. 우리의 접근 방식은 패턴 일치를 사용하여 불법적인 다중 변경 가능 참조를 생성하는 데 사용할 수 있는 함수를 식별합니다(우리는 이를 다음과 같이 정의합니다). 도둑 기능) 런타임에 동적 검사를 수행하기 위해 역참조 작업을 계측합니다. 우리는 UnsafeFencer라는 도구를 구현하고 52개의 실제 상자*에서 28개의 도둑 기능을 성공적으로 식별했습니다. 그 중 13개의 공개 기능은 여러 변경 가능한 참조를 생성하기 위해 검증되었습니다.

발행
IEICE TRANSACTIONS on Information Vol.E101-D No.8 pp.2150-2153
발행일
2018/08/01
공개일
2018/05/14
온라인 ISSN
1745-1361
DOI
10.1587/transinf.2018EDL8040
원고의 종류
LETTER
범주
신뢰할 수 있는 컴퓨팅

작성자

Zhijian HUANG
  National University of Defense Technology
Yong Jun WANG
  National University of Defense Technology
Jing LIU
  National University of Defense Technology

키워드