Back to results
US 2025/0053395 A1Published application
System, method and computer program product for program analysis
OwnerSébastien BARDIN, Lesly-Ann DANIELinventors
Life of this patent
Estimating the term…
Loading patent…
Loading patent…
OwnerSébastien BARDIN, Lesly-Ann DANIELinventors
Estimating the term…
A computer implemented method is provided for performing symbolic execution on a symbolic representation of a computer program comprising a sequence of software instructions represented at least by variables, memories and expressions. The method is operated on-the-fly and comprises for each software instruction of the computer program: analyzing an initial symbolic representation of a software instruction to determine if a simplification may be applied to any memory-access operation included in the initial symbolic representation of the software instruction; in case of determining a simplification, generating a simplified symbolic representation of the software instruction to replace the initial symbolic representation; and generating a new symbolic representation of the computer program with the simplified symbolic representation of the software instruction.
A computer implemented method for performing symbolic execution on a symbolic representation of a computer program comprising a sequence of software instructions represented at least by variables, memories and expressions, the method being operated on-the-fly and comprising for each software instruction of the computer program:
Dependencies are inferred from the claim text.