Automatische software-analyse in context door J.J. Vinju