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.

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