A dynamic analysis finds properties true for a specific input.

• 动态分析提供对于某个特定输入的确切特性。