Tsoureki : The sweetest code audit suite