最近我正在学习语言的动态和静态分析。我读过一些像static and dynamic code analysis这样的相关问题，但我还是有一些问题。
在编译和运行时期间可以进行动态分析并检查程序状态。通过动态分析，可以避免不必要的执行步骤。静态分析通常指静态类型检查系统，静态分析必须正确预测实际的程序行为。对于静态类型系统，这意味着分配的类型必须描述程序在运行时可以评估的所有值。我想知道如果类型检查器将类型分配给程序而不描述程序评估的所有值，会发生什么。任何人都可以举一个例子吗？
在静态类型化系统中，如果值的类型与目标类型不兼容，则无法分配（或作为参数传递）（尽管大多数语言提供了强制分配的方法）。
静态类型语言的静态类型分析不具有预测性;这是规定性的。
但静态分析也可以进行预测分析，例如通过null值检查可能的访问，或者不处理switch / case语句中枚举的al值，或者条件总是true或'false等等。有很多可以通过静态分析检测到的常见编程错误。
通过使用类型注释和type inference，也可以对动态类型语言进行静态类型分析。