Identifying execution paths that satisfy reachability queries
US9015674B2 · kind B2 · utility
1Cited by
12References
20Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Sep 28, 2012 |
| Grant date | Apr 21, 2015 |
| Priority date | — |
| Expiry date | Dec 19, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3604
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Various technologies pertaining to answering reachability queries are described herein. A reachability query includes a user-specified destination line of code in source code that is desirably analyzed. A theorem prover is employed to identify an execution path through the source code that reaches the destination line of code. Graphical data is presented to the user that illustrates to the user the execution path through the source code that reaches the destination line of code.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.