VBSAC: a value-based static analyzer for C.

Chi Li, Min Zhou, Zuxing Gu, Guang Chen, Yuexing Wang, Jiecheng Wu, Ming Gu

Browse the full ISSTA paper archive.