Rust Abstract-interpretation Resources