Method for enforcing language subsets
US9436452B2 · kind B2 · utility
Assignee
Inventor
Key dates
| Filing date | Nov 12, 2012 |
| Grant date | Sep 6, 2016 |
| Priority date | — |
| Expiry date | Jun 8, 2033 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/53
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method of operating a data processing system to examine a compiled program for violations of a set of rules that do not constitute violations detected by the compiler that generated the program. The method includes obtaining a restricted rule set defined in terms of rules in a decompiled representation of the program. The method also includes decompiling the compiled program to the decompiled representation of the compiled program in which the restricted rule set is defined, examining the decompiled representation of the compiled program for a violation of the restricted rule set to determine if any of the rules are violated, and providing an output indicating that one of the rules was violated.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.