Xiao Xiao

最新

• LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems
• 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
• Casper: an efficient approach to call trace collection