Improved static analysis docs