Profiling an incremental data flow analysis algorithm | IEEE Journals & Magazine | IEEE Xplore