Serializing C intermediate representations for efficient and portable parsing

Software - Practice and Experience

Volumn 40, Issue 3, 2010, Pages 225-238

  Meister, Jeffrey A ^a   Foster, Jeffrey S ^b   Hicks, Michael ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b Institute of Advanced Computer Science   (United States)

Author keywords

C; Intermediate representations; Parsing; Static analysis; XDR; XML

Indexed keywords

BINARY ENCODINGS; C; DATA REPRESENTATIONS; DISK REPRESENTATION; INTERMEDIATE REPRESENTATIONS; INTERNET STANDARD; SOURCE CODES; XML FILES;

LINGUISTICS; MARKUP LANGUAGES; QUERY LANGUAGES; STATIC ANALYSIS;

XML;

EID: 77749319300     PISSN: 00380644     EISSN: 1097024X     Source Type: Journal    
DOI: 10.1002/spe.954     Document Type: Article

References (29)

1. Necula GC, McPeak S, Rahul SP, Weimer W. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. Lecture Notes in Computer Science, vol. 2304. Springer: Berlin, 2002; 213-228.
2. W3C XML Page. Available at: http://www.w3.org/XML/[29 April 2008].
3. RFC 4506: External Data Representation Standard Page. Available at: http://tools.ietf.org/html/rfc4506.html [29 April 2008].
4. Necula GC, Condit J, Harren M, McPeak S, Weimer W. CCured: type-safe retrofitting of Legacy software. TOPLAS 2005; 27(3):477-526.
5. Pratikakis P, Foster JS, Hicks M. Locksmith: Context-sensitive correlation analysis for race detection. PLDI'06, Ottawa, Canada, June 2006; 320-331.
6. Condit J, Harren M, Anderson Z, Gay D, Necula GC. Dependent types for low-level programming. Proceedings of European Symposium on Programming (ESOP), Braga, Portugal, 2007.
7. The Caml Language Home Page. Available at: http://caml.inria.fr/[13 January 2009].
8. XML 1.0 Specification Page, Section 1.1. Available at: http://www.w3.org/TR/2006/REC-xml-20060816/[29 April 2008].
9. RFC 4506: External Data Representation Standard Page, Section 1. Available at: http://tools.ietf.org/html/rfc4506.html [29 April 2008].
10. Ocamlnet Page. Available at: http://projects.camlcity.org/projects/ ocamlnet.html [29 April 2008].
11. Stolpmann G. personal correspondence. July 2007.
12. RFC 4506: External Data Representation Standard Page, Section 5, Item 4. Available at: http://tools.ietf.org/html/rfc4506.html [29 April 2008].
13. X.891: Information Technology-Generic Applications of ASN.1: Fast Infoset. Available at: http://www.itu.int/rec/T-REC-X.891-200505-I/en/[5 May 2009].
14. EBML-Technical Specifications. Available at: http://ebml.sourceforge.net/ specs/[5 May 2009].
15. W3C Binary Characterization. Available at: http://www.w3.org/TR/xbc- characterization/[29 April 2008].
16. SLOCCount Page. Available at: http://www.dwheeler.com/sloccount/ sloccount.html [29 April 2008].
17. Hennessy JL, Patterson DA. Computer Architecture: A Quantitative Approach (4th edn). Morgan Kaufmann: San Francisco, 2007.
18. PXP Page. Available at: http://projects.camlcity.org/projects/pxp.html [29 April 2008].
19. Xerces-C++ page. Available at: http://xerces.apache.org/xerces-c/[7 April 2009].
20. SCEW-Simple C Expat Wrapper Page. Available at: http://www.nongnu.org/ scew/[7 April 2009].
21. The Expat XML Parser Page. Available at: http://expat.sourceforge.net/[7 April 2009].
22. GNU Zip Page. Available at: http://www.gzip.org/[21 January 2009].
23. Exuberant Ctags Page. Available at: http://ctags.sourceforge.net/[29 April 2008].
24. Aiken A et al. An overview of the Saturn project. PASTE, San Diego, CA, U.S.A., 2007.
25. The LLVM Compiler Infrastructure Project Page. Available at: http://llvm.org/[4 May 2009].
26. Cscope Page. Available athttp://cscope.sourceforge.net/[29 April 2008].
27. Martin M, Livshits B, Lam MS. Finding Application Errors and Security Flaws Using PQL: A Program Query Language. OOPSLA, San Diego, CA, U.S.A., 2005.
28. GEN++ Page. Available at: http://www.cs.ucdavis.edu/devanbu/genp/[29 April 2008].
29. Frama-C Page. Available at: http://frama-c.cea.fr/whatis.html [20 January 2009].