See Analysis Types for details about static analysis types.