Introducing Rust Language Support for Finite State’s SCA Tool