Yu Wang's homepage
Yu Wang's homepage
Home
Publications
Tools
Teaching
Service
Experience
Talk
Fundings
Contact
Light
Dark
Automatic
Automatic Buffer Overflow Warning Validation
Fengjuan Gao
,
Yu Wang
,
Linzhang Wang
,
Zijiang Yang
,
Xuandong Li
January 2020
Cite
DOI
Type
Journal article
Publication
Journal of Computer Science and Technology
Related
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software
Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis
Cite
×