Dynamically validating static memory leak warnings.

Mengchen Li, Yuanjun Chen, Linzhang Wang, Guoqing Xu

Browse the full ISSTA paper archive.