Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale.

Yechan Bae Youngsuk Kim Ammar Askar Jungwon Lim Taesoo Kim

Published in: SOSP (2021)

Keyphrases

scale space
information retrieval
small scale
main memory
software projects
memory space
coal mining
genetic algorithm
multiscale
image analysis
software development
test cases
memory requirements
method finds
safety analysis