Report copyright - Spatio-Temporal Context Reduction: A Pointer-Analysis ... · a new pointer-analysis-based static analysis, CRed, for finding UAF bugs in multi-MLOC C source code efficiently and effectively.CRed
Please pass captcha verification before submit form