静态程序分析

类型:
国家: China
导演:
演员: <a class="tt-at" href="/zh/actor/3653987/yue-li" style="color:#d9d9d9;" onmouseover="this.style.color='#68bc04';" onmouseout="this.style.color='#d9d9d9';">Yue Li,

Name: 静态程序分析
Rating: 6
Cast: Yue Li

《静态程序分析》电影全集完整版线上看. 软件分析或静态程序分析是由田田和李岳于2020年春季开发的南京大学课程。在本课程中，我们将学习静态程序分析，这是一种提高软件可靠性、安全性和性能的有用技术，它在当今的工业中越来越有影响力。本课程包括理论和实践两部分。从理论上讲，将介绍各种材料:从经典数据流和指针分析的基础到一些高级主题，如安全性分析和稳健性。在实践中，我们设计了一个全新的静态程序分析框架Tai-e，我们将在其上实现一系列赋值，包括活变量分析、常量传播、死代码检测、CHA调用图构建、上下文不敏感和上下文敏感的指针分析以及污染分析。