名称 | 描述 | 传入参数 |
auto_load_libs | 是否自动加载程序的依赖 | 布尔 |
skip_libs | 希望避免加载的库 | 库名 |
except_missing_libs | 无法解析库时是否抛出异常 | 布尔 |
force_load_libs | 强制加载的库 | 库名 |
ld_path | 共享库的优先搜索路径 | 路径名 |
预设状态方式 | 描述 |
entry_state | 初始化状态为程序运行到程序入口点处的状态 |
blank_state(addr=) | 大多数数据都没有初始化,状态中下一条指令为addr处的指令 |
full_init_state | 共享库和预定义内容已经加载完毕,例如刚加载完共享库 |
call_state | 准备调用函数的状态 |
stash | 描述 |
active | 保存接下来可以执行并且将要执行的状态 |
deadended | 由于某些原因不能继续执行的状态,例如没有合法指令,或者有非法指针 |
pruned | 与solve的策略有关,当发现一个不可解的节点后,其后面所有的节点都优化掉放在pruned里 |
unconstrained | 如果创建SM时启用了save_unconstrained,则没有约束条件的state会放在这里 |
unsat | 如果创建SM时启用了save_unsat,则被认为不可满足的state会放在这里 |
欢迎光临 ToB企服应用市场:ToB评测及商务社交产业平台 (https://dis.qidao123.com/) | Powered by Discuz! X3.4 |