Yu Wang's homepage
Yu Wang's homepage
Home
Publications
Tools
Teaching
Service
Experience
Talk
Fundings
Contact
Light
Dark
Automatic
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
Related
Deep Learning-Based Hybrid Fuzz Testing
High-precision Data Race Detection Method for Large Scale Programs
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software
Dangdone: Eliminating dangling pointers via intermediate pointers
Automatic Buffer Overflow Warning Validation
Cite
×