静态程序分析 (2024)

¿Cómo Descargar?

Resumen:

Software Analysis or Static Program Analysis is a course of Nanjing University developed by Tian Tan and Yue Li in Spring 2020. In this course, we will learn about static program analysis, a useful technique for improving the reliability, security and performance of software, and it becomes increasingly impactful in industries nowadays. The course covers two parts: theory and practice. In theory, various materials will be introduced: from the foundations of classical data-flow and pointer analyses to some advanced topics such as security analysis and soundiness. In practice, a brand new static program analysis framework called Tai-e was designed, on top of which we'll implement a series of assignments including live variable analysis, constant propagation, dead code detection, CHA call graph construction, context-insensitive and context-sensitive pointer analyses, and taint analysis.

Capítulo	Opcion 1	Opcion 2
静态程序分析 1x1
静态程序分析 1x2
静态程序分析 1x3
静态程序分析 1x4
静态程序分析 1x5
静态程序分析 1x6
静态程序分析 1x7
静态程序分析 1x8
静态程序分析 1x9
静态程序分析 1x10
静态程序分析 1x11
静态程序分析 1x12
静态程序分析 1x13
静态程序分析 1x14
静态程序分析 1x15
静态程序分析 1x16