Verifying integrity of controller software updates
AssigneeAurora Labs Ltd.
InventorsZohar Fox, Carmit Sahar
Life of this patent
Estimating the term…
Abstract
Disclosed herein are techniques for analyzing control-flow integrity based on functional line-of-code behavior and relation models. Techniques include receiving data based on runtime operations of a controller; constructing a line-of-code behavior and relation model representing execution of functions on the controller based on the received data; constructing, based on the line-of-code behavioral and relation model, a dynamic control flow integrity model configured for the controller to enforce in real-time; and deploying the dynamic control flow integrity model to the controller.
Claims20
A non-transitory computer-readable medium including instructions that, when executed by at least one processor, cause the at least one processor to perform operations for analyzing software delta changes based on functional line-of-code behavior and relation models, comprising:
- identifying a prompt to change a first version of code on a controller to a second version of code;
- constructing, based on the identified prompt, a line-of-code behavior and relation model representing execution of functions of the controller based on functional analysis of the second version of code;
- performing a signature operation on the generated line-of-code behavior and relation model to produce a signature value;
- and
- sending the signature value to the controller;
- wherein the controller is configured to:
- compare the signature value to a computed signature value based on the second version of code;
- and
- determine, based on the comparison, whether to validate the second version of code.
A computer-implemented method for analyzing software delta changes based on functional line-of-code behavior and relation models, the method comprising:
- identifying a prompt to change a first version of code on a controller to a second version of code;
- constructing, based on the identified prompt, a line-of-code behavior and relation model representing execution of functions of the controller based on functional analysis of the second version of code;
- performing a signature operation on the generated line-of-code behavior and relation model to produce a signature value;
- and
- sending the signature value to the controller;
- wherein the controller is configured to:
- compare the signature value to a computed signature value based on the second version of code;
- and
- determine, based on the comparison, whether to validate the second version of code.
Dependencies are inferred from the claim text.