US 12,236,218 B2
Software code verification using call graphs for autonomous systems and applications
Ashutosh Jain, Karnataka (IN); Charan Pai, Karnataka (IN); Deepak Ravi, Kerala (IN); Karthik Raghavan Ravi, Bangalore (IN); Kiran Sj, Bangalore (IN); and Yogesh Kini, Karnataka (IN)
Assigned to NVIDIA Corporation, Santa Clara, CA (US)
Filed by NVIDIA Corporation, Santa Clara, CA (US)
Filed on Aug. 2, 2022, as Appl. No. 17/879,447.
Prior Publication US 2024/0045662 A1, Feb. 8, 2024
Int. Cl. G06F 8/41 (2018.01)
CPC G06F 8/434 (2013.01) 20 Claims
OG exemplary drawing
 
1. A method comprising:
generating, based at least on source code, a call graph comprising a plurality of nodes that represent functions of the source code;
determining, based on at least one of the source code or the call graph, that a first function of the functions is associated with a function pointer;
receiving, based at least on the first function being associated with the function pointer, a file indicating that a second function of the functions is associated with the function pointer;
updating, based at least on the file, the call graph to generate an updated call graph including an indication of a pointer call between the first function and the second function; and
determining whether a rule associated with the source code is verified based at least on the updated call graph.