Assessment of Quality of Program Based on Static Analysis | IEEE Conference Publication | IEEE Xplore