机译:禁止辅助和上下文迁移的Android框架易受攻击和漏洞生成的象征性
Univ South Carolina Dept Comp Sci & Engn Columbia SC 29208 USA;
Univ South Carolina Dept Comp Sci & Engn Columbia SC 29208 USA;
Penn State Univ Coll Informat Sci & Technol University Pk PA 16802 USA;
Chinese Acad Sci Inst Informat Engn Beijing 100012 Peoples R China|Univ Chinese Acad Sci Sch Cyber Secur Beijing 100049 Peoples R China;
Chinese Acad Sci Inst Informat Engn Beijing 100012 Peoples R China|Univ Chinese Acad Sci Sch Cyber Secur Beijing 100049 Peoples R China;
Chinese Acad Sci Inst Informat Engn Beijing 100012 Peoples R China|Univ Chinese Acad Sci Sch Cyber Secur Beijing 100049 Peoples R China;
Chinese Acad Sci Inst Informat Engn Beijing 100012 Peoples R China|Univ Chinese Acad Sci Sch Cyber Secur Beijing 100049 Peoples R China;
Fudan Univ Sch Comp Sci Shanghai 200433 Peoples R China;
Penn State Univ Coll Informat Sci & Technol University Pk PA 16802 USA;
Penn State Univ Coll Informat Sci & Technol University Pk PA 16802 USA;
Symbolic execution; concolic execution; vulnerability discovery; exploit generation; android framework;
机译:VAnDroid:使用模型驱动的逆向工程技术对Android应用程序进行漏洞分析的框架
机译:SEEP:利用符号执行进行能源意识编程
机译:使用符号执行复杂性漏洞分析
机译:StatSym:通过统计指导的符号执行进行脆弱路径发现
机译:框架综合,用于事件驱动框架的符号执行。
机译:用于网络协议实现和漏洞检测的模型指导的符号执行方法
机译:使用符号执行检查基于Android的基于交互的解密策略