Fine-Grained Inspection for Higher-Assurance Software Security in Open Source | IEEE Conference Publication | IEEE Xplore