%0 Journal Article %1 journals/jsw/DengLGZ15 %A Deng, Hui %A Liu, Hui %A Guo, Ying %A Zhang, Baofeng %D 2015 %J J. Softw. %K dblp %N 9 %P 1079-1085 %T Memory Allocation Vulnerability Analysis and Analysis Optimization for C Programs Based on Formal Methods. %U http://dblp.uni-trier.de/db/journals/jsw/jsw10.html#DengLGZ15 %V 10

@article{journals/jsw/DengLGZ15, added-at = {2020-08-07T00:00:00.000+0200}, author = {Deng, Hui and Liu, Hui and Guo, Ying and Zhang, Baofeng}, biburl = {https://www.bibsonomy.org/bibtex/29fc15cc90903517458b00539efe26072/dblp}, ee = {https://doi.org/10.17706/jsw.10.9.1079-1085}, interhash = {7404d5b5dccefbfcf1a5977d7445e194}, intrahash = {9fc15cc90903517458b00539efe26072}, journal = {J. Softw.}, keywords = {dblp}, number = 9, pages = {1079-1085}, timestamp = {2020-08-08T11:39:09.000+0200}, title = {Memory Allocation Vulnerability Analysis and Analysis Optimization for C Programs Based on Formal Methods.}, url = {http://dblp.uni-trier.de/db/journals/jsw/jsw10.html#DengLGZ15}, volume = 10, year = 2015 }