Stallone is another option for Rust: https://github.com/GaloisInc/balboa/blob/main/stallone/log/s...