Clair Obscur: The Light and Shadow of System Call Interposition – From Pitfalls to Solutions with K23

System call interposition is a widely used technique to trace and modify application behavior. Over the years, numerous interposition mechanisms have been proposed, each with distinct strengths and trade-offs. Recently, advances in binary rewriting—specifically targeting x86–64 syscall and sysenter instructions—have led to new techniques that take important steps forward, with some claiming to support general-purpose use. We analyze state-of-the-art interposers in depth and uncover several fundamental design and implementation flaws—pitfalls that we collectively term System Call Interposition Pitfalls. For example, prior work cannot reliably interpose all system calls and may even corrupt code and data. These flaws undermine the practicality of existing solutions in real-world scenarios, rendering them unsuitable as universal interposition mechanisms. Motivated by our findings, we design and implement a new plug-and-play system call interposition approach named K23, targeting x86–64 platforms. K23 addresses the uncovered pitfalls via a hybrid design that unifies the strengths of prior methods, combining offline and online phases that leverage multiple Linux interfaces and binary rewriting. Our evaluation shows that K23 overcomes the key limitations of state-of-the-art solutions while remaining highly efficient. To our knowledge, K23 is the first general-purpose interposer suitable for a wide range of use cases and environments, from low-end devices to performance-critical, datacenter-scale workloads.

Institutions

Publication Details

Published
2025-12-08
DOI
https://doi.org/10.1145/3721462.3770772
Primary Topic
Security and Verification in Computing
Type
article
Field-Weighted Citation Impact
0.00

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Clair Obscur: The Light and Shadow of System Call Interposition – From Pitfalls to Solutions with K23

Security and Verification in Computing
article

Clair Obscur: The Light and Shadow of System Call Interposition – From Pitfalls to Solutions with K23

article en

Abstract

System call interposition is a widely used technique to trace and modify application behavior. Over the years, numerous interposition mechanisms have been proposed, each with distinct strengths and trade-offs. Recently, advances in binary rewriting—specifically targeting x86–64 syscall and sysenter instructions—have led to new techniques that take important steps forward, with some claiming to support general-purpose use. We analyze state-of-the-art interposers in depth and uncover several fundamental design and implementation flaws—pitfalls that we collectively term System Call Interposition Pitfalls. For example, prior work cannot reliably interpose all system calls and may even corrupt code and data. These flaws undermine the practicality of existing solutions in real-world scenarios, rendering them unsuitable as universal interposition mechanisms. Motivated by our findings, we design and implement a new plug-and-play system call interposition approach named K23, targeting x86–64 platforms. K23 addresses the uncovered pitfalls via a hybrid design that unifies the strengths of prior methods, combining offline and online phases that leverage multiple Linux interfaces and binary rewriting. Our evaluation shows that K23 overcomes the key limitations of state-of-the-art solutions while remaining highly efficient. To our knowledge, K23 is the first general-purpose interposer suitable for a wide range of use cases and environments, from low-end devices to performance-critical, datacenter-scale workloads.

Ghent University Hospital (BE), Frederick University (CY), Delft University of Technology (NL)
European Commission, Vlaamse regering, HORIZON EUROPE Framework Programme
Peace, Justice and strong institutions
Openalex Percentile: Top 21%
Security and Verification in Computing
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.