Rusty: Effectively Detecting Multilingual Rust Memory Bugs with Interprocedural Static Analysis.

Mingliang Liu, Baojian Hua

Browse the full TrustCom paper archive.