DFA&OPT-MetaFrame: A tool kit for program analysis and optimization

  • Marion Klein
  • Dirk Koschützki
  • Jens Knoop
  • Bernhard Steffen
Tool Presentations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1055)


Whereas the construction process of a compiler for the early and late phases like syntactic analysis and code generation is well-supported by powerful tools, the optimizer, the key component for achieving highly efficient code is usually still hand-coded. The tool kit presented here supports this essential step in the construction of a compiler. The two key features making it exceptional are (1) that it automatically generates global program analyses for intraprocedural, interprocedural and parallel data flow problems, and (2) that it supports the combination of the results obtained to program optimizations.


  1. [AM]
    Alt, M., and Martin, F. Generation of efficient interprocedural analyzers with PAG. In Proc. 2nd Internat. Static Analysis Symposium (SAS'95), Glasgow, UK, Springer-Verlag, LNCS 983 (1995), 33–50.Google Scholar
  2. [DF]
    Davidson, J. W., and Fraser, C. W. Automatic generation of peephole transformations. In Proc. ACM SIGPLAN'84 Symp. on Comp. Construct., Montreal, Canada, SIGPLAN Notices 19, 6 (1984), 111–115.Google Scholar
  3. [Ke]
    Kessler, R. R. Peep — An architectural description driven peephole transformer. In Proc. ACM SIGPLAN'84 Symp. on Comp. Construct., Montreal, Canada, SIGPLAN Notices 19, 6 (1984), 106–110.Google Scholar
  4. [KRS1]
    Knoop, J., Rüthing, O., and Steffen, B. Optimal code motion: Theory and practice. Transactions on Programming Languages and Systems 16, 4 (1994), 1117–1155.Google Scholar
  5. [KRS2]
    Knoop, J., Rüthing, O., and Steffen, B. The power of assignment motion. In Proc. ACM SIGPLAN'95 Conf. on Programming Language Design and Implementation (PLDI'95), La Jolla, California, SIGPLAN Notices 30, 6 (1995), 233–245.Google Scholar
  6. [KS]
    Knoop, J., and Steffen, B. The interprocedural coincidence theorem. In Proc. 4 th Internat. Conference on Compiler Construction (CC'92), Paderborn, Germany, Springer-Verlag, LNCS 641 (1992), 125–140.Google Scholar
  7. [KSV1]
    Knoop, J., Steffen, B., and Vollmer, J. Parallelism for free: Efficient and optimal bitvector analyses for parallel programs. Accepted for Transactions on Programming Languages and Systems.Google Scholar
  8. [KSV2]
    Knoop, J., Steffen, B., and Vollmer, J. Parallelism for free: Bitvector analyses ⇒ No state explosion! In Proc. 1 st Internat. Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'95), Springer-Verlag, LNCS 1019 (1995), 264–289.Google Scholar
  9. [St]
    Steffen, B. Generating data flow analysis algorithms from modal specifications. Science of Computer Programming 21, (1993), 115–139.Google Scholar
  10. [SCKKM]
    Steffen, B., Cla\en, A., Klein, M., Knoop, J., and Margaria, T. The fixpoint-analysis machine. In Proc. 6 th Internat. Conference on Concurrency Theory (CONCUR'95), Philadelphia, Pennsylvania, Springer-Verlag, LNCS 962 (1995), 72–87.Google Scholar
  11. [VF]
    Venkatesh, G. V., and Fischer, C. N. Spare: A development evironment for program analysis algorithms. In IEEE Transactions on Software Engineering 18, 4 (1992), 304–318.Google Scholar
  12. [WS]
    Whitfield, D., and Soffa, M. L. Automatic generation of global optimizers. In Proc. ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI'91), Toronto, Ontario, Canada, SIGPLAN Notices 26, 6 (1991), 120–129.Google Scholar
  13. [YH]
    Yi, K., and Harrison III, W. L. Automatic generation and management of interprocedural program analyses. In ACM SIGPLAN-SIGACT, (Jan. 1993).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Marion Klein
    • 1
  • Dirk Koschützki
    • 2
  • Jens Knoop
    • 2
  • Bernhard Steffen
    • 2
  1. 1.Lehrstuhl für Informatik IIRheinisch-WestfÄlische Technische Hochschule AachenAachenGermany
  2. 2.FakultÄt für Mathematik und InformatikUniversitÄt PassauPassauGermany

Personalised recommendations