Architecture of the XL C++ browser

ABSTRACT

In this paper we describe the high-level architecture for a distributed static analyzer for the C++ programming language. Key features of this technology are its support for semantic queries -- queries that make use of the C++ semantics to interpret information about programs; its use of rules for describing the relations between the program symbols; and its capability to browse remote databases across a network.

REFERENCES

• 1: Richard M. Stallman, EMACS the extensible, customizable self-documenting display editor, Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation, p.147-156, June 08-10, 1981, Portland, Oregon, United States
• 2: K. Mitsui, S. Javey, T. Ohira, and K. Kuse "XL C++ Browser: User Interface" IBM Canada Technical Report no. TR-74.092, 1992.
• 3: H. Nakamura "Embeddable PROLOG Interpreter for Database-Intensive Applications," IBM Canada Technical Report no. TR-74.091, 1992.
• 4: N. Parakh, K. Mitsui, and S. Javey "XL C++ Browser: An Application of Client and Server Model," IBM Canada Technical Report no. TR-74.095, 1992.
• 5: S. Javey, K. Kuse, K. Mitsui, H. Nakamura, and K. Yasuda "XL C++ Browser: The Data Model for the C++ Program Database," IBM Canada Technical Report no. TR-74.093, 1992.
• 6: S. P. Reiss and S. Meyers, "FIELD Support for C++,", 1990 USENIX C++ Conference, Apr. 1990.
• 7: R. Raghavan, N. Ramakrishnan, and S. Strater, "A C++ Class Browser," in 1987 USENIX C++ Conference.
• 8: Scott Meyers , Steven P. Reiss, A system for multiparadigm development of software systems, Proceedings of the 6th international workshop on Software specification and design, October 25-26, 1991, Como, Italy
• 9: S. Meyers and S. P. Reiss, "Representing Programs in Multi-paradigm Software Development Environments," COMPSAC-89, Sept. 1989.
• 10: Steven P. Reiss, Connecting Tools Using Message Passing in the Field Environment, IEEE Software, v.7 n.4, p.57-66, July 1990 [doi>10.1109/52.56450]
• 11: Patrick D. O'Brien , Daniel C. Halbert , Michael F. Kilian, The Trellis programming environment, Conference proceedings on Object-oriented programming systems, languages and applications, p.91-102, October 04-08, 1987, Orlando, Florida, United States
• 12: Yih-Farn Chen , Michael Y. Nishimoto , C. V. Ramamoorthy, The C Information Abstraction System, IEEE Transactions on Software Engineering, v.16 n.3, p.325-334, March 1990 [doi>10.1109/32.48940]
• 13: J. E. Grass and Y.-F. Chen, "The C++ Information Abstractor," 1990 USENIX C++ Conference, 1990.
• 14: Mark A. Linton, Implementing relational views of programs, Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.132-140, April 1984
• 15: D. S. Rosenblum and A. L. Wolf, "Representing Semantically Analyzed C++ Code with Reprise," USENIX C++, Apr. 1991.
• 16: Karl J. Lieberherr , Ian M. Holland, Assuring Good Style for Object-Oriented Programs, IEEE Software, v.6 n.5, p.38-48, September 1989 [doi>10.1109/52.35588]