当前位置 博文首页 > HWP：2021-04-06 符号执行是啥？

最大化 缩小

    HWP：2021-04-06 符号执行是啥？

    作者：[db:作者] 时间：2021-06-22 18:16

    符号执行

    给出一个具体的输入值，激活特定代码输出结果。

    符号如何执行？

    1，静态执行

    2，模拟执行

    3，非实际执行

    ?

    通过一个简单的IF判断，不同的分支。可以得出一个满足约束条件的解。

    ?

    上一篇：HWP：Ubuntu18.04中pyhton默认版本从2.7换为3.x
    下一篇：没有了