1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 计算机
  5. 手机开发

android的全系统符号执行平台android_s2e.pdfVIP

  • 47
  • 0
  • 约2.94千字
  • 约 13页
  • 2017-08-16 发布于天津
  • 举报

android的全系统符号执行平台android_s2e.pdf

    的全系统符号执行平台北京迪捷数原科技有限公司和一个布尔可满足性问题的成员是一个布尔表达式或者说一些布尔变量跟布尔逻辑运算符的组合一个表达式是可满足的如果存在某些给予布尔变量真值的方式可以使这个表达式的值为真是一个问题命题逻辑的表达式一阶逻辑的表达式参考资料起源示例符号执行的工具符号执行工具全系统的符号执行基于全系统模拟器和符号执行工具程序行为分析方法的列举和特点静态分析目前在处理大规模的软件效果最好也有和这样的成熟商业工具程序切片基本上属于静态分析模型检测模糊测试碰运气和靠人工经验的成分居多暴力

    Android 的全系统符号执行平台 Android_S2E ksh@ 北京迪捷数原科技有限公司 SAT和SMT • SAT ： – 一个布尔可满足性问题的成员(instance)是一个布尔表达式，或者 说，一些布尔变量跟布尔逻辑运算符的组合。 – 一个表达式是可满足的，如果存在某些给予布尔变量真值的方式， 可以使这个表达式的值为真； –

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >