[1] |
高山, 王诚昱, 毕成铭, 朱铁英. 基于符号执行的智能合约重入漏洞检测[J]. 计算机工程, 2024, 50(10): 196-204. |
[2] |
李扬, 戴紫彬, 李军伟. 面向RISC处理器的控制流认证方案[J]. 计算机工程, 2019, 45(12): 134-140,146. |
[3] |
陈建,沈潇军,姚一杨,邢雅菲,琚小明. 基于表驱动的纯软件签名错误检测算法[J]. 计算机工程, 2018, 44(4): 187-192. |
[4] |
秦振华,牟永敏. 面向C程序的环形复杂度自动化计算方法[J]. 计算机工程, 2018, 44(12): 102-107,114. |
[5] |
侯小静,姬孟洛,黄辰林,舒云星,阎奔. 实时控制系统程序模式的WCET自动分析方法[J]. 计算机工程, 2017, 43(8): 56-62,68. |
[6] |
李双全,杜亚娟,刘凌锋. 空间对接仿真试验台对接机构测控系统设计[J]. 计算机工程, 2017, 43(6): 24-29. |
[7] |
孙贺,吴礼发,洪征,颜慧颖,张亚丰. 一种结合动态与静态分析的函数调用图提取方法[J]. 计算机工程, 2017, 43(3): 154-162. |
[8] |
张鹏,朱利,杜小智,贺朝会,陈皓. 基于结构化标签的控制流错误检测算法[J]. 计算机工程, 2016, 42(6): 37-42. |
[9] |
王磊,侯整风,向润昭,史兆鹏. 基于嵌套复杂度的控制流混淆算法[J]. 计算机工程, 2016, 42(11): 177-181,188. |
[10] |
叶雁秋,王震宇,赵利军. ARM 架构中控制流完整性验证技术研究[J]. 计算机工程, 2015, 41(3): 151-155,171. |
[11] |
徐东,狄效国,孟宇龙,冯晓宁. 基于依赖图等价代换的SSDG构建算法[J]. 计算机工程, 2015, 41(12): 91-95,100. |
[12] |
黄荷洁,康绯,舒辉. 基于动态数据流分析的虚拟机保护破解技术[J]. 计算机工程, 2014, 40(9): 59-65. |
[13] |
曹晓,李莹. 基于反馈的JCVM指令预调度方案[J]. 计算机工程, 2014, 40(1): 78-82. |
[14] |
曾一, 刘青香, 王翠钦, 洪豪. 带OCL约束的多态路径测试线索生成方法[J]. 计算机工程, 2013, 39(8): 92-96,102. |
[15] |
张平, 李清宝, 崔晨. 基于自动路径驱动的动态控制流恢复算法[J]. 计算机工程, 2013, 39(8): 77-82. |