标题:xBIL-A Hardware Resource Oriented Binary Intermediate Language
作者:Shi, JQ[1];Zhu, LF[1];Fang, HX[1];Guo, J[1];Zhu, HB[1];Ye, X[1]
作者全称:Shi, Jianqi[1];Zhu, Longfei[1];Fang, Huixing[1];Guo, Jian[1];Zhu, Huibiao[1];Ye, Xin[1]
通讯作者:Shi, J.(jqshi@sei.ecnu.edu.cn)
通讯作者地址:Shi, JQ (reprint author), E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.
出版年:2012
页码:211-219
关键词:Binary Intermediate Language; Pipeline Analysis; Semantics
摘要:In the modern world, program analysis and verification on binary code have been widely used. While on embedded system, a variety of platforms make the 更多
收录类别:SCOPUS;CPCI-S;EI
资源类型:外文期刊论文;外文会议论文
版权说明
文件名称:
文件大小: 0
内容类型:
版本类型: 出版稿
开放类型: 开放获取
使用许可: CC BY-NC-SA
相关成果:
TOP