1. A method of operating a software analysis tool, the method comprising: setting a watchpoint on a memory location that corresponds to a transactional variable; detecting access, by a transaction, to the watchpointed memory location; and in response to the detected access, interrupting execution of the transaction.