Reads your code and checks what it does at every boundary, a route, a table or a queue, …