XCORE: Support for developing program analysis tools. - Alexandru Stefanica; Petru Florin Mihancea (SANER, 2017)