Wed 20 Jun 2018 14:50 - 15:15 at Grand Ballroom CD - Dynamic Techniques Chair(s): Sorin Lerner

Low-level programming languages with weak/static type systems, such as C and C++, are vulnerable to errors relating to the misuse of memory at runtime, such as (sub-)object bounds overflows, (re)use-after-free, and type confusion. Such errors account for many security and other undefined behavior bugs for programs written in these languages. In this paper, we introduce the notion of dynamically typed C/C++, which aims to detect such errors by dynamically checking the "effective type" of each object before use at runtime. We also present an implementation of dynamically typed C/C++ in the form of the Effective Type Sanitizer (EffectiveSan). EffectiveSan enforces type and memory safety using a combination of low-fat pointers, type meta data and type/bounds check instrumentation. We evaluate EffectiveSan against the SPEC2006 benchmark suite and the Firefox web browser, and detect several new type and memory errors. We also show that EffectiveSan achieves high compatibility and reasonable overheads for the given error coverage. Finally, we highlight that EffectiveSan is one of only a few tools that can detect sub-object bounds errors, and uses a novel approach (dynamic type checking) to do so.

Wed 20 Jun

pldi-2018-papers
14:00 - 15:40: PLDI Research Papers - Dynamic Techniques at Grand Ballroom CD
Chair(s): Sorin LernerUniversity of California, San Diego
pldi-2018-papers14:00 - 14:25
Talk
Media Attached
pldi-2018-papers14:25 - 14:50
Talk
Daniele Cono D'EliaSapienza University of Rome, Italy, Camil DemetrescuSapienza University Rome
Media Attached
pldi-2018-papers14:50 - 15:15
Talk
Gregory J. DuckNational University of Singapore, Singapore, Roland H. C. YapNational University of Singapore, Singapore
Media Attached
pldi-2018-papers15:15 - 15:40
Talk
Cheng CaiUniversity of California, Irvine, Qirun ZhangUniversity of California, Davis, Zhiqiang ZuoNanjing University, China, Khanh NguyenUniversity of California, Irvine, Harry XuUniversity of California, Los Angeles (UCLA), Zhendong SuUniversity of California, Davis
Media Attached