AUTOMATIC GENERATION OF ANALYSIS-EQUIVALENT APPLICATION CONSTRUCTS
First Claim
1. A method comprising:
- accessing a computer program to be subjected to static analysis, said computer program comprising at least one framework, said at least one framework comprising high-level code and at least one configuration file;
creating from said computer program a specification which describes run-time behavior of said program, including run-time behavior of said at least one framework comprising said high-level code and said at least one configuration file;
based on said specification, generating synthetic high-level code which accurately simulates said run-time behavior of said at least one framework comprising said high-level code and said at least one configuration file, without framework usage; and
carrying out said static analysis of said computer program, based on said synthetic high-level code.
1 Assignment
0 Petitions
Accused Products
Abstract
A computer program to be subjected to static analysis includes at least one framework, in turn including high-level code and at least one configuration file. A specification which describes run-time behavior of the program, including run-time behavior of the at least one framework including the high-level code and the at least one configuration file, is created from the computer program. Based on the specification, synthetic high-level code which accurately simulates the run-time behavior of the at least one framework including the high-level code and the at least one configuration file, without framework usage, is created. Static analysis of the computer program is carried out based on the synthetic high-level code.
-
Citations
19 Claims
-
1. A method comprising:
-
accessing a computer program to be subjected to static analysis, said computer program comprising at least one framework, said at least one framework comprising high-level code and at least one configuration file; creating from said computer program a specification which describes run-time behavior of said program, including run-time behavior of said at least one framework comprising said high-level code and said at least one configuration file; based on said specification, generating synthetic high-level code which accurately simulates said run-time behavior of said at least one framework comprising said high-level code and said at least one configuration file, without framework usage; and carrying out said static analysis of said computer program, based on said synthetic high-level code. - View Dependent Claims (2, 3, 4, 5, 6, 7)
-
-
8. A computer program product comprising a computer readable storage medium having computer readable program code embodied therewith, said computer readable program code comprising:
-
computer readable program code configured to access a computer program to be subjected to static analysis, said computer program comprising at least one framework, said at least one framework comprising high-level code and at least one configuration file; computer readable program code configured to create from said computer program a specification which describes run-time behavior of said program, including run-time behavior of said at least one framework comprising said high-level code and said at least one configuration file; computer readable program code configured to, based on said specification, generate synthetic high-level code which accurately simulates said run-time behavior of said at least one framework comprising said high-level code and said at least one configuration file, without framework usage; and computer readable program code configured to carry out said static analysis of said computer program, based on said synthetic high-level code. - View Dependent Claims (9, 10, 11, 12)
-
-
13. An apparatus comprising:
-
a memory; and at least one processor, coupled to said memory, and operative to; access a computer program to be subjected to static analysis, said computer program comprising at least one framework, said at least one framework comprising high-level code and at least one configuration file; create from said computer program a specification which describes run-time behavior of said program, including run-time behavior of said at least one framework comprising said high-level code and said at least one configuration file; based on said specification, generate synthetic high-level code which accurately simulates said run-time behavior of said at least one framework comprising said high-level code and said at least one configuration file, without framework usage; and carry out said static analysis of said computer program, based on said synthetic high-level code. - View Dependent Claims (14, 15, 16, 17, 18, 19)
-
Specification