本文简单设计了几种循环类的控制结构来针对性的测试这几款反编译器的还原能力。同时也是为
了检验GDA对循环结构的还原能力，发现不足并加以优化。对于反编译结果，我们遵循“语义不变性>
代码可读性>代码还原度”的原则。为什么是这个原则，因为语义不变性保证了反编译的代码不会出现
程序逻辑上的问题，也就是说，保留程序的等价性，任何输入都能得到同样的输出，出现语义错误
在反编译技术领域被视为 不可接受的； 代码可读性需要建立在语义不变性的基础上，更易于人工的
阅读和分析； 而代码还原度便是反编译代码与源代码相似程度。
.....
一些APK尤其是Android恶意代码会将自身的一些重要的字符串进行加密，加大逆向分析的
难度，这类字符串往往数量比较大，很难一个一个进行处理。本文将介绍一种方法来解密这
种字符串，并将解密的字符串应用于反编译器中。
.....
FlashFlow采用上下文无关的数据流分析算法，可实现任意位置任意变量或寄存器的追踪，
并且无需对环境进行初始化，无需做任何配置。这样使得FlashFlow可以GDA反编译器进行
很好的结合，成为一个极为简单易用的辅助功能。该功能可对单个变量和寄存器进行分析
(隐私扫描功能目前仅用于测试，没有开放在GDA反编译器中)，目前支持smali代码下的任
意寄存器的值数据流分析，以及java代码中对一个method的参数和返回值进行数据流分析
.....
为了能够更加灵活的提供分析和信息交互，GDA从3.6版本开始提供了对python脚本的支持。
GDA为分析人员提供了整个APK文件中的类和方法的相关信息，其中分别以列表和字典的方式
来组织类和方法，提高类和方法的访问速度。
.....
GDA项目是因本人兴趣而启动的个人项目，无任何资金及团队做项目支持。项目始于2013年，于2015年公开发布了第一个免费版本，一直维护至今， 目前GDA独立代码已经超过12万行。免费版会长期维护并与企业版同步更新，同时确保其所有特性不变。如果你觉得该项目对你有帮助，可以扫码请我喝杯咖啡(疲惫良药啊^_^）， 感谢支持。
ADLab资深攻防专家，安全研究团队Leader、看雪智能硬件版主，KHG小组组长. 从事安全研究10年以上，长期致力于各种平台下的逆向工程、病毒分析、APT分析、攻击溯源与黑客追踪，同时对车联网安全、物联网安全、设备固件逆向、硬件调试分析等领域均有深入研究
