Memory Safe Languages in Android 13¶

Vander Stoep, J. (2022). Memory Safe Languages in Android 13. Google Security Blog.

Type: Web resource
Intellectual base: Web
Year: 2022
Link: https://security.googleblog.com/2022/12/memory-safe-languages-in-android-13.html

Cited by¶

2 citations across 2 artifacts.

Domain-specific¶

Pointer
- In response, both have adopted Rust for new systems code: Android began shipping Rust components (with Google reporting that memory-safety vulnerabilities in new native code fell sharply as Rust's share rose
  
  Supported in partVerified against the source
  
  Read by an automated reader; not a human review. How support was checked
Type System
- This guarantee is why Rust has been adopted for security-critical systems software: components of Firefox, portions of the Linux kernel, Android, and cloud infrastructure rely on it to get memory safety as a compile-time certificate rather than a runtime hope
  
  Supported in partVerified against the source
  
  Read by an automated reader; not a human review. How support was checked

Verification¶

Does it exist? Not checked yet. This entry carries no identifier to resolve. It was extracted from the citation as written in the article, normalized, and deduplicated against the rest of the registry.

Does it back the claim? Read against the text for 2 of 2 citations: 2 supported in part. Each verdict is shown under its citation below, with what in the work backs the sentence.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

Registry ID ref:2fa860077354 · see in the full table