Two tools are provided to analyse program runs and extract information for performance improvements. One is a port-model based analyser which produces statistics about how many times a program passed every debugger port. The other is a true timing profiler which measures the time spent in every predicate of a program. The latter works even on optimized compiled code.