What is the translation of " STATIC ANALYSIS " in Chinese?

• 静态分析
• 一个静态分析
• static analysis

Examples of using Static analysis in English and their translations into Chinese

Network building and its static analysis.
电力网及其稳态分析.

Static analysis researchers know this very well.
所有的静态分析研究者都知道这点。

Performing better static analysis of the code.
对代码提供更好的静态分析.

Static analysis of executable files with detailed information.
具有详细信息的可执行文件的静态分析。

Facebook's Infer is an open source static analysis tool.
FacebookInfer是一个静态分析工具。

Pychecker is a static analysis tool that helps find out bugs in the course code.
Psalm是一个静态分析工具，可以帮助识别你代码中的bug。

His scientific interests are mainly in the field of programming languages: design, implementation, semantics, static analysis and type systems.
他的科学兴趣主要集中在编程语言领域：设计，实现，语义学，静态分析和类型系统。

FindBugs™ uses static analysis to look for bugs in Java code.
FindBugsJava开源马里兰大学usesstaticanalysistolookforbugsinJavacode.

While the idea has proven itself in the JavaScript world, it could only work in PHP if proper IDE- and static analysis support was provided.
虽然JavaScript中已经实现了这个想法，但是只有提供合适的IDE和静态分析支持，它才能在PHP中工作。

Thresher- Thresher is a static analysis tool that specializes in checking heap reachability properties.
Thresher-thresher是一个静态分析工具，专门检查堆可达性。

These tools are really helpful when developing code in teams, to enforce a given style guide and to catch common errors using static analysis.
在团队开发中，这些工具对于编写代码非常的有帮助，能够帮助强制执行给定的风格指南，并且通过静态分析捕获常见的错误。

Static analysis before any build will help you to enforce the code standards and the quality of your product.
在每次构建之前进行静态分析能够帮助你确保代码标准以及产品的质量.

IronWASP has another option called Javascript static analysis which can be used to find DOM-Based XSS.
IronWASP具有称为Javascript的静态分析可用于查找基于DOM的XSS的其他选项。

Static analysis doesn't depend on the compiler you are using and the environment where the compiled program will be executed.
静态分析无需依赖你正在使用的编译器和被编译程序的执行环境。

When these types of searches are combined with other types of static analysis, it can make for an interesting source of potential malware.
当这些类型的搜索结果与其他类型的静态分析相结合时，其结果就可以成为潜在恶意软件的来源。

PyChecker is a static analysis tool that finds bugs in Python source code and warns about code complexity and style.
PyChecker是一个静态分析工具，可以找到Python源代码中的错误，并警告代码复杂性和样式。

The NIST SAMATE project sought to measure the effectiveness of static analysis tools to help organizations improve their use of the technology.
NISTSAMATE项目力求测量静态分析工具的效率，从而帮助公司改善该技术的使用情况。

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源代码中的错误，并警告代码复杂性和样式。

Understand™ combines a powerful code editor together with an impressive array of static analysis tools that will change the way you work with code.
Understand将一个强大的代码编辑器和一系列令人印象深刻的静态分析工具结合在一起，将改变你编写代码的方式。

Binary ninja is dedicated to static analysis, providing an awesome GUI, which is priceless when you have to deal with such amount of information!
Binaryninja专门用于静态分析，提供了一个帅炸天的GUI，当你处理大量信息时，它简直是无价之宝！!

Jenkins manages and controls development lifecycle processes of all kinds, including build, document, test, package, stage, deployment, static analysis and many more.
Jenkins管理和控制各种开发的生命周期过程，包括构建，文档，测试，包，阶段，部署，静态分析等等。

Its main concrete application is formal static analysis, the automatic extraction of information about the possible executions of computer programs;
它的主要具体应用是形式静态分析，关于计算机程序的可能执行的信息的自动提取；.

Because using static analysis to determine all of the generic instantiations is fairly complicated, the team is introducing Universal Shared Generics(UGS).
由于使用静态分析来确定所有泛型实例非常复杂，团队引入了UniversalSharedGenerics(UGS)。

The book“Secure Programming with Static Analysis” describes the fundamentals of static analysis in detail.
用静态分析方法确保编程安全(SecureProgrammingwithStaticAnalysis)》一书详细描述了静态分析技术的基本原理。

NetBeans provides static analysis tools, especially integration with the widely used FindBugs tool, for identifying and fixing common problems in Java code.
NetBeans提供静态分析工具，特别是与广泛使用的FindBugs工具集成，用于识别和修复Java代码中的常见问题。

CodeSonar has been proven to provide the deepest static analysis, finding more critical defects than other static analysis tools on the market.
CodeSonar被证明可以提供最深层的静态分析，能够寻找比市场上其他的静态分析工具更多的重要缺陷。

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多个开源项目的代码质量。

In this time, the firm launched BlackBerry Jarvis, a binary static analysis software-as-a-service tool that can help automakers secure the software supply chain.
推出了BlackBerryJarvis，一款二进制静态分析SaaS(软件即服务)工具，能够帮助汽车制造商确保软件供应链安全.

Launched BlackBerry Jarvis, a binary static analysis Software-as-a-Service(SaaS) tool that can help automakers secure the software supply chain.
推出了BlackBerryJarvis，一款二进制静态分析SaaS(软件即服务)工具，能够帮助汽车制造商确保软件供应链安全.

CodeSonar has performed best on several static analysis tool benchmarks in finding static memory, resource management, concurrency, and other defects.
CodeSonar实现了最好的几个静态分析工具基准，寻找静态内存、资源管理、并发性和其他缺陷。