Semantics-based memory leak detection for C programs | IEEE Conference Publication | IEEE Xplore