Yu Wang's homepage
Yu Wang's homepage
Home
Publications
Teaching
Service
Experience
Talk
Fundings
Contact
Light
Dark
Automatic
Xuandong Li
Latest
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
Automatic Buffer Overflow Warning Validation
Dangdone: Eliminating dangling pointers via intermediate pointers
Automatic detection and validation of race conditions in interrupt-driven embedded software
Detecting data races in interrupt-driven programs based on static analysis and dynamic simulation
Cite
×