Abstract: Methods for analyzing and improving a target computer application and corresponding systems and computer-readable mediums. A method includes receiving the target application. The method includes generating a parallel control flow graph (ParCFG) corresponding to the target application. The method includes analyzing the ParCFG by the computer system. The method includes generating and storing the modified ParCFG for the target application.
Type:
Grant
Filed:
December 20, 2021
Date of Patent:
March 5, 2024
Assignee:
Tactical Computing Laboratories, LLC
Inventors:
John D. Leidel, David Donofrio, Ryan Kabrick