主页 / OWASP2014苏州沙龙0614 / Security Checking Android Apps with Silicon
  • 作者
    Dr. Hua
  • 标签
  • 简介

    Problem Architecture Detailed Design Test Data

    • AST Generation
    • Kagebunsin
    • Operator
    • Predicate
    • Symbolic Executor
    • Theorem Prover

    SWAP MAP

    由于AST过大,所以在符号执行的过程中会在内存中占用越来越多的内存,但是很多AST只会被用一次,所以可以使用类似操作系统中的方法——将不用的数据结构Swap out到磁盘上,如果下次仍然需要则再Swap in到内存即可。优化效果十分明显。

    Kagebunsin

    分身( Kagebunsin )是基本的符号执行单位,本质上是一个大的循环,循环中对方法内的指令进行符号执行。

    遇到分支进行定理证明,如果两条路径都能够执行则自己执行一个路径并启动另一个分身去执行另一个可执行的路径。

  • 提示
    本站仅做资料的整理和索引,转载引用请注明出处
附件下载
  • Security.Checking.Android.pdf
    时间: 大小: 0.76 M 下载: 28