PROGRAM ANALYSIS SUPPORT DEVICE
1 Assignment
0 Petitions
Accused Products
Abstract
A program analysis support device that can freely combine program analysis conditions and can realize desired program analysis. An analysis condition setting part inputs a program analysis condition in a form of a conditional equation (analysis command, an analysis subject, and analysis condition) having an inherent equation number. A POU list extraction processing executing part executes an analysis command that reads a program to generate a collection of POUs serving as analysis subjects constituting the program, and a variable use list extraction processing executing part executes an analysis command that extracts a cross-reference of a variable to extract a cross-reference of a variable to the POU collection serving as the analysis subject. Both the parts further extract a cross-reference of a variable to another POU collection. An AND processing part further performs processing of a logical product of the cross-references of both the variables and outputs a result thereof to an analysis result display part.
-
Citations
37 Claims
-
1-21. -21. (canceled)
-
22. A program analysis support device comprising:
-
with respect to a program configured by a program module, an analysis condition setting part that inputs and holds a program analysis condition of the program designated by a user, an analysis condition executing part that executes an analysis processing of the program based on the program analysis condition, and an analysis result display part that creates and outputs display data to display an analysis result processed by the analysis condition executing part, wherein the analysis condition executing part includes a variable dependence extraction processing executing part that outputs a signal that gives dependence directed graphs of variables described in the program module, and further includes a POU list extraction processing executing part that outputs a signal that gives a collection of the program modules, and wherein the variable dependence extraction processing executing part outputs the signal that gives the dependence directed graphs of the variables by using the collection of the program modules as an analysis subject range, and the POU list extraction processing executing part extracts a signal that gives a collection of program modules being present in the dependence directed graphs of the variables. - View Dependent Claims (23, 24)
-
-
25. A program analysis support device comprising:
-
with respect to a program configured by a plurality of program modules, an analysis condition setting part that inputs and holds a program analysis condition of the program designated by a user, an analysis condition executing part that executes an analysis processing of the program based on the program analysis condition, and an analysis result display part that creates and outputs display data to display an analysis result processed by the analysis condition executing part, wherein the analysis condition executing part includes a POU dependence extraction processing executing part that extracts a signal that gives a relation of calling of the plurality of program modules as dependence directed graphs, and further includes a POU list extraction processing executing part that outputs a signal that gives a collection of the plurality of program modules, and wherein the POU dependence extraction processing executing part extracts the signal that gives the dependence directed graph related to the calling of the plurality of program modules by using the collection of the plurality of program modules as an analysis subject range, and the POU list extraction processing executing part outputs a signal that gives a collection of program modules being present in the dependence directed graph related to the calling of the plurality of program modules output from the POU dependence extraction processing executing part. - View Dependent Claims (26, 27)
-
-
28. A program analysis support device comprising:
-
with respect to a program configured by a plurality of program modules, an analysis condition setting part that inputs and holds a program analysis condition of the program designated by a user, an analysis condition executing part that executes an analysis processing of the program based on the program analysis condition, and an analysis result display part that creates and outputs display data to display an analysis result processed by the analysis condition executing part, wherein the analysis condition executing part includes at least one of a variable use list extraction processing executing part that extracts a signal that gives a cross-reference of variables described in the program modules, a variable dependence extraction processing executing part that outputs a signal that gives dependence directed graphs of variables described in the program modules, a POU list extraction processing executing part that outputs a signal that gives a collection of the plurality of program modules, and a POU dependence extraction processing executing part that extracts a signal that gives a relation of calling of the plurality of program modules as dependence directed graphs, and wherein the analysis condition executing part further includes an analysis result logical operation processing executing part that processes a logical operation of analysis results processed by a program analyzing function included in the analysis condition executing part, i.e., at least one of a logical operation of collections of program modules, a logical operation of cross-references of variables, a logical operation of dependence directed graphs of the variables, and a logical operation of directed graphs of relations of calling program modules. - View Dependent Claims (29, 30, 31, 32, 33, 34, 35, 36, 37)
-
Specification