# Static analysis by tools