Could you elaborate on the static analysis?