Static analysis of program source code using EDSA | IEEE Conference Publication | IEEE Xplore