Hybrid Static/Dynamic Type Safety for C/C++ Programs
Aggarwal, Arushi
Loading…
Permalink
https://hdl.handle.net/2142/26250
Description
Title
Hybrid Static/Dynamic Type Safety for C/C++ Programs
Author(s)
Aggarwal, Arushi
Issue Date
2011-08-25T22:20:42Z
Director of Research (if dissertation) or Advisor (if thesis)
Adve, Vikram S.
Department of Study
Computer Science
Discipline
Computer Science
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
M.S.
Degree Level
Thesis
Keyword(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.
Use this login method if you
don't
have an
@illinois.edu
email address.
(Oops, I do have one)
IDEALS migrated to a new platform on June 23, 2022. If you created
your account prior to this date, you will have to reset your password
using the forgot-password link below.
