Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis

Fengjuan Gao, Yu Wang, Tianjiao Chen, Lingyun Situ, Linzhang Wang, Xuandong Li
January, 2021
Cite DOI
Type
Journal article
Publication
International Journal of Software and Informatics