[1] |
高山, 王诚昱, 毕成铭, 朱铁英. 基于符号执行的智能合约重入漏洞检测[J]. 计算机工程, 2024, 50(10): 196-204. |
[2] |
陈建,沈潇军,姚一杨,邢雅菲,琚小明. 基于表驱动的纯软件签名错误检测算法[J]. 计算机工程, 2018, 44(4): 187-192. |
[3] |
秦振华,牟永敏. 面向C程序的环形复杂度自动化计算方法[J]. 计算机工程, 2018, 44(12): 102-107,114. |
[4] |
侯小静,姬孟洛,黄辰林,舒云星,阎奔. 实时控制系统程序模式的WCET自动分析方法[J]. 计算机工程, 2017, 43(8): 56-62,68. |
[5] |
孙贺,吴礼发,洪征,颜慧颖,张亚丰. 一种结合动态与静态分析的函数调用图提取方法[J]. 计算机工程, 2017, 43(3): 154-162. |
[6] |
王磊,侯整风,向润昭,史兆鹏. 基于嵌套复杂度的控制流混淆算法[J]. 计算机工程, 2016, 42(11): 177-181,188. |
[7] |
徐东,狄效国,孟宇龙,冯晓宁. 基于依赖图等价代换的SSDG构建算法[J]. 计算机工程, 2015, 41(12): 91-95,100. |
[8] |
曹晓,李莹. 基于反馈的JCVM指令预调度方案[J]. 计算机工程, 2014, 40(1): 78-82. |
[9] |
张平, 李清宝, 崔晨. 基于自动路径驱动的动态控制流恢复算法[J]. 计算机工程, 2013, 39(8): 77-82. |
[10] |
曾一, 刘青香, 王翠钦, 洪豪. 带OCL约束的多态路径测试线索生成方法[J]. 计算机工程, 2013, 39(8): 92-96,102. |
[11] |
黄袁, 付晓东, 贾楠, 代志华, 马玉倩. 一种工作流的控制流距离度量方法[J]. 计算机工程, 2013, 39(7): 94-98,114. |
[12] |
王庆坛, 姜淑娟, 张艳梅. 一种改进的程序可达基路径生成方法[J]. 计算机工程, 2012, 38(9): 40-42. |
[13] |
张一弛, 庞建民, 范学斌, 姚鑫磊. 基于模型检测的程序恶意行为识别方法[J]. 计算机工程, 2012, 38(18): 107-110. |
[14] |
魏雪菲, 吴健, 阮园. 基于错误模式和模型检验的静态代码分析方法[J]. 计算机工程, 2012, 38(06): 47-49. |
[15] |
王少培, 吴健, 阮园. CoSy C语言编译器安全性研究[J]. 计算机工程, 2012, 38(06): 43-46. |