Compile-time Security Analysis and Optimization of Sensitive String Producers. - Mike Samuel; Tom Palmer; Shaw Summa; Robert Grayson (CoRR, 2026)