陈哲老师课题组关于内存安全性动态分析的源代码级插桩框架工作被软件工程顶刊IEEE Transactions on Software Engineering（CCF-A类期刊）录用。

Zhe Chen, Qi Zhang, Jun Wu, Junqi Yan, and Jingling Xue. A source-level instrumentation framework for the dynamic analysis of memory safety. IEEE Transactions on Software Engineering, 49(4):2107–2127, IEEE, 2023.