RUGRAT: Evaluating program analysis and testing tools and compilers with large generated random benchmark applications | Synapse