메뉴 건너뛰기




Volumn 190, Issue 1 SPEC. ISS., 2007, Pages 51-66

An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode

Author keywords

abstract interpretation; Fixpoint algorithm; Java bytecode; multivariance; static analysis

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; STATIC ANALYSIS;

EID: 34547434156     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.02.060     Document Type: Article
Times cited : (7)

References (36)
  • 1
    • 85028681143 scopus 로고    scopus 로고
    • David F. Bacon and Peter F. Sweeney. Fast static analysis of c++ virtual function calls. In OOPSLA, pages 324-341, 1996
  • 2
    • 1442264340 scopus 로고    scopus 로고
    • Points-to analysis using bdds
    • Conference on Programming Language Design and Implementation, ACM Press
    • Berndl M., Lhoták O., Qian F., Hendren L., and Umanee N. Points-to analysis using bdds. Proceedings of the ACM SIGPLAN 2003. Conference on Programming Language Design and Implementation (2003), ACM Press 103-114
    • (2003) Proceedings of the ACM SIGPLAN 2003 , pp. 103-114
    • Berndl, M.1    Lhoták, O.2    Qian, F.3    Hendren, L.4    Umanee, N.5
  • 3
    • 17144374489 scopus 로고    scopus 로고
    • Bruno Blanchet. Escape Analysis for Object Oriented Languages. Application to Java(TM). In Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'99), pages 20-34, Denver, Colorado, November 1999
  • 4
    • 84879487490 scopus 로고    scopus 로고
    • A Model for Inter-module Analysis and Optimizing Compilation
    • Logic-based Program Synthesis and Transformation, Springer-Verlag
    • Bueno F., de la Banda M.G., Hermenegildo M., Marriott K., Puebla G., and Stuckey P. A Model for Inter-module Analysis and Optimizing Compilation. Logic-based Program Synthesis and Transformation. LNCS number 2042 (March 2001), Springer-Verlag 86-102
    • (2001) LNCS , vol.number 2042 , pp. 86-102
    • Bueno, F.1    de la Banda, M.G.2    Hermenegildo, M.3    Marriott, K.4    Puebla, G.5    Stuckey, P.6
  • 5
    • 19044389884 scopus 로고    scopus 로고
    • Bor-Yuh Evan Chang and K. Rustan M. Leino. Abstract interpretation with alien expressions and heap structures. In VMCAI, pages 147-163, 2005
  • 6
    • 85020638518 scopus 로고
    • Optimization Techniques for General Purpose Fixpoint Algorithms: Practical Efficiency for the Abstract Interpretation of Prolog
    • Springer-Verlag
    • Le Charlier B., Degimbe O., Michael L., and Van Hentenryck P. Optimization Techniques for General Purpose Fixpoint Algorithms: Practical Efficiency for the Abstract Interpretation of Prolog. Workshop on Static Analysis (September 1993), Springer-Verlag 15-26
    • (1993) Workshop on Static Analysis , pp. 15-26
    • Le Charlier, B.1    Degimbe, O.2    Michael, L.3    Van Hentenryck, P.4
  • 7
    • 33745593108 scopus 로고    scopus 로고
    • Experiments in Context-Sensitive Analysis of Modular Programs
    • 15th International Symposium on Logic-based Program Synthesis and Transformation. (LOPSTR'05), Springer-Verlag
    • Correas J., Puebla G., Hermenegildo M., and Bueno F. Experiments in Context-Sensitive Analysis of Modular Programs. 15th International Symposium on Logic-based Program Synthesis and Transformation. (LOPSTR'05). LNCS 3901 (April 2006), Springer-Verlag
    • (2006) LNCS , vol.3901
    • Correas, J.1    Puebla, G.2    Hermenegildo, M.3    Bueno, F.4
  • 8
    • 85050550846 scopus 로고    scopus 로고
    • P. Cousot and R. Cousot. Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Fourth ACM Symposium on Principles of Programming Languages, pages 238-252, 1977
  • 9
    • 2442589724 scopus 로고    scopus 로고
    • P. Cousot and R. Cousot. An abstract interpretation-based framework for software watermarking. Conference Record of the Thirtyfirst Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 173-185, Venice, Italy, January 14-16 2004. ACM Press, New York, NY
  • 10
    • 84948958710 scopus 로고    scopus 로고
    • Jeffrey Dean, David Grove, and Craig Chambers. Optimization of object-oriented programs using static class hierarchy analysis. In ECOOP, pages 77-101, 1995
  • 12
    • 0023561596 scopus 로고    scopus 로고
    • S. W. Dietrich. Extension Tables: Memo Relations in Logic Programming. In Fourth IEEE Symposium on Logic Programming, pages 264-272, September 1987
  • 13
    • 24144440405 scopus 로고    scopus 로고
    • Information Flow Analysis for Java Bytecode
    • Proc. of VMCAI, Springer-Verlag
    • Genaim S., and Spoto F. Information Flow Analysis for Java Bytecode. Proc. of VMCAI. LNCS (2005), Springer-Verlag
    • (2005) LNCS
    • Genaim, S.1    Spoto, F.2
  • 16
    • 33845245278 scopus 로고    scopus 로고
    • Preliminary design of jml: a behavioral interface specification language for java
    • Leavens G.T., Baker A.L., and Ruby C. Preliminary design of jml: a behavioral interface specification language for java. SIGSOFT Softw. Eng. Notes 31 3 (2006) 1-38
    • (2006) SIGSOFT Softw. Eng. Notes , vol.31 , Issue.3 , pp. 1-38
    • Leavens, G.T.1    Baker, A.L.2    Ruby, C.3
  • 17
    • 84958745294 scopus 로고    scopus 로고
    • Xavier Leroy. Java bytecode verification: An overview. In CAV, pages 265-285, 2001
  • 18
    • 34547459890 scopus 로고    scopus 로고
    • Tal Lev-Ami and Shmuel Sagiv. TVLA: A system for implementing static analyses. In SAS, 2000
  • 20
    • 19044364624 scopus 로고    scopus 로고
    • Abstract interpretation and object-oriented languages: quo vadis?
    • Proc. of the 1st. Int'l. Workshop on Abstract Interpretation of Object-oriented Languages. (AIOOL'05) Elsevier Science
    • Logozzo F., and Cortesi A. Abstract interpretation and object-oriented languages: quo vadis?. Proc. of the 1st. Int'l. Workshop on Abstract Interpretation of Object-oriented Languages. (AIOOL'05). ENTCS (January 2005) Elsevier Science
    • (2005) ENTCS
    • Logozzo, F.1    Cortesi, A.2
  • 21
    • 34547428306 scopus 로고    scopus 로고
    • Francesco Logozzo. Cibai: An abstract interpreation-based static analyzer for modular analysis and verification of java classes. In VMCAI'07. To appear, Jan 2007
  • 22
    • 34547485765 scopus 로고    scopus 로고
    • M. Méndez, J. Navas, and M. Hermenegildo. Efficient, Parametric Analysis of Java Bytecode. Technical Report CLIP9/2006.0, Technical University of Madrid (UPM), School of Computer Science, UPM, December 2006
  • 23
    • 84959039621 scopus 로고    scopus 로고
    • Decompiling java bytecode: Problems, traps and pitfalls
    • CC '02: Proceedings of the 11th International Conference on Compiler Construction, Springer-Verlag, London, UK
    • Miecznikowski J., and Hendren L.J. Decompiling java bytecode: Problems, traps and pitfalls. CC '02: Proceedings of the 11th International Conference on Compiler Construction. Lecture Notes in Computer Science volume 2304 (2002), Springer-Verlag, London, UK 111-127
    • (2002) Lecture Notes in Computer Science , vol.2304 , pp. 111-127
    • Miecznikowski, J.1    Hendren, L.J.2
  • 24
    • 38249013389 scopus 로고
    • Compile-time Derivation of Variable Dependency Using Abstract Interpretation
    • Muthukumar K., and Hermenegildo M. Compile-time Derivation of Variable Dependency Using Abstract Interpretation. Journal of Logic Programming 13 2/3 (July 1992) 315-347
    • (1992) Journal of Logic Programming , vol.13 , Issue.2-3 , pp. 315-347
    • Muthukumar, K.1    Hermenegildo, M.2
  • 25
    • 34547483808 scopus 로고    scopus 로고
    • Isabelle Pollet Towards a generic framework for the abstract interpretation of Java PhD thesis, Catholic University of Louvain, 2004. Dept. of Computer Science
  • 27
    • 84958769068 scopus 로고    scopus 로고
    • Modular Control Flow Analysis for Libraries
    • Static Analysis Symposium. SAS'02, Springer-Verlag
    • Probst C.W. Modular Control Flow Analysis for Libraries. Static Analysis Symposium. SAS'02. LNCS volume 2477 (2002), Springer-Verlag 165-179
    • (2002) LNCS , vol.2477 , pp. 165-179
    • Probst, C.W.1
  • 28
    • 0037544944 scopus 로고    scopus 로고
    • An Assertion Language for Constraint Logic Programs
    • Analysis and Visualization Tools for Constraint Programming, Springer
    • Puebla G., Bueno F., and Hermenegildo M. An Assertion Language for Constraint Logic Programs. Analysis and Visualization Tools for Constraint Programming. LNCS 1870 (2000), Springer 23-61
    • (2000) LNCS , vol.1870 , pp. 23-61
    • Puebla, G.1    Bueno, F.2    Hermenegildo, M.3
  • 29
    • 84957647668 scopus 로고    scopus 로고
    • Optimized Algorithms for the Incremental Analysis of Logic Programs
    • SAS'96, Springer
    • Puebla G., and Hermenegildo M. Optimized Algorithms for the Incremental Analysis of Logic Programs. SAS'96. LNCS 1145 (1996), Springer 270-284
    • (1996) LNCS , vol.1145 , pp. 270-284
    • Puebla, G.1    Hermenegildo, M.2
  • 30
    • 0040040537 scopus 로고
    • Magic templates: A spellbinding approach to logic programs
    • aghu Ramakrishnan R. Magic templates: A spellbinding approach to logic programs. The Journal of Logic Programming 11 3 & 4 (October/November 1991) 189-216
    • (1991) The Journal of Logic Programming , vol.11 , Issue.3-4 , pp. 189-216
    • aghu Ramakrishnan, R.1
  • 31
    • 0034449895 scopus 로고    scopus 로고
    • Erik Ruf. Effective synchronization removal for java. In PLDI, pages 208-218, 2000
  • 32
    • 33646023195 scopus 로고    scopus 로고
    • Stefano Secci and Fausto Spoto. Pair-sharing analysis of object-oriented programs. In SAS, pages 320-335, 2005
  • 33
    • 34547457890 scopus 로고    scopus 로고
    • F. Spoto. Julia: A Generic Static Analyser for the Java Bytecode. In Proc. of the 7th Workshop on Formal Techniques for Java-like Programs, FTfJP'2005, Glasgow, Scotland, July 2005. Available at www.sci.univr.it/~spoto/papers.html
  • 34
    • 34547462049 scopus 로고    scopus 로고
    • M. Streckenbach and G. Snelting. Points-to for java: A general framework and an empirical comparison. Technical report, University Passau, November 2000
  • 35
    • 34547442257 scopus 로고    scopus 로고
    • Raja Vallee-Rai, Laurie Hendren, Vijay Sundaresan, Patrick Lam, Etienne Gagnon, and Phong Co. Soot - a Java optimization framework. In Proceedings of CASCON 1999, pages 125-135, 1999


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.