|
关注：1
2013-05-23 12:21
求翻译：for example, there may be arbitrarily many different user inputs or states of the runtime heap. Therefore, static analyses usually use an abstracted model of program state that loses some information, but which is more compact and easier to manipulate than a higher-fidelity model would be. In order to maintain soundnes是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
for example, there may be arbitrarily many different user inputs or states of the runtime heap. Therefore, static analyses usually use an abstracted model of program state that loses some information, but which is more compact and easier to manipulate than a higher-fidelity model would be. In order to maintain soundnes
问题补充： |
|
2013-05-23 12:21:38
例如，有可能是在运行时堆的任意多种不同的用户输入或状态。
|
|
2013-05-23 12:23:18
例如，也许任意地有执行时间的堆的许多不同的用户输入或状态。所以，静态分析通常使用的程序状态一个被提取的模型丢失一些信息，但是更加紧凑和更加容易操作比一个更加高保真度的模型是。为了维护有效性，分析必须导致是真实的没有问题被提取的状态组分的价值的结果。
|
|
2013-05-23 12:24:58
例如，也许任意地有执行时间的堆的许多不同的用户输入或状态。 所以，静态分析通常使用的程序状态一个被提取的模型丢失一些信息，但是更加紧凑和更加容易操作比高保真度模型是。 为了维护酣然，分析必须导致是真实的没有问题被提取的状态组分的价值的结果。 结果，分析产品比最佳的结果 (也许是较不) 在分析的语法的精确更加近似的，保守。
|
|
2013-05-23 12:26:38
例如，可能有任意许多不同的用户输入或在运行时堆的国家。因此，静态分析通常使用程序状态，失去了一些信息，但这是更紧凑，更方便操作比更高的保真度模式将抽象的模型。为了保持稳健，分析必须产生将真话抽象客场状态组件的值的结果。其结果是，分析输出内容可能会不太精确 （更接近、 更保守） 比最好是在语法分析的结果。
|
|
2013-05-23 12:28:18
例如，任意地可能会有很多不同用户输入或陈述 runtime 堆中。因此，静电通常分析使用失去一些信息的程序州的一个被提取的模型，但是那是更小型和更容易的操纵比一个更高忠实的模型会是。要维持稳固，分析必须产生会不管是真的一个结果摘要之外的州组件的价值。因此，分析产品可能是较不精确的 ( 更接近，更多保守派 ) 比最好的结果在分析的语法中的 。
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
