Methods and arrangements for unified program analysis

Details Methods and arrangements for unified program analysis Methods and arrangements for unified program analysis

2005-05-02

2009-02-17

Dam, Tuan Q (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

C717S126000

Reexamination Certificate

active

07493602

ABSTRACT:
A unified program analysis framework that facilitates the analysis of complex multi-language software systems, analysis reuse, and analysis comparison, by employing techniques such as program translation and automatic results mapping, is presented. The feasibility and effectiveness of such a framework are demonstrated using a sample application of the framework. The comparison yields new insights into the effectiveness of the techniques employed in both analysis tools. These encouraging results yield the observation that such a unified program analysis framework will prove to be valuable both as a testbed for examining different language analysis techniques, and as a unified toolset for broad program analysis.

REFERENCES:
patent: 6473896 (2002-10-01), Hicken et al.
patent: 2004/0015902 (2004-01-01), Kosche et al.
patent: 2005/0015673 (2005-01-01), Plesko et al.
Zhang et al. “The Case for Analysis Preserving Language Transformation” Jul. 2006, ACM, ISSTA '06.
Jain et al. “Analysis Preserving Language Transformation” Mar. 8, 2006, IBM Research Report RC23907.
Wilson, R. P., French, R. S., Wilson, C. S., Amarasinghe, S. P., Anderson, J. M., Tjiang, S. W., Liao, S., Tseng, C., Hall, M. W., Lam, M. S., and Hennessy, J. L. 1994. SUIF: an infrastructure for research on parallelizing and optimizing compilers. SIGPLAN Not. 29, 12 (Dec. 1994), 31-37. DOI= http://doi.acm.org/10.1145/193209.193217.
Avots, D., Dalton, M., Livshits, V. B., and Lam, M. S. 2005. Improving software security with a C pointer analysis. In Proceedings of the 27th international Conference on Software Engineering (St. Louis, MO).
Doolin, D. M., Dongarra, J., Seymour, K., “JLAPACK—Compiling LAPACK FORTRAN to Java”, Jun. 11, 1998.
Baxter, I., Pidgeon, C., and Mehlich, M., DMS: Program Transformations for Practical Scalable Software Evolution, submitted to 26th International Conference on Software Engineering May 23-28, 2004.
Erosa, A. and Hendren, L., Taming Control Flow: A Structured Approach to Eliminating Goto Statements, ACAPS Technical Memo 76, Sep. 29, 1993.

Affiliated with

Also associated with

Rating

Methods and arrangements for unified program analysis does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Methods and arrangements for unified program analysis, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Methods and arrangements for unified program analysis will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4112615