On every code path trace, the tool checks for the presence of declarative demands, link demands, and declarative stack walk modifiers.

• 对于每一个代码路径跟踪,该工具将检查是否存在声明性要求、链接要求和声明性堆栈审核修饰符。