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]
No references recorded for this publication.
No citations of this publication recorded.