Cryptographic enforcement of borrow checking
US12008374B2 · kind B2 · utility
0Cited by
0References
27Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Mar 16, 2022 |
| Grant date | Jun 11, 2024 |
| Priority date | — |
| Expiry date | Dec 15, 2042 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F21/79
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
The technology includes allocating an object in a memory and setting an ownership identifier (ID) in the allocated object, the allocated object being associated with a first variable in a program and setting a matching ownership ID in a pointer to the allocated object. When the allocated object is accessed during execution of the program by a processor, an exception is generated when the ownership ID in the allocated object does not match the ownership ID in the pointer, and execution of the program is continued when the ownership ID in the allocated object does match the ownership ID in the pointer.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.