
向左走,向右走
2003年 · 展示分 2.5(生成值)
此视频未确认与本页作品关联。默认尝试静音自动播放;若未播放,请在播放器内操作或换个视频。
连续剧
站内页面入口
站内页面入口
软件分析或静态程序分析是由田田和李岳于2020年春季开发的南京大学课程。在本课程中,我们将学习静态程序分析,这是一种提高软件可靠性、安全性和性能的有用技术,它在当今的工业中越来越有影响力。本课程包括理论和实践两部分。从理论上讲,将介绍各种材料:从经典数据流和指针分析的基础到一些高级主题,如安全性分析和稳健性。在实践中,我们设计了一个全新的静态程序分析框架Tai-e,我们将在其上实现一系列赋值,包括活变量分析、常量传播、死代码检测、CHA调用图构建、上下文不敏感和上下文敏感的指针分析以及污染分析。
展示分 1.4(生成值)
红桃视频 - 91永久进站
连续剧
2024
暂无资料
暂无资料
Yue Li
zh
软件分析或静态程序分析是由田田和李岳于2020年春季开发的南京大学课程。在本课程中,我们将学习静态程序分析,这是一种提高软件可靠性、安全性和性能的有用技术,它在当今的工业中越来越有影响力。本课程包括理论和实践两部分。从理论上讲,将介绍各种材料:从经典数据流和指针分析的基础到一些高级主题,如安全性分析和稳健性。在实践中,我们设计了一个全新的静态程序分析框架Tai-e,我们将在其上实现一系列赋值,包括活变量分析、常量传播、死代码检测、CHA调用图构建、上下文不敏感和上下文敏感的指针分析以及污染分析。
影片评论
以下内容根据作品资料自动生成,非真实观众评论。
这部作品的页面名称是《红桃视频 - 91永久进站》。
资料记录的内容类型是连续剧。
资料记录的年份是2024。
资料记录的演员包括Yue Li。