提高精度
提供有关代码的额外信息以减少橙色检查
提供有关您的代码的更多信息，以提高结果的精度：
指定局部假设。例如，您可以对外部来源中某些变量的范围设定约束，或者对某些分析不精确的函数插桩以获得更准确的结果。这些假设有助于您将审查重点的范围缩小到更有意义的分析结果。
配置验证精度。更高精度的验证会产生更少的橙色检查，但需要更多计算资源。
通过使用这些选项，可管理分析中的橙色检查的数量。
提供有关您的代码的更多信息，以提高结果的精度：
指定局部假设。例如，您可以对外部来源中某些变量的范围设定约束，或者对某些分析不精确的函数插桩以获得更准确的结果。这些假设有助于您将审查重点的范围缩小到更有意义的分析结果。
配置验证精度。更高精度的验证会产生更少的橙色检查，但需要更多计算资源。
通过使用这些选项，可管理分析中的橙色检查的数量。
