US 11,720,731 B2
Verifying software malfunction sources among disparate code sources
Zohar Fox, Tel Aviv (IL); and Carmit Sahar, Tel Aviv (IL)
Assigned to Aurora Labs Ltd., Tel Aviv (IL)
Filed by Aurora Labs Ltd., Tel Aviv (IL)
Filed on Nov. 30, 2021, as Appl. No. 17/537,569.
Application 17/537,569 is a continuation of application No. 17/109,509, filed on Dec. 2, 2020, granted, now 11,216,359.
Application 17/109,509 is a continuation of application No. 16/828,732, filed on Mar. 24, 2020, granted, now 10,884,898, issued on Jan. 5, 2021.
Claims priority of provisional application 62/823,131, filed on Mar. 25, 2019.
Prior Publication US 2022/0083462 A1, Mar. 17, 2022
Int. Cl. G06F 21/57 (2013.01); G06F 11/36 (2006.01); G06F 16/901 (2019.01); G06N 20/00 (2019.01); G06F 8/75 (2018.01); G06F 17/18 (2006.01); G06F 8/34 (2018.01); G06F 8/65 (2018.01); G06F 8/71 (2018.01); G06F 21/52 (2013.01); G06F 21/62 (2013.01); G06F 18/24 (2023.01); G06F 21/56 (2013.01); G06F 30/15 (2020.01); G10H 1/00 (2006.01); G06F 30/33 (2020.01)
CPC G06F 21/57 (2013.01) [G06F 8/34 (2013.01); G06F 8/65 (2013.01); G06F 8/71 (2013.01); G06F 8/75 (2013.01); G06F 11/362 (2013.01); G06F 11/3604 (2013.01); G06F 11/3612 (2013.01); G06F 11/3692 (2013.01); G06F 16/9014 (2019.01); G06F 17/18 (2013.01); G06F 18/24 (2023.01); G06F 21/52 (2013.01); G06F 21/563 (2013.01); G06F 21/6218 (2013.01); G06N 20/00 (2019.01); G06F 30/15 (2020.01); G06F 30/33 (2020.01); G10H 1/0058 (2013.01)] 20 Claims
OG exemplary drawing
 
16. A computer-implemented method for identifying sources of software-based malfunctions, the method comprising:
identifying a potential software malfunction of at least one controller in a system, the system having multiple code sets, the code sets having respective different source identifiers and being associated with controlling different runtime operations of the system;
generating, using static or dynamic analysis, a line-of-code behavior and relation model that is based on functional analysis of multiple datasets associated with the different runtime operations and models execution of a software package including at least one of the code sets on the at least one controller;
identifying, based on the line-of-code behavior and relation model, a code set from among the code sets, the identified code set determined to have a potential to cause, at least in part, the potential software malfunction;
determining a source identifier of the identified code set from among the respective different source identifiers; and
sending a report based on the potential software malfunction to a source associated with the determined source identifier, the report including an identifier of the at least one controller.