Odin: On-Demand Instrumentation with On-the-Fly Recompilationvirtual
Sat 18 Jun 2022 04:10 - 04:30 at Toucan - Testing & Synthesis
Instrumentation is vital to fuzzing. It provides fuzzing directions and helps detect covert bugs, yet its overhead greatly reduces the fuzzing throughput. To reduce the overhead, compilers compromise instrumentation correctness for better optimization, or seek convoluted runtime support to remove unused probes during fuzzing. In this paper, we propose Odin, an on-demand instrumentation framework to instrument C/C++ programs correctly and flexibly. When instrumentation requirement changes during fuzzing, Odin first locates the changed code fragment, then re-instruments, re-optimizes, and re-compiles the small fragment on-the-fly. Consequently, with a minuscule compilation overhead, the runtime overhead of unused probes is annihilated. Its architecture design ensures correctness in instrumentation, optimized code generation, and low latency in recompilation. Experiments show that the Odin delivers the performance of compiler-based static instrumentation while retaining the flexibility of binary-based dynamic instrumentation. When applied for coverage instrumentation, Odin’s coverage collection is 3× faster than LLVM SanitizerCoverage and 17× faster than DynamoRIO.
Fri 17 JunDisplayed time zone: Pacific Time (US & Canada) change
15:30 - 16:50 | |||
15:30 20mTalk | Interpreter-guided Differential JIT Compiler Unit Testingvirtual PLDI Guillermo Polito Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium, Stéphane Ducasse Inria, Pablo Tesone Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium DOI | ||
15:50 20mTalk | Landmarks and Regions: A Robust Approach to Data Extractionvirtual PLDI Suresh Parthasarathy Microsoft Research, Lincy Pattanaik Microsoft Research, Anirudh Khatry Microsoft Research, Arun Iyer Microsoft Research, Arjun Radhakrishna Microsoft, Sriram Rajamani Microsoft Research, Mohammad Raza Microsoft DOI | ||
16:10 20mTalk | Odin: On-Demand Instrumentation with On-the-Fly Recompilationvirtual PLDI Mingzhe Wang Tsinghua University, Jie Liang Tsinghua University, Chijin Zhou Tsinghua University, Zhiyong Wu Tsinghua University, Xinyi Xu Tsinghua University, Yu Jiang Tsinghua University DOI | ||
16:30 20mTalk | Quickstrom: Property-based acceptance testing with LTL specificationsvirtual PLDI DOI |
Sat 18 JunDisplayed time zone: Pacific Time (US & Canada) change
03:30 - 04:50 | |||
03:30 20mTalk | Interpreter-guided Differential JIT Compiler Unit Testingvirtual PLDI Guillermo Polito Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium, Stéphane Ducasse Inria, Pablo Tesone Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium DOI | ||
03:50 20mTalk | Landmarks and Regions: A Robust Approach to Data Extractionvirtual PLDI Suresh Parthasarathy Microsoft Research, Lincy Pattanaik Microsoft Research, Anirudh Khatry Microsoft Research, Arun Iyer Microsoft Research, Arjun Radhakrishna Microsoft, Sriram Rajamani Microsoft Research, Mohammad Raza Microsoft DOI | ||
04:10 20mTalk | Odin: On-Demand Instrumentation with On-the-Fly Recompilationvirtual PLDI Mingzhe Wang Tsinghua University, Jie Liang Tsinghua University, Chijin Zhou Tsinghua University, Zhiyong Wu Tsinghua University, Xinyi Xu Tsinghua University, Yu Jiang Tsinghua University DOI | ||
04:30 20mTalk | Quickstrom: Property-based acceptance testing with LTL specificationsvirtual PLDI DOI |