180130 逆向-Angr入门（1）

1625-5 王子昂 总结《2018年1月30日》 【连续第487天总结】
A. 蓝鲸whale-angr学习
B.

Angr是一个多架构的动态符号执行的框架

符号执行就是将输入抽象成一个符号（而不是具体值），分析这个符号的变化，来对应程序的路径

早期符号执行是静态的，依靠分析程序代码来进行工作
后来发展出了动态的符号执行，模拟执行该程序来工作

Angr载入二进制文件后，会将其转换为中间语言（字节码），然后进行一定程度的静态分析，以及对程序状态空间的探索，最后将上述情况混合得出结果

eg：

 v3 = "Dufhbmf";
  v4 = "pG`imos";
  v5 = "ewUglpt";
  for ( i = 0; i <= 11; ++i )
  {
    if ( (&v3)[i % 3][2 * (i / 3)] - *(