Vetting API usages in C programs with IMChecker.

Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Yu Jiang, Ming Gu, Jiaguang Sun

Browse the full ICSE paper archive.