Jinguo Zhou

最新

• SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code
• Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code