【北京大学公开课】软件分析技术-熊英飞

发布人

https://liveclass.org.cn/cloudCourse/#/courseDetail/8mI06L2eRqk8GcsW
原视频：https://liveclass.org.cn/cloudCourse/#/courseDetail/8mI06L2eRqk8GcsW
课件参见：https://xiongyingfei.github.io/SA/2020/main.htm

软件开发过程中会产生大量的代码制品，包括代码、测试数据、配置方案等等，对这些制品进行分析是各种软件工程工具的基本手段之一。典型软件开发工具比如编译器、代码编辑器、测试与调试工具等等都离不开对软件制品进行分析。在工业界，各大公司的基础平台部门对掌握软件分析技术的人才有大量需求；在学术界，软件分析技术是软件工程领域开展研究的必备基础知识之一。本课程将系统地介绍软件分析技术。本课程同时面向高年级本科生和研究生开设。
软件分析技术主要用于回答关于程序本身性质的问题。程序分析技术是开发和代码直接相关的工具，比如编译器、调试器、代码编辑器的基本手段。根据哥德尔不完备定理，大量问题都无法静态的回答，所以程序分析技术关注如何做出正确的近似逼近，或者采用统计等概率手段来弥补。但是，软件分析技术相关文献存在内容广，流派多，数学基础要求高等方面的特点，使得学习软件分析技术一直是一件很困难的事。本课程希望通过对这一类技术进行通俗易懂的讲解，帮助同学们构建较完整的软件分析技术知识体系，了解该领域的前沿知识，学术上为进一步开展软件工程领域的学术研究打下基础，在实践上培养开发大型软件工程工具的开发能力。
——摘自熊英飞老师课程主页

打开封面下载高清视频观看高清视频视频下载器

【北京大学公开课】软件分析技术-熊英飞

卢康杰-CCS'19：多层类型分析提炼间接函数调用（Refining Indirect-Call Targets with Multi-Layer Type）

【200集】maya2025新手入门到精通系统教程，3天即可学会，接单就业轻松搞定！

【全198集】3dmax建模全套教程，学完大学建模课提前“毕业”！

【nginx+rtmp】dash流直播平台搭建

2天学会，仿人自然行走

vogue盛宴机位设置分析

今天你运动了没？突破记录！G1人形机器人跳远/身高比>1

古人的金蝉脱壳术

如何正确的抓大螃蟹？