Automated detection on the security of the linked-list operations

Hongyu Kuang, Jian Wang 0020, Ruilin Li, Chao Feng, Yunfei Su, Xing Zhang. Automated detection on the security of the linked-list operations. Frontiers of Computer Science in China, 16(2):162201, 2022. [doi]

Abstract

Abstract is missing.