angr从入门到还没入门
Aryb1n
12月 13, 2017
资料
http://www.freebuf.com/articles/web/150296.html
https://github.com/Vsane/angr-doc-cn
疑问
s1 = claripy.Solver()
s2 = angr.Project(‘xxx’).factory.entry_state().solver…
他们都能添加约束和符号求解,这个内部是…怎么个写的呢…不会是重复代码吧
s1.add(x > 10)
s2.add(x > 10)
但这个他们eval的用法不太一样
前者是 s1.solver(e, n)
后者是 s2.solver(e)claripy.BVS 和 angr.Project(‘xxx’).factory.entry_state().solver.BVS
一样的问题
难道是内部的…各种套吗
1.