Rust는 Android 플랫폼 개발의 주요 언어에 포함되어 있습니다.

Google은 Android 플랫폼 개발에 허용되는 언어 중에 Rust 프로그래밍 언어를 포함한다고 발표했습니다. Rust 언어 컴파일러는 2019년에 Android 소스 트리에 포함되었지만 이 언어에 대한 지원은 여전히 ​​실험적이었습니다. Android용으로 계획된 최초의 Rust 구성 요소 중 일부에는 Binder 프로세스 간 통신 메커니즘과 Bluetooth 스택의 새로운 구현이 포함됩니다.

Rust의 도입은 보안을 강화하고 안전한 프로그래밍 기술을 장려하며 Android에서 메모리 작업 시 문제 식별의 효율성을 높이기 위한 프로젝트의 일환으로 수행되었습니다. Android에서 확인된 전체 위험한 취약점 중 약 70%는 메모리 작업 시 오류로 인해 발생하는 것으로 알려져 있습니다. 메모리 안전성과 자동 메모리 관리에 초점을 맞춘 Rust를 사용하면 After-Free 액세스, 버퍼 오버런 등 메모리 오류로 인해 발생하는 취약점의 위험이 줄어듭니다.

Rust는 참조 확인, 객체 소유권 및 객체 수명 추적(범위)을 통해 컴파일 타임에 메모리 안전을 강화하고 런타임 시 메모리 액세스의 정확성을 평가합니다. Rust는 또한 정수 오버플로에 대한 보호 기능을 제공하고, 사용하기 전에 변수 값을 초기화하도록 요구하며, 표준 라이브러리에서 더 나은 오류 처리 기능을 제공하고, 기본적으로 불변 참조 및 변수 개념을 사용하며, 논리적 오류를 최소화하기 위해 강력한 정적 유형 지정을 제공합니다.

안드로이드에서는 이미 지원되는 언어인 코틀린(Kotlin)과 자바(Java)로 메모리 안전성을 제공하지만, 오버헤드가 높아 시스템 컴포넌트 개발에는 적합하지 않다. Rust를 사용하면 C 및 C++ 언어에 가까운 성능을 달성할 수 있으므로 하드웨어와 상호 작용하기 위한 플랫폼 및 구성 요소의 하위 수준 부분을 개발하는 데 사용할 수 있습니다.

C 및 C++ 코드의 보안을 보장하기 위해 Android는 샌드박스 격리, 정적 분석, 퍼징 테스트를 사용합니다. 샌드박스 격리 기능은 제한되어 있으며 기능의 한계에 도달했습니다(프로세스로의 추가 조각화는 리소스 소비 측면에서 비현실적입니다). 샌드박스 사용의 제한 사항에는 새 프로세스를 생성해야 하기 때문에 발생하는 큰 오버헤드 비용과 메모리 소비 증가, IPC 사용과 관련된 추가 지연이 포함됩니다.

동시에 샌드박스는 코드의 취약점을 제거하지는 않지만 악용에는 하나가 아닌 여러 취약점을 식별해야 하기 때문에 위험을 줄이고 공격을 복잡하게 만듭니다. 코드 테스트에 기반한 방법은 오류를 식별하기 위해 문제가 나타날 수 있는 조건을 만들어야 한다는 점에서 제한됩니다. 가능한 모든 옵션을 다룰 수는 없으므로 많은 오류가 눈에 띄지 않게 됩니다.

Android의 시스템 프로세스에 대해 Google은 'XNUMX의 법칙'을 준수합니다. 이에 따라 추가된 코드는 세 가지 조건 중 두 개 이하를 충족해야 합니다. 즉, 검증되지 않은 입력 데이터로 작업하기, 안전하지 않은 프로그래밍 언어(C/C++) 사용하기, 엄격한 샌드박스 격리 없이 실행(승격된 권한 사용) 이 규칙은 외부 데이터를 처리하기 위한 코드가 최소한의 권한으로 축소(격리)되거나 보안 프로그래밍 언어로 작성되어야 함을 의미합니다.

Google은 기존 C/C++ 코드를 Rust로 다시 작성하는 것을 목표로 하지 않지만 이 언어를 사용하여 새로운 코드를 개발할 계획입니다. 통계적으로 대부분의 버그는 새 코드나 최근 변경된 코드에 나타나기 때문에 새 코드에 Rust를 사용하는 것이 합리적입니다. 특히 안드로이드에서 감지된 메모리 오류의 약 50%는 작성된 지 XNUMX년 미만인 코드에서 감지됩니다.

출처 : opennet.ru