Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code.

Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, Guoqing Harry Xu

Browse the full PLDI paper archive.