An Extensible Meta-Model for Program Analysis | IEEE Conference Publication | IEEE Xplore