基于TXL的源代码插桩技术研究

• 作者: 张琦 仵俊
• 来源期刊: 现代信息科技
• 学科: 工学
• 关键词: 运行时验证 源代码插桩 TXL 内存安全
• 年，卷（期）: 2021,（21）
• 所属期刊栏目: 计算机技术|Computer Technology
• 页码范围: 82-85,89
• 页数: 5页
• 分类号: TP311
• 语种: 中文
• DOI: 10.19850/j.cnki.2096-4706.2021.21.021

摘要

常见的运行时验证技术的插桩方式包括中间代码插桩、二进制代码插桩和源代码插桩.前两种插桩方式的插桩结果通常依赖于平台,而且不同的优化等级也会带来不同的结果,会使得部分错误被忽略.TXL是一种函数和规则混合的语言,提供源代码到源代码的转换.文章使用TXL作为插桩工具,提出一套完整的源代码插桩算法,实现了基于指针技术的C语言运行时验证工具.实验表明,该算法可以有效实现对C程序的插桩.