TY - RPRT TI - A Trace-based Approach for Code Safety Analysis AU - Hui Xu PY - 2026 UR - https://arxiv.org/abs/2510.10410 ID - 2510.10410 ER -