During the week of September 24, we will be implementing some features to improve ERA. Some users may encounter errors when depositing or editing files. We apologize for any potential inconvenience, and will remove this message when we are done our maintenance upgrade!
- 20 views
- 7 downloads
dxlinker: Generating Real C++ ASGs
-
- Author(s) / Creator(s)
-
Technical report TR03-22. Different program analyses require different information from the source code. For some applications, an AST (Abstract Syntax Tree) representation of the source may be sufficient. We want to be able to specify assertions on the structure of a program without mentioning the source files in the source; thus a whole-program ASG (Abstract Semantic Graph) is needed. This paper documents the design of a program called dxlinker that generates ASG. dxlinker is based on Bell Canada's Datrix schema and its tool dxparscpp. It has been used to handle both MFC code and STL. Difficulty with dxparscpp is summarized. | TRID-ID TR03-22
-
- Date created
- 2003
-
- Subjects / Keywords
-
- Type of Item
- Report
-
- License
- Attribution 3.0 International