Departmental Papers (CIS)

Date of this Version

2006

Document Type

Conference Paper

Comments

Suggested Citation:
Jacobs, M. and E.C. Lewis. (2006). SMART C: A Semantic Macro Replacement Translator for C. Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation. New York: IEEE.

©2006 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.

Abstract

Programmers often want to transform the source or binary representations of their programs (e.g., to optimize, add dynamic safety checks, or add profile gathering code). Unfortunately, existing approaches to program transformation are either disruptive to the source (hand transformation), difficult to implement (ad hoc analysis tools), or functionally limited (macros). We propose an extension to the C programming language called the Semantic Macro Replacement Translator (SMART C). SMART C allows for the specification of very general type-aware transformations of all operations, statements, and declarations of the C programming language without exposing the programmer to the complexities of the system’s internal representations. We have implemented a prototype SMART C sourceto- source translator and show its use in transforming programs for buffer overflow detection, format string vulnerability detection, and weighted call graph profiling. We show that SMART C achieves a pragmatic balance between generality and ease of use.

Share

COinS
 

Date Posted: 12 October 2010

This document has been peer reviewed.