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

Zhenbo Xu et al. (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics