Foundational certification of data-flow analyses | IEEE Conference Publication | IEEE Xplore