angr solver

Question

state.se存在如下问题

1.state.se.BVS创建的都是符号变量吗？
2.state.se.BVV创建的都是具体的值吗？
3.对于符号变量，当不存在约束的时候，state.se.eval的求解结果都为0吗？
4.对于BVV，state.se.eval的求解结果都为其原值吗？

Answer 1

1.是的，state.se.BVS创建的变量是符号变量，它们不代表具体的数值，而是代表可能的值的范围和限制条件。
2.是的，state.se.BVV创建的变量是具体的值，它们代表一个固定的数值，不包含任何限制条件。
3.不一定。如果不存在约束，符号变量的求解结果可以是任何值，而不是固定的0。如果在求解过程中没有提供约束，符号变量的求解结果将是任意值的一个可能解。
4.是的，对于BVV，state.se.eval的求解结果会返回其原始的值。因为BVV是具体的数值，不包含任何限制条件，所以它们的值与其原始值相同。