A Concurrent IFDS Dataflow Analysis Algorithm Using Actors