Semantics-based memory leak detection for C programs.

Zhiqiang Liu Bo Xu Dong Liang Chang Liu Zejun Jiang Chenglie Du

Published in: FSKD (2015)

Keyphrases

leak detection
memory requirements
computer programs
memory usage
control flow
automatic programming
computing power
memory space
memory size
low memory
artificial intelligence
support vector
artificial neural networks
search engine
answer sets
computational power
learning algorithm