ArithmeticError 在整型运算溢出时为什么会抛出？
manticore 在检测到整数运算结果超出目标位宽（如 256 位）时，会主动抛出 arithmeticerror。这是因为它默认启用了严格的算术检查模式，旨在模拟真实环境中因溢出导致的异常或回滚行为，从而帮助开发者发现潜在的逻辑漏洞。
如何关闭 Manticore 的溢出检查以允许静默截断？
若希望 Manticore 像某些宽松环境一样处理溢出，可以通过设置全局配置项 config['MAGIC'] 中的 arithmetic_check 为 False 来禁用该检查。这样当发生溢出时，Manticore 将不再抛出异常，而是自动对结果进行模运算（即低位截断），继续执行后续路径探索。
基于程序中某个输入、条件或结果的具体问题：当输入为最大无符号整数加一时，程序状态如何变化？
当输入变量被约束为最大无符号整数（例如 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF）并执行加一操作时，若未关闭算术检查，Manticore 会在该步立即终止当前路径并记录 ArithmeticError；若已关闭检查，则结果变为零，路径继续正常探索。这一行为差异直接体现了配置项对语义模型的影响。
