Canalyze: a static bug-finding tool for C programs.

Zhenbo Xu, Jian Zhang, Zhongxing Xu, Jiteng Wang

Browse the full ISSTA paper archive.