On implementational variations in static analysis tools | IEEE Conference Publication | IEEE Xplore