基于插桩和布尔逻辑的运行时程序验证框架

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

李业华, 顾乃杰, 张颖楠, 彭飞

Runtime Program Verification Framework Based on Instrumentation and Boolean Logic

LI Ye-Hua, GU Ai-Jie, ZHANG Ying-Nan, BANG Fei

计算机工程 . 2013, (1): 29 -34 . DOI: 10.3969/j.issn.1000-3428.2013.01.006