Static analyzer : a design tool for TROM