|
关注：1
2013-05-23 12:21
求翻译：a Boolean which indicates whether the current function terminates program execution on all paths. Note that control flow can leave a function either by returning to the caller or by terminating the program. We compute the exit predicate by enumerating over all CFG blocks that have no successors, and identify them as ei是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
a Boolean which indicates whether the current function terminates program execution on all paths. Note that control flow can leave a function either by returning to the caller or by terminating the program. We compute the exit predicate by enumerating over all CFG blocks that have no successors, and identify them as ei
问题补充： |
|
2013-05-23 12:21:38
一个布尔值，指示是否当前函数的所有路径上终止程序执行。请注意，控制流，可以离开，返回到调用者或终止程序的功能。我们计算由以上列举所有CFG块，有没有接班人退出谓词，并确定他们要么返回块或退出块（块摘要T和R组件）。如果有在CFG没有返回块，目前的功能是一个退出函数。这些事实中获得的数据流使用的算法是相当标准的定点计算。我们为简洁起见，省略细节。
|
|
2013-05-23 12:23:18
正在翻译，请等待...
|
|
2013-05-23 12:24:58
表明的布尔流函数是否在所有道路终止程序执行。 注意控制流可能留下作用通过返回到访问者或通过终止节目。 我们通过列举计算出口谓语在没有后继者的所有CFG块，并且辨认他们，当或者回归阻拦或出口阻拦(T和R组分块总结)。 如果没有回归块在CFG，流函数是出口作用。 用于获得这些事实的数据流算法是相当标准固定点计算。 我们省去细节为简要。
|
|
2013-05-23 12:26:38
一个布尔值，指示当前函数是否终止程序执行的所有路径上。请注意控制流可以离开一个函数返回给调用方通过或终止程序。我们通过枚举通过有没有继任者的所有 CFG 块计算退出谓词，和识别它们，要么返回块或退出块 (T 和研发中的组件块摘要）。如果 CFG 没有返回的块，当前函数是退出功能。使用派生这些事实中的数据流算法是相当标准的修复点计算。我们忽略了简洁的详细信息。
|
|
2013-05-23 12:28:18
表示的一个布尔符号是否当前功能在所有路径上终止程序执行。请注意，控制流动可以留下一项功能也通过返回访问者或通过终止程序。我们通过在没有继承者，将他们视为每返回的所有 CFG 街区上列举计算退出谓语阻挡或退出障碍 ( 在一批的总结中的 T 和 R 组件 )。如果没有返回阻挡在 CFG 中，当前功能是一项退出功能。在得到这些事实中使用的数据流算法是相当标准补救方法点的计算。我们省略简短的详细信息。
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
