Results show that RustGTC uses documented constraints to guide Rust API test generation and reveal comment-code inconsistencies around boundary cases and reveal comment-code inconsistencies around boundary cases.
Yi-Chi Zhang, Jin-Hao Huang, Yang Feng· Proceedings of the 41st IEEE...· 0 citations
UnsafeChecker is presented, a compiler-integrated static analysis framework for detecting potential soundness violations in Rust safe abstractions, and outperforms several state-of-the-art tools, detecting 32 CVEs and covering 36 bugs with 51.6% alert-level precision.
Xi-Zhe Yin, Yao Zhang, Yang Feng et al.· 0 citations
SugBreaker is presented, an automated testing framework specifically designed to validate rustc's suggestions that injects type-related, borrow-related, and lifetime-related errors into valid Rust programs to trigger compiler diagnostics and iteratively verify the correctness of suggested fixes.
Zixi Liu, Yang Feng, Jialiang Jiang et al.· Proceedings of the ACM on So...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.