摘要: angr遇到每个分支都会产生新的后继状态,即使是简单的for循环,它也会在for循环的判断中不断产生新的状态,就等同trace代码一样每执行一次都会记录一次,而且有时也不好处理,这样就会造成状态爆炸,这么看来,如果一个函数非常复杂,而我们想要angr模拟整个函数,处理起来还是挺头痛的 一个程序收集所 阅读全文
posted @ 2025-05-03 13:45 Bri1 阅读(145) 评论(0) 推荐(0)