The formal analyses may be classified into two categories: static analyses and dynamic analyses.

形式分析可以分为两类：静态分析和动态分析。

youdao

The cla ic compiler optimizatio, such as dead co de elimination, co tant folding, co tant propagation, elimination of partial redundancies, loop unrolling, etc. , are static analyses.

典型的编译器最优化，如死代码消除、常数合并、常数传送、部分冗余的消除、循环展开等等，是静态分析。

youdao

This assumption, though safe for various static analyses for compiler optimizations, could spell doom for an anti-virus technology by increasing the time and space costs of the analyses.

这个假定，虽然对编译器最优化使用的各种静态分析来说是安全的，但是由于增加了时间和空间的代价，会致反病毒技术于不利处境。

youdao

It is not necessary to dive into esoteric economic analyses of static vs. dynamic scoring, an argument far too complex to roll out on the campaign trail.

FORBES: Hey Romney, Here's A Comeback To Obama's $5 Trillion Tax Cut Canard