静态分析 câu

• 静态分析器不执行输入的代码，但是，他们仍然需要理解代码的结构。
  Các nhà phân tích tĩnh không thực thi code, họ cần hiểu cấu trúc của code.
• 许多规则专门设计为可由静态分析工具自动检查。
  Nhiều quy tắc được thiết kế đặc biệt để có thể tự động kiểm tra bằng các công cụ phân tích tĩnh.
• 许多规则专门设计为可由静态分析工具自动检查。
  Nhiều quy tắc được thiết kế đặc biệt để có thể tự động kiểm tra bằng các công cụ phân tích tĩnh.
• 更糟糕的是，重构是在在生产环境中断，而不是在编译时，这就很难去增加属性的静态分析。
  Tệ hơn là, các refactor sẽ hỏng trong production chứ không phải lúc compile và rất khó để add phần phân tích hợp lý vào.
• 他的科学兴趣主要集中在编程语言领域：设计，实现，语义学，静态分析和类型系统。
  Sở thích khoa học của ông chủ yếu trong lĩnh vực ngôn ngữ lập trình: thiết kế, thực hiện, ngữ nghĩa, phân tích tĩnh và các hệ thống kiểu.
• 现代编译器在静态分析方面越来越好，但总是很好地帮助它们并使用引用。
  Các trình biên dịch hiện đại ngày càng trở nên tốt hơn ở phân tích tĩnh, nhưng nó luôn luôn là tốt đẹp để giúp họ ra ngoài và sử dụng tài liệu tham khảo.
• 这是萨缪尔森着名的“对应原则”的应用，在静态分析和动态分析之间架起桥梁，而以前这常被认为是两个截然不同的分析方法。
  Thực tế, đây là một ứng dụng của “ nguyên tắc tương ứng” hết sức nổi tiếng của Samuelson, nhằm thiết lập một cầu nối giữa phân tích động và phân tích tĩnh, hai phương pháp trước đây thường được coi là hoàn toàn cách biệt.