Semantics-based memory leak detection for C programs

Zhiqiang Liu, Bo Xu, Dong Liang, Chang Liu, Zejun Jiang, Chenglie Du. Semantics-based memory leak detection for C programs. In 12th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2015, Zhangjiajie, China, August 15-17, 2015. pages 2283-2287, IEEE, 2015. [doi]

Abstract

Abstract is missing.