Sun 25 Mar 2018 16:30 - 17:00 - Session 3: Following Instructions Chair(s): Carl Waldspurger

C codebases frequently embed nonportable and unstandardized elements such as inline assembly code. Such elements are not well understood, which poses a problem to tool developers who aspire to support C code. This paper investigates the use of x86-64 inline assembly in 1264 C projects from GitHub and combines qualitative and quantitative analyses to answer questions that tool authors may have. We found that 28.1% of the most popular projects contain inline assembly code, although the majority contain only a few fragments with just one or two instructions. The most popular instructions constitute a small subset concerned largely with multicore semantics, performance optimization, and hardware control. Our findings are intended to help developers of C-focused tools, those testing compilers, and language designers seeking to reduce the reliance on inline assembly. They may also aid the design of tools focused on inline assembly itself.

Sun 25 Mar
Times are displayed in time zone: Eastern Time (US & Canada) change

16:00 - 17:00
Session 3: Following InstructionsResearch Papers
Chair(s): Carl WaldspurgerCarl Waldspurger Consulting
Fast PokeEMU: Scaling Generated Instruction Tests Using Aggregation and State Chaining
Research Papers
Qiuchen YanUniversity of Minnesota, Stephen McCamantUniversity of Minnesota
An Analysis of x86-64 Inline Assembly in C Programs
Research Papers
Manuel RiggerJohannes Kepler University Linz, Stefan MarrUniversity of Kent, Stephen KellUniversity of Cambridge, David LeopoldsederJohannes Kepler University Linz, Hanspeter MössenböckJKU Linz, Austria
Link to publication Pre-print Media Attached