Examples of tools are PC-lint (Gimpel Software), CodeSurfer, and Coverity ... on a study where 16 The developers of the Coverity tool say (Bessey et al., ...
確定! 回上一頁