摘要: 路径爆炸 之前说过,angr在处理分支时,采取统统收集的策略,因此每当遇见一个分支,angr的路径数量就会乘2,这是一种指数增长,也就是所说的路径爆炸。 以下是路径爆炸的一个例子: char buffer[17];for(int i=0;i<16;i++){ if(buffer[i]!='B'){ 阅读全文
posted @ 2022-11-29 21:01 Uiharu 阅读(1238) 评论(0) 推荐(0) 编辑
摘要: angr_ctf——从0学习angr(二):状态操作和约束求解 angr入门教程2~ 阅读全文
posted @ 2022-11-29 19:26 Uiharu 阅读(1475) 评论(0) 推荐(0) 编辑
摘要: angr_ctf——从0学习angr(一):angr简介与核心概念 angr入门教程1~ 阅读全文
posted @ 2022-11-29 17:21 Uiharu 阅读(4300) 评论(0) 推荐(1) 编辑