Method and system automatic buffer overflow warning inspection and bug repair
US10664601B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Oct 25, 2016 |
| Grant date | May 26, 2020 |
| Priority date | — |
| Expiry date | Mar 13, 2037 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F2221/033
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A system for automatic buffer overflow warning inspection and bug repair is disclosed. The system includes a first module for warning reachability analysis, the first module accepts static overflow warnings and source code as an input, the first module is functionally connected to the second and the third modules, and sends out a warning path set as an output. The system also includes a second module for guided symbolic execution, the second module is functionally connected to the first module and the third module. The system further includes a third module for buffer overflow validation, the third module is functionally connected to the first, the second and the four modules and sends out undecided warnings and false warnings as output. The system further includes a fourth module for targeted automatic repair, the fourth module is functionally connected to the third module and sends out true warnings as output.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.