树搜索策略

1. 深度优先

维护栈

将根节点放入栈

循环弹出栈顶元素,然后将栈顶元素的子节点放入栈中

当栈顶元素满足约束条件,对其进行处理。

当栈空时,搜索结束

2. 广度优先

维护队列

将根节点放入队列

循环弹出队首元素,然后将队首的子节点放入队列中

当队首元素满足约束条件,对其进行处理。

当队空时,搜索结束

3. 爬山法
深度优先+贪心

将栈首的子节点,采用贪心策略放入栈顶

4. Best First

深度优先+广度优先

维护堆

将跟节点放入堆

将兄弟节点与孩子节点中的最优节点放入堆中

若堆首节点满足条件,对其进行处理。

堆空,搜索结束

5. 分支限界法

剪枝函数+广度优先

广度优先跑一次,找出可行解代价

对接下来的顶点,判断其代价是否优于可行解,若是,继续,否则孩子节点不予处理

6. A*算法

Best First + 代价函数

是的,angr 中支持使用蒙特卡洛搜索(Monte Carlo Tree Search,MCTS)策略进行路径探索。具体来说,angr 提供了一个名为 MCTSExplorer 的探索技术,可以使用蒙特卡洛搜索策略来探索程序路径。MCTSExplorer 技术会在每个基本块中执行多次符号执行,并根据执行结果动态调整探索策略,以尽可能地覆盖更多的路径。 以下是使用 MCTSExplorer 探索技术进行路径探索的示例代码: ```python import angr # 创建一个 angr 项目 proj = angr.Project('/path/to/binary') # 初始化一个初始状态 state = proj.factory.entry_state() # 初始化一个 MCTSExplorer 探索技术 mcts_explorer = angr.exploration_techniques.MCTSExplorer( num_samples=10, # 每个基本块执行的符号执行次数 num_rounds=5, # 蒙特卡洛搜索的迭代次数 heuristic=angr.exploration_techniques.ExplorerHeuristic(), # 探索策略 ) # 开始探索 path_group = proj.factory.path_group(state, immutable=False) path_group.use_technique(mcts_explorer) path_group.run() # 输出探索结果 print("Total branches explored:", path_group.branches_explored) print("Total basic blocks explored:", path_group._stashes['deadended'].size()) ``` 在这个示例代码中,我们创建了一个 angr 项目对象以及一个初始状态对象。然后,我们初始化了一个 MCTSExplorer 探索技术,其中 num_samples 参数用于指定每个基本块执行的符号执行次数,num_rounds 参数用于指定蒙特卡洛搜索的迭代次数,heuristic 参数用于指定探索策略。接着,我们将 MCTSExplorer 技术添加到路径组对象中,并执行路径探索。最后,我们输出了探索结果。 需要注意的是,使用蒙特卡洛搜索策略进行路径探索可能会非常耗时,因此需要根据具体情况调整 num_samples 和 num_rounds 参数的值,以平衡探索效率和探索质量。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值