Abstract: Disclosed is a method for analyzing a program that includes database operation statements, said method including: a first procedure for analyzing control flow of a program and data used in the program, on the basis of the program and the execution result of the program; a second procedure for analyzing the dependency relationship among a plurality of database operation statements, in accordance with the analysis result of the first procedure and the operation details of the plurality of database operation statements; a third procedure for analyzing the propagation path of the incorrect operation in the opposite direction to the control flow, on the basis of the analysis result of the first procedure and the analysis result of the second procedure and taking as a starting point for analysis a predetermined program location which is operating incorrectly; and a fourth procedure for displaying program statements on the propagation path obtained by the third procedure. [FIG: 1A]
PLEASE SEE THE SPECIFICATION ATTACHED
| # | Name | Date |
|---|---|---|
| 1 | Form-5.pdf | 2012-11-20 |
| 2 | Form-3.pdf | 2012-11-20 |
| 3 | Form-1.pdf | 2012-11-20 |
| 4 | Drawings.pdf | 2012-11-20 |
| 5 | 9709-CHENP-2012 POWER OF ATTORNEY 20-11-2012.pdf | 2012-11-20 |
| 6 | 9709-CHENP-2012 ENGLISH TRANSLATION 20-11-2012.pdf | 2012-11-20 |
| 7 | 9709-CHENP-2012 CORRESPONDENCE OTHERS 20-11-2012.pdf | 2012-11-20 |
| 8 | 9709-CHENP-2012 FORM-18 27-11-2012.pdf | 2012-11-27 |
| 9 | 9709-CHENP-2012 CORRESPONDENCE OTHERS 27-11-2012.pdf | 2012-11-27 |
| 10 | 9709-CHENP-2012 CORRESPONDENCE OTHERS 27-9-2013.pdf | 2013-11-01 |
| 11 | 9709-CHENP-2012 CORRESPONDENCE OTHERS 05-03-2014.pdf | 2014-03-05 |
| 12 | 9709-CHENP-2012 FORM-1 05-03-2014.pdf | 2014-03-05 |
| 13 | abstract9709-CHENP-2012.jpg | 2014-03-21 |
| 14 | Form 13.pdf | 2015-06-24 |
| 15 | Covering Letter & Form 1.pdf | 2015-06-24 |
| 16 | 9709-CHENP-2012-FER.pdf | 2018-09-06 |
| 17 | 9709-CHENP-2012-AbandonedLetter.pdf | 2019-03-08 |
| 1 | 9709CHENP2012_31-08-2018.pdf |