A tool to statically identify possible runtime anomalies in TM programs, addressing both low-level and high-level dataraces, the former resulting from unprotected code regions and the latter from incorrect definitions of a transaction's scope. Developed by Bruno Teixeira in his MSc thesis, under the supervision of Prof. João Lourenço.