Improving Automatic C-to-Rust Translation with Static Analysis | IEEE Conference Publication | IEEE Xplore