%0 Conference Paper %1 conf/fskd/LiuXLLJD15 %A Liu, Zhiqiang %A Xu, Bo %A Liang, Dong %A Liu, Chang %A Jiang, Zejun %A Du, Chenglie %B FSKD %D 2015 %I IEEE %K dblp %P 2283-2287 %T Semantics-based memory leak detection for C programs. %U http://dblp.uni-trier.de/db/conf/fskd/fskd2015.html#LiuXLLJD15 %@ 978-1-4673-7682-2

@inproceedings{conf/fskd/LiuXLLJD15, added-at = {2016-01-16T00:00:00.000+0100}, author = {Liu, Zhiqiang and Xu, Bo and Liang, Dong and Liu, Chang and Jiang, Zejun and Du, Chenglie}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27f518e6e50827ad31943f218b4ccaedf/dblp}, booktitle = {FSKD}, crossref = {conf/fskd/2015}, ee = {http://dx.doi.org/10.1109/FSKD.2015.7382308}, interhash = {ab70a81fc5ee23936d48749479eb6812}, intrahash = {7f518e6e50827ad31943f218b4ccaedf}, isbn = {978-1-4673-7682-2}, keywords = {dblp}, pages = {2283-2287}, publisher = {IEEE}, timestamp = {2016-02-02T14:04:40.000+0100}, title = {Semantics-based memory leak detection for C programs.}, url = {http://dblp.uni-trier.de/db/conf/fskd/fskd2015.html#LiuXLLJD15}, year = 2015 }