Retargatable static software timing analysis