[1]邵思豪, 李国良, 朱宸锋, 等. 缓冲区溢出检测技术综述[J]. 信息安全研究, 2023, 9(12): 11801189[2]GitHub. Cargofuzz[CPOL]. [20240614]. https:github.comrustfuzzcargofuzz[3]Bae Y, Kim Y, Askar A, et al. Rudra: Finding memory safety bugs in rust at the ecosystem scale[C] Proc of the 28th ACM SIGOPS Symp on Operating Systems Principles. New York: ACM, 2021: 8499[4]Njor E J, Gústafsson H. Static taint analysis in rust[J]. Masters Thesis, 2021[5]Rao Z, Yang Y, Xu H. Characterizing unsafe code encapsulation In realworld Rust systems[J]. arXiv preprint, arXiv:2406.07936, 2024[6]Li W, He D, Gui Y, et al. A contextsensitive pointer analysis framework for Rust and its application to call graph construction[C] Proc of the 33rd ACM SIGPLAN Int Conf on Compiler Construction. New York: ACM, 2024: 6072[7]Li Z, Wang J, Sun M, et al. MirChecker: Detecting bugs in Rust programs via static analysis[C] Proc of the 2021 ACM SIGSAC Conf on Computer and Communications Security. New York: ACM, 2021: 21832196 |