FlyCatcher infers 300 correct stateful runtime checkers from 400 tests across four systems, yielding 2.6x more correct checkers and 5.2x more error detections than prior work.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
NanoTag enables byte-granular overflow detection on unmodified MTE binaries by combining hardware tagging with selective software tripwire checks on the Scudo allocator.
citing papers explorer
-
FlyCatcher: Neural Inference of Runtime Checkers from Tests
FlyCatcher infers 300 correct stateful runtime checkers from 400 tests across four systems, yielding 2.6x more correct checkers and 5.2x more error detections than prior work.
-
NanoTag: Systems Support for Efficient Byte-Granular Overflow Detection on ARM MTE
NanoTag enables byte-granular overflow detection on unmodified MTE binaries by combining hardware tagging with selective software tripwire checks on the Scudo allocator.