The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
May. 26, 2020
Filed:
Oct. 25, 2016
Nanjing University, Nanjing, CN;
Nanjing University, Nanjing, Jangsu, CN;
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.
Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile