Register Expansion and SemaCall: 2 Low-overhead Dynamic Watermarks Suitable for Automation in LLVM. - David Schwarzbeck; Daniela Novac; Michael Philippsen (Checkmate@CCS, 2024)