我有一个wasm二进制，我试图在Rust中执行。我不确定它是否有整数溢出是否有任何工具可以帮助我检测Rust本身的整数溢出?
有几个方法可以帮助你:
-
checked_add将执行加法。如果加法溢出，则返回None，否则返回Some(sum)。 -
overflowing_add，它将执行加法并返回一个元组，其中第一个是溢出和，第二个元素是布尔值，表示是否发生溢出。
你也可以检查saturaing_add和wrapping_add，看看它们是否符合你的需要。