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

Published with Wowchemy — the free, open source website builder that empowers creators.