An implementation of pda-risc semantics for use with flow analyses