Fengjuan Gao, Yu Wang 0002, Tianjiao Chen, Lingyun Situ, Linzhang Wang, Xuandong Li. Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis. Int. J. Software and Informatics, 11(2):121-147, 2021. [doi]
@article{GaoWCSWL21,
title = {Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis},
author = {Fengjuan Gao and Yu Wang 0002 and Tianjiao Chen and Lingyun Situ and Linzhang Wang and Xuandong Li},
year = {2021},
doi = {10.21655/ijsi.1673-7288.00246},
url = {https://doi.org/10.21655/ijsi.1673-7288.00246},
researchr = {https://researchr.org/publication/GaoWCSWL21},
cites = {0},
citedby = {0},
journal = {Int. J. Software and Informatics},
volume = {11},
number = {2},
pages = {121-147},
}