IDEALS Home University of Illinois at Urbana-Champaign logo The Alma Mater The Main Quad

Hybrid Static/Dynamic Type Safety for C/C++ Programs

Show full item record

Bookmark or cite this item: http://hdl.handle.net/2142/26250

Files in this item

File Description Format
PDF Aggarwal_Arushi.pdf (344KB) (no description provided) PDF
Title: Hybrid Static/Dynamic Type Safety for C/C++ Programs
Author(s): Aggarwal, Arushi
Advisor(s): Adve, Vikram S.
Department / Program: Computer Science
Discipline: Computer Science
Degree Granting Institution: University of Illinois at Urbana-Champaign
Degree: M.S.
Genre: Thesis
Subject(s): Type Safety C language
Abstract: C/C++ are the languages of choice for development of many widely used system softwares. However, these languages do not provide the strong safety guarantees that safe languages such as Java do. Programming mistakes can introduce type errors that are not caught at compile time. These errors may subsequently be triggered at runtime, and their sources maybe hard to detect. This thesis presents the design and implementation for a dynamic type checker for C/C++ programs. It is built using the LLVM compiler infras- tructure and provides type safety for programs that have been compiled to the LLVM IR. The thesis also discusses the design of static analysis to reduce the overhead of the dynamic type checker. We present an implementation of the static analysis and discuss how its results can be used to optimize the dynamic type checker. We also present performance evaluation on various benchmarks and system software. We present results that show that we can catch most errors with relatively low overhead.
Issue Date: 2011-08-25
URI: http://hdl.handle.net/2142/26250
Rights Information: Copyright 2011 Arushi Aggarwal
Date Available in IDEALS: 2011-08-25
Date Deposited: 2011-08
 

This item appears in the following Collection(s)

Show full item record

Item Statistics

  • Total Downloads: 230
  • Downloads this Month: 1
  • Downloads Today: 0

Browse

My Account

Information

Access Key