Improvements to the research-developed tool for analyzing unsafe Rust have rendered it much more precise. Yuga is a static software analysis tool for identifying lifetime annotation code defects in Rust code. At the time it was first presented in a previous article in the Red Hat Research Quarterly, Yuga’s analysis yielded an unacceptably high number […]