z3 总结

BitVec为8位的时候有坑,他会将数据全变成8位的,也就是同数据级别运算,这里只能将数据扩展成32位的

本文作者：NoOne
本文地址： https://noonegroup.xyz/posts/38221faf/
版权声明：转载请注明出处！