ERA

Download the full-sized PDF of dxlinker: Generating Real C++ ASGsDownload the full-sized PDF

Analytics

Share

Permanent link (DOI): https://doi.org/10.7939/R3513V30K

Download

Export to: EndNote  |  Zotero  |  Mendeley

Communities

This file is in the following communities:

Computing Science, Department of

Collections

This file is in the following collections:

Technical Reports (Computing Science)

dxlinker: Generating Real C++ ASGs Open Access

Descriptions

Author or creator
Hou, Daqing
Hoover, Jim
Rudnicki, Piotr
Additional contributors
Subject/Keyword
type analysis
ASG
AST
C++
Type of item
Computing Science Technical Report
Computing science technical report ID
TR03-22
Language
English
Place
Time
Description
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.
Date created
2003
DOI
doi:10.7939/R3513V30K
License information
Creative Commons Attribution 3.0 Unported
Rights

Citation for previous publication

Source
Link to related item

File Details

Date Uploaded
Date Modified
2014-04-24T22:59:42.712+00:00
Audit Status
Audits have not yet been run on this file.
Characterization
File format: pdf (Portable Document Format)
Mime type: application/pdf
File size: 491681
Last modified: 2015:10:12 20:38:12-06:00
Filename: TR03-22.pdf
Original checksum: 3eb852120b82d5fcc4fff6871721aa95
Well formed: true
Valid: true
Page count: 10
Activity of users you follow
User Activity Date