loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
10th Working Conference on Reverse Engineering (WCRE 2003)
Completeness of a Fact Extractor
Victoria, B.C., Canada
November 13-November 17
ISBN: 0-7695-2027-8
ASCII Text
x 
 
Yuan Lin, Richard C. Holt, Andrew J. Malton, "Completeness of a Fact Extractor," Reverse Engineering, Working Conference on, pp. 196, 10th Working Conference on Reverse Engineering (WCRE 2003), 2003.
 
 
BibTex
x
 
@article{ 10.1109/WCRE.2003.1287250,
author = {Yuan Lin and Richard C. Holt and Andrew J. Malton},
title = {Completeness of a Fact Extractor},
journal ={Reverse Engineering, Working Conference on},
volume = {0},
year = {2003},
issn = {1095-1350},
pages = {196},
doi = {http://doi.ieeecomputersociety.org/10.1109/WCRE.2003.1287250},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Reverse Engineering, Working Conference on
TI - Completeness of a Fact Extractor
SN - 1095-1350
SP
EP
A1 - Yuan Lin,
A1 - Richard C. Holt,
A1 - Andrew J. Malton,
PY - 2003
KW - null
VL - 0
JA - Reverse Engineering, Working Conference on
ER -
 
Yuan Lin, University of Waterloo, Canada
Richard C. Holt, University of Waterloo, Canada
Andrew J. Malton, University of Waterloo, Canada
The process of software reverse engineering commonly uses an extractor, which parses source code and extracts facts about the code. The level of detail in these facts varies from extractor to extractor. This paper describes four levels of increasingly detailed completeness of these facts: (semantic completeness, compiler completeness, syntax completeness and source completeness) and introduces the concept of relative completeness of extractors. Validating that an extractor correctly produces facts at a given level of completeness is in general very challenging. This paper gives a method for validating the semantic completeness of an extractor, and describes the application of this method to CPPX, an extractor for C or C++ based on GCC.
Citation:
Yuan Lin, Richard C. Holt, Andrew J. Malton, "Completeness of a Fact Extractor," wcre, pp.196, 10th Working Conference on Reverse Engineering (WCRE 2003), 2003
Usage of this product signifies your acceptance of the Terms of Use.