Example-based synthesis of rules for detecting violations of software coding practices
US11914993B1 · kind B1 · utility
3Cited by
7References
20Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Jun 30, 2021 |
| Grant date | Feb 27, 2024 |
| Priority date | — |
| Expiry date | Apr 20, 2042 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06N20/00
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
An aggregate representation of a collection of source code examples is constructed. The collection includes positive examples that conform to a coding practice and negative examples do not conform to the coding practice. The aggregate representation includes nodes corresponding to source code elements, and edges representing relationships between code elements. Using an iterative analysis of the aggregate representation, a rule to automatically detect non-conformance is generated. The rule is used to provide an indication that a set of source code is non-conformant.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.