主页 / 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 )是基本的符号执行单位,本质上是一个大的循环,循环中对方法内的指令进行符号执行。
遇到分支进行定理证明,如果两条路径都能够执行则自己执行一个路径并启动另一个分身去执行另一个可执行的路径。
-
提示本站仅做资料的整理和索引,转载引用请注明出处
相关推荐
-
2019-12-07 11:40:38
-
2016-03-05 07:44:07
-
2016-03-08 14:44:31
-
2019-10-12 02:27:42
附件下载
-
Security.Checking.Android.pdf