Examples of using Static analysis tool in English and their translations into Chinese
{-}
-
Political
-
Ecclesiastic
-
Programming
Static analysis tools are complex.
静态分析工具相当复杂。Examples include static analysis tools.
这类静态代码分析工具的例子包括.Go static analysis tools are numerous and robust.
Go语言的静态分析工具众多且强大。Facebook's Infer is an open source static analysis tool.
FacebookInfer是一个静态分析工具。A static analysis tool warns you about odd fragments.
静态分析工具会警告你碎片的存在。For this reason, the use of static analysis tools is recommended.
因此，建议使用静态分析工具。Their static analysis tools include splint, cppcheck, and Coverity;
他们的静态分析工具包括splint，cppcheck和Coverity；.Many rules aredesigned specifically to be automatically checkable by static analysis tools.
许多规则专门设计为可由静态分析工具自动检查。Cppcheck is a static analysis tool for C/C++ code.
Cppcheck是一个C/C++代码的静态分析工具。CodeSonar has been proven to provide the deepest static analysis, finding more critical defects than other static analysis tools on the market.
CodeSonar被证明可以提供最深层的静态分析，能够寻找比市场上其他的静态分析工具更多的重要缺陷。ShellCheck is a static analysis tool for shell scripts.
ShellCheck是shell脚本的静态分析工具。Recently, we have also seen the rise of tools like the Spock testing framework andCodeNarc(the static analysis tool for Groovy and Java).
最近，我们也已经看到了象Spock测试框架和CodeNarc（Groovy和Java的静态分析工具）这类工具的崛起。Pychecker is a static analysis tool that helps find out bugs in the course code.
Psalm是一个静态分析工具，可以帮助识别你代码中的bug。On May 13-14,Google held a global fixit for UMD's FindBugs tool a static analysis tool for finding coding mistakes in Java software.
Ever run a static analysis tool over the codebase or look at the warnings in your IDE?
曾经对代码库运行过静态分析工具，又或者查看下你的IDE警告?In this article, I will present two free static analysis tools which scan your code directly from your IDE.
这篇文章将介绍两个免费的静态分析工具，可以从集成开发环境（IDE）直接扫描你的代码。Static analysis tools that are specifically designed to look for common vulnerabilities are more likely to find them.
专门设计用于寻找常见漏洞的静态分析工具更有可能找到它们。For example, Bessey et al discuss Coverity's static analysis tool and say,“like the PREfix product, we were also unsound.
例如Bessey等人在分析Coverity的静态分析工具，并且说：“像PREfix产品，我们也使用unsound。Static analysis tools such as Checkstyle, PMD and FindBugs analyse your code in the search of coding standards or best practices violations and potential bugs.
静态分析工具如Checkstyle，PMD和FindBugs，它们根据代码标准、最佳实践或者潜在的bug来对代码进行分析。Thresher- Thresher is a static analysis tool that specializes in checking heap reachability properties.
Thresher-thresher是一个静态分析工具，专门检查堆可达性。PyChecker is a static analysis tool that detects the bugs in Python source code and warns about the style and complexity of the bug.
PyChecker是一个静态分析工具，可以找到Python源代码中的错误，并警告代码复杂性和样式。This open sourced library is a static analysis tool for Java, allowing you to catch common programming mistakes at compile-time.
这个开源库是用于Java的静态分析工具，它能够让你在编译的时间捕捉普通的程序错误。PyChecker is a static analysis tool that finds bugs in Python source code and warns about code complexity and style.
PyChecker是一个静态分析工具，可以找到Python源代码中的错误，并警告代码复杂性和样式。CodeSonar has performed best on several static analysis tool benchmarks in finding static memory, resource management, concurrency, and other defects.
CodeSonar实现了最好的几个静态分析工具基准，寻找静态内存、资源管理、并发性和其他缺陷。PC-lint Plus is a static analysis tool that finds defects in software by analyzing the C and C++ source code.
PC-lintPlus是一种静态分析工具，通过分析C和C++源代码来发现软件中的缺陷。Facebook's open-source static analysis tool, Infer, now ships with support for detecting race conditions in Java code via RacerD.
由Facebook开源的静态分析工具Infer，现已支持使用RacerD检测Java代码中竞争条件。Coverity Scan has used the Coverity Static Analysis tool to evaluate and improve the code quality of over 300 open source projects over the last 5 years.
在过去的五年中，CoverityScan采用Coverity公司的staticanalysis工具评估和改进了300多个开源项目的代码质量。
