PRMA -- Program Run-time Monitoring and Analysing