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

Type Safety;C language

Aggarwal, Arushi ; Adve ; Vikram S.

关键词: Type Safety;    C language;   

Others  :  https://www.ideals.illinois.edu/bitstream/handle/2142/26250/Aggarwal_Arushi.pdf?sequence=1&isAllowed=y

美国|英语

来源: The Illinois Digital Environment for Access to Learning and Scholarship

【 摘 要 】

C/C++ are the languages of choice for development of many widely usedsystem softwares. However, these languages do not provide the strong safetyguarantees that safe languages such as Java do. Programming mistakes canintroduce type errors that are not caught at compile time. These errorsmay subsequently be triggered at runtime, and their sources maybe hard todetect.This thesis presents the design and implementation for a dynamic typechecker for C/C++ programs. It is built using the LLVM compiler infras-tructure and provides type safety for programs that have been compiled tothe LLVM IR.The thesis also discusses the design of static analysis to reduce the overheadof the dynamic type checker. We present an implementation of the staticanalysis and discuss how its results can be used to optimize the dynamictype checker.We also present performance evaluation on various benchmarks and systemsoftware. We present results that show that we can catch most errors withrelatively low overhead.