Efficient and Standardised Program Analyses using Semantic Methodologies | IEEE Conference Publication | IEEE Xplore