The code in Listing 2 has visibility failures as well as atomicity failures.
清单 2 中的代码不仅有原子性故障，还有可见性故障。
2
The challenges in static analysis come from the fact that it has no visibility into modules and code that it does not see or understand.
静态分析中的挑战来自它对没明白或者理解的单元和代码没有可视性的事实。
3
The default option for generating the code is to sort by visibility order. The sort by visibility order dumps the code generated by the transform according to its visibility.