XCore A Tool for the Development of Program Analysis Tools Copyright and license Code and documentation copyright 2015 Alexandru Stefanica. Code released under the MIT license. Docs released under Creative Commons. Documentation Go to the Wiki page.