@article{Hongyu KUANG:162201, author = {Hongyu KUANG, Jian WANG, Ruilin LI, Chao FENG, YunFei SU, Xing ZHANG}, title = {Automated detection on the security of the linked-list operations}, publisher = {Front. Comput. Sci.}, year = {2022}, journal = {Frontiers of Computer Science}, volume = {16}, number = {2}, eid = {162201}, numpages = {0}, pages = {162201}, keywords = {}, url = {https://journal.hep.com.cn/fcs/EN/abstract/article_28568.shtml}, doi = {10.1007/s11704-020-0312-6} }