Precise Static Analysis of Binaries by Extracting Relational Information
Precise Static Analysis of Binaries by Extracting Relational Information
复制标题
通过提取关系信息对二进制文件进行精确静态分析
DOI：
10.1109/wcre.2011.50
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
A. Simon
中科院分区：
文献类型：
--
作者：
A. Sepp;B. Mihaila;A. Simon
登录
查看更多内容
x86 汇编代码的等式推理
DOI：
--
发表时间：
2011
期刊：
2011 IEEE 11th International Working Conference on Source Code Analysis and Manipulation
影响因子：
--
作者：
Kevin Coogan;S. Debray
通讯作者：
S. Debray
使用仿射函数进行位精确推理
DOI：
10.1145/1512464.1512474
发表时间：
2008
期刊：
--
影响因子：
--
作者：
Kettle N
通讯作者：
Kettle N
DOI：
10.1145/1315245.1315313
发表时间：
2007-10
期刊：
--
影响因子：
--
作者：
H. Shacham
通讯作者：
H. Shacham
带地标的加宽多面体
DOI：
--
发表时间：
2006
期刊：
Asian Symposium on Programming Languages and Systems
影响因子：
--
作者：
A. Simon;A. King
通讯作者：
A. King
使用联合类型和指针算术的嵌入式 C 程序的字段敏感值分析
DOI：
10.1145/1134650.1134659
发表时间：
2006
期刊：
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
A. Miné
通讯作者：
A. Miné