基于静态分析的Rust内存安全缺陷检测研究[TOSEM'21] “Memory-safety challenge considered solved? An in-depth study with all Rust CVEs”, TOSEM, 2021. PoC #![forbid(unsafe_code)] Libraries unsafe code call safe (unsound) APIs Unsound Mem-Safety Problem0 码力 | 28 页 | 1.55 MB | 1 年前3
THE FIRST EXPLORATION OF PROJECT SPARROWRenode now: https://antmicro.com/blog/2021/07/rust-peripheral-support-in-renode/ A POC sample of Rust UART peripheral. https://github.com/antmicro/renode-rust-example III. Sparrow0 码力 | 68 页 | 13.14 MB | 1 年前3
共 2 条
- 1