The taint rabbit: optimizing generic taint analysis with dynamic fast path generation

Generic taint analysis is a pivotal technique in software security. However, it suffers from staggeringly high overhead. In this paper, we explore the hypothesis whether just-in-time (JIT) generation of fast paths for tracking taint can enhance the performance. To this end, we present the Taint Rabb...

Full description

Bibliographic Details
Main Authors: Galea, J, Kroening, D
Format: Conference item
Language:English
Published: Association for Computing Machinery 2020