VFQL: combinational static analysis as query language.

Guang Chen, Yuexing Wang, Min Zhou, Jiaguang Sun

Browse the full ISSTA paper archive.