Detecting exploitable bugs in binary code
US9542559B2 · kind B2 · utility
1Cited by
3References
22Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Aug 17, 2015 |
| Grant date | Jan 10, 2017 |
| Priority date | — |
| Expiry date | Aug 17, 2035 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F2221/033
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Systems and methods for performing hybrid symbolic execution to detect exploitable bugs in binary code are described. In some example embodiments, the systems and methods determine that resources associated with an execution client performing symbolic execution of a target program are below, at, or above a threshold performance level, generate checkpoints for active executing paths of the online symbolic execution, and cause the execution client to perform symbolic execution in response to the determination that the resources are at or above the threshold performance level.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.