Fast Summary-based Whole-program Analysis to Identify Unsafe Memory Accesses in Rust.

Jie Zhou Mingshen Sun John Criswell

Published in: CoRR (2023)

Keyphrases

memory requirements
computing power
database
decision making
website
clustering algorithm
response time
main memory
memory usage
memory efficient
low memory